[Anonymous user:] This should return [ ]? as in (1) fricas solve(z=z,
Type: List(Equation(Fraction(Polynomial(Integer))))fricas solve(z=z,
Type: List(Equation(Fraction(Polynomial(Integer))))fricas solve(0=0,
Type: List(Equation(Expression(Integer)))[Martin Rubey (kratt6) Thu Feb 17 07:35:54 -0600 2005 Subject: patch Message-ID: <20050217073554-0600@page.axiom-developer.org>] The mistake is in The functions should read: @@ -580,8 +585,10 @@ unit(s := squareFree p) * */[f.factor for f in factors s] content(p,v) == content univariate(p,v) primitivePart p == + zero? p => p unitNormal((p exquo content p) ::%).canonical primitivePart(p,v) == + zero? p => p unitNormal((p exquo content(p,v)) ::%).canonical if R has OrderedSet then p:% < q:% == [Martin Rubey (kratt6) Thu Feb 17 07:49:05 -0600 2005 Subject: another bug Message-ID: <20050217074905-0600@page.axiom-developer.org>] However, the result in (1) is another bug! The result should be '[0=0]?', which is not the emptyset! [William Sit, Thu Feb 17 10:44:08 -0600 2005] Date: Thu, 17 Feb 2005 10:44:08 -0600 Why is (1) a bug? 0=0 is always true, the equation is equivalent to no equation, the empty set. This is a simplification of the system of equations given. The empty set implies that anything is a solution (the polynomial ideal is the zero ideal, the algebraic variety is the entire affine space). [unknown Thu Feb 17 10:54:28 -0600 2005 Subject: change it to Axiom Library Message-ID: <20050217105428-0600@page.axiom-developer.org> In-Reply-To: <20050217104408-0600@page.axiom-developer.org>] [William Sit] Martin, thanks for pointing out the source. However, I think the error is not in fricas p:=0::POLY INT
Type: Polynomial(Integer)fricas exquo(p, Description: x exquo y == zero? y => "failed" ... This should be: (patch in x exquo y == + zero? x => 0 zero? y => "failed" ... Compare this with implementation for the first x exquo y == zero? x => 0 ... ```
This should return
```
but I disagree. The (trivial) solution of fricas solve(w=z,
Type: List(Equation(Fraction(Polynomial(Integer))))Similarly, I think the only reasonable result of Note: These are the same as the results returned by Maple. Status: open => fix proposed Status: fix proposed => closed Category: Axiom Interpreter => Axiom Library |

solve(z=z, z) should return [z=z]?--Bill Page, Thu, 17 Feb 2005 17:08:53 -0600 reply