when I combine untrace and ImaginaryI, the property ImaginaryI will lose efficacy, this is a example
i::ImaginaryI; A::ImplicitIndex. tr{#}::Trace. ex:= i tr(i A); untrace(_);
there seems to be some bugs.
substitute(_,$i i->-1$);
is also not valid.
Now fixed in master on github.
Thanks. It works.