[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] about Expression Integer
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] about Expression Integer |
Date: |
18 Feb 2006 10:27:42 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Bill Page" <address@hidden> writes:
> There are however more complex domains which do include expressions of the
> same form as you wrote above. The interpreter is not able to find these
> automatically, but you can help by specifying more exactly what you want. In
> the compiler you must always provide this additional information. For
> example:
>
> (2) -> (x+1/(y+1))$DMP([x,y],EXPR INT)
>
> 1
> (2) x + -----
> y + 1
> Type: DistributedMultivariatePolynomial([x,y],Expression Integer)
This is very dangerous!
>
> (3) -> (y+1/(x+1))$DMP([x,y],EXPR INT)
>
> 1
> (3) y + -----
> x + 1
> Type: DistributedMultivariatePolynomial([x,y],Expression Integer)
DON'T!
> but notice that the 2nd term is a monomial of degree 0 since this domain has
> coefficients that can be expressions. You might consider this result
> ambiguous since the entire expression could be consider a term degree 0, but
> apparently the domain DMP attempts construct a polynomial of highest degree?
This has been thourougly discussed, see
http://wiki.axiom-developer.org/WhereDoVariablesBelong
and the threads mentioned therein.
The main problem you will encounter with the expression above is that you are
really introducing two *different* variables x, so, some time later you may
have Axiom saying x <> x.
The construction above somehow works if you can make sure that your sets of
variables are separated, i.e., when the coefficients contain variables
a,b,c,... and the variables of the polynomial are x,y,z. This is clearly not
the case above.
Martin
- [Axiom-developer] about Expression Integer, Francois Maltey, 2006/02/16
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/17
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/17
- Re: [Axiom-developer] about Expression Integer,
Martin Rubey <=
- Re: [Axiom-developer] about Expression Integer, Ralf Hemmecke, 2006/02/19
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/19
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/19
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/19
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/19
- DMP([x], DMP([x], Integer)) (was Re: [Axiom-developer] about Expression Integer), Ralf Hemmecke, 2006/02/20
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/20
- Re: [Axiom-developer] about Expression Integer, Francois Maltey, 2006/02/20
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/20