Dear Martin:
I don't know what you are computing, but it appears that
f1:=first Phi Psi Phi [x,y,Z.2] when expanded in series at
t=0 has denominators (in coefficients of t^3, t^7 for
example) which would be transformed to zero by sqrtrule.
(The expansion sf1:=series(f1,t=0) gives UPS instead
I'd be very grateful if somebody could look at the input file below. (Don't be
afraid, most of the definitions are not needed)
I would have thought that bug() would yield twice the same thing. It may be a
mistake on my side, of course, but note that
* axiom does not compute
map(c +-> sqrtrul