Changes http://wiki.axiom-developer.org/351InterpreterCrashFactoring12IInCOMPLEXPF5/diff --
??changed: -From kratt6 Sat Apr 28 16:17:01 -0500 2007 -From: kratt6 -Date: Sat, 28 Apr 2007 16:17:01 -0500 -Subject: expected behaviour -Message-ID: <[EMAIL PROTECTED]> - -The expected behaviour is not to call factor at all, since 'Complex PF 5' is a field. +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 %) -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
