|
|
|
last edited 16 years ago by kratt6 |
Edit detail for #351 interpreter crash factoring 1+2%i in COMPLEX PF 5 revision 2 of 3
| 1 2 3 | ||
|
Editor: kratt6
Time: 2007/12/20 00:13:52 GMT-8 |
||
| Note: workaround implemented in FriCAS | ||
added:
From kratt6 Thu Dec 20 00:13:52 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 00:13:52 -0800
Subject: workaround implemented in FriCAS
Message-ID: <20071220001352-0800@axiom-wiki.newsynthesis.org>
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
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 %)
make name more precise --kratt6, Sat, 28 Apr 2007 16:17:36 -0500 reply
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