[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [#191 exquo and therefore gcd cannot handle UP(x, EXPR

**From**: |
wyscc |

**Subject**: |
[Axiom-developer] [#191 exquo and therefore gcd cannot handle UP(x, EXPR INT)] Magic? I 'm confused! |

**Date**: |
Mon, 11 Jul 2005 18:54:13 -0500 |

Changes
http://page.axiom-developer.org/zope/mathaction/191ExquoAndThereforeGcdCannotHandleUPXEXPRINT/diff
--
For some unknown reason, gcd(p,r) above *was* 1 but now becomes the correct
answer! (Actually, it turns back to 1 when I click the "reply", but for the
page, it gave the correct answer as redone below! In other words, the coercion
'r::dom' puts the 'x' into the correct 'x' for 'UP(x, EXPR INT)'). The other
possibility was 'r::dom' would be '0*x+r', with 'r' still in 'EXPR INT').)
\begin{axiom}
)clear all
dom:=UP('x,EXPR INT)
p:dom:=x-2^a
q:dom:=(x-2^a)*(x+2^a)
gcd(p,q)
exquo(q,p)
r := simplify (x-2^a)*(x+2^a)
gcd(p,r)
gcd(p,r::dom)
\end{axiom}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden