[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Axiom-mail] A newby question about eval and Expressio
[Axiom-developer] [Axiom-mail] A newby question about eval and Expression
Mon, 14 Nov 2005 02:46:30 -0600
Doug Stewart <address@hidden> writes:
> Martin Rubey wrote:
> >Dear Doug,
> >there are two issues in your code:
> >Doug Stewart writes:
> >>)clear all
> >>digits 20
> >>-- n:=x^3+a1*x^2+a2*x+a3 ::Polynomial Fraction Integer
> >note that x1 is *not* a polynomial. Not even a rational function.
> But it is a constant ---- How can I tell axiom that it is a constant?
Maybe in a mathematical or physical sense, but not for Axiom, since it contains
You have to use the appropriate domain, for example EXPR INT itself. The way I
do these things usually is to ask Axiom for the "smallest" domain x1 is in, by
and looking at the type information.
You may also consider the domain POLY EXPR INT, which is, however, a dangerous
Axiom-mail mailing list
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Axiom-developer] [Axiom-mail] [Axiom-mail] [Axiom-mail] A newby question about eval and Expression, root, 2005/11/12