In wh-sandbox, revision 506, the following line crashes the interpreter. In fact, it seems that other versions don't like it either.

The expected behaviour is not to call factor at all, since Complex PF 5 is a field. NO! Only Axiom believes it is a field, see issue #354. Apart from that, Waldek suggested to modify Factored as follows:

         if R has UniqueFactorizationDomain
           then
             coerce(r:R):% ==
               zero? r => 0
               unit? r => mkFF(r, empty())
               if R has Field => error "zero divisor in a field"
               unitNormalize(squareFree(r) pretend %)

Name: #351 interpreter crash => #351 interpreter crash factoring 1+2%i in COMPLEX PF 5

The suggested workaround has been implemented in FriCAS. However, Complex PF 5 is still a field there, since conditional exports are implemented only very superficially.

Martin

Status: open => fix proposed