[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-math] How reads axiom Expressions ?
From: |
William Sit |
Subject: |
Re: [Axiom-math] How reads axiom Expressions ? |
Date: |
Mon, 13 Oct 2003 17:24:40 -0400 |
root wrote:
>
> Frangois,
>
> > How can I get (x+1)*(y+1)*(z+1) = x*y*z + x*y + x*z + y*z + x + y + z + 1
>
> ->n:DMP([x,y,z],FRAC(INT)):=(x+1)*(y+1)*(z+1)
>
> x y z + x y + x z + x + y z + y + z + 1
>
> Type: DistributedMultivariatePolynomial([x,y,z],Fraction Integer)
>
> Since "x" is the "highest" variable in the term ordering it is expanded first
> as in
>
> x (y z + y + z + 1) + y z + y + z + 1
>
> and all of the other terms are "constant" with respect to x. In the result
> you gave I can't find a term ordering with similar priority. Your term
> ordering appears to be with respect to term length. There may be a
> metric within DMP that allows that ordering or you could write one.
>
It seems Francois' expression uses the degree lex term ordering with x > y > z.
In Axiom, the domain is HDMP. You can also define arbitrary term ordering with
GDMP domain. (Just replace DMP above by HDMP; GDMP requires one to supply the
ordering).
William
--
William Sit
Department of Mathematics..............Email: address@hidden
City College of New York..........................Tel: 212-650-5179
Convent Ave at West 138th Street..................Fax: 212-862-0004
New York, NY 10031.....Asian Symposium on Computer Mathematics 2003
USA..........................http://www.mmrc.iss.ac.cn/~ascm/ascm03