[Axiom-developer] [#191 exquo and therefore gcd cannot handle UP(x, EXPR INT)] Step by step works

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/191ExquoAndThereforeGcdCannotHandleUPXEXPRINT/diff
--
\begin{axiom}
dom:=UP('x,EXPR INT)
p:dom:=x-2^a
q:dom:=(x-2^a)*(x+2^a)
gcd(p,q)
exquo(q,p)
\end{axiom}
But note:
\begin{axiom}
simplify q
\end{axiom}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden