[Axiom-developer] Zero divisors in Expression Integer

[Waldek Hebisch]

I have already written that due to incomplte simplification we
may get zero divisors in Expression Integer.  Below an easy
example that multiplication in Expression Integer is nonassociative
(or, if you prefer, a proof that 1 equals 0):

(135) -> c1 := sqrt(2)*sqrt(3*x)+sqrt(6*x)

           +--+    +-+ +--+
   (135)  \|6x  + \|2 \|3x
                                                     Type: Expression Integer
(136) -> c2 := sqrt(2)*sqrt(3*x)-sqrt(6*x)

             +--+    +-+ +--+
   (136)  - \|6x  + \|2 \|3x
                                                     Type: Expression Integer
(137) -> (1/c1)*c1*c2*(1/c2)

   (137)  1
                                                     Type: Expression Integer
(138) -> (1/c1)*(c1*c2)*(1/c2)

   (138)  0
                                                     Type: Expression Integer

BTW, a similar looking constant expression throws an error:

(139) -> 1/(sqrt(2)*sqrt(3)+sqrt(6))

   >> Error detected within library code:
   univariate: denominator is 0 mod p

-- 
                              Waldek Hebisch
address@hidden