[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: |
billpage |
Subject: |
[Axiom-developer] [#191 exquo and therefore gcd cannot handle UP(x, EXPR INT)] $2^{a2}$ vs $4^a$ |
Date: |
Wed, 13 Jul 2005 00:47:29 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/191ExquoAndThereforeGcdCannotHandleUPXEXPRINT/diff
--
Notice the result of the simplification:
\begin{axiom}
p:=(x-2^a)::UP(x, EXPR INT)
q:=simplify((x-2^a)*(x+2^a))::UP(x, EXPR INT)
gcd(p, q)
\end{axiom}
Without the simplification:
\begin{axiom}
r:=((x-2^a)*(x+2^a))::UP(x, EXPR INT)
gcd(p, r)
\end{axiom}
The problem seems to be that Axiom does not always treat $2^{a2}$
the same as $4^a$.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#191 exquo and therefore gcd cannot handle UP(x, EXPR INT)] $2^{a2}$ vs $4^a$,
billpage <=