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

[wyscc]

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