[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* **<=**