Edit detail for #351 interpreter crash factoring 1+2%i in COMPLEX PF 5 revision 1 of 3

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

\begin{verbatim}
[(random()$COMPLEX PF 5)::FR COMPLEX PF 5 for i in 1..10]
\end{verbatim}

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 %)

From kratt6 Sat Apr 28 16:17:36 -0500 2007
From: kratt6
Date: Sat, 28 Apr 2007 16:17:36 -0500
Subject: make name more precise
Message-ID: <20070428161736-0500@wiki.axiom-developer.org>

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

         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 %)