On Mon, 7 Aug 2006 11:26:01 +0200 (CEST)
Bertfried Fauser <[EMAIL PROTECTED]>
wrote:
Dear All,
I have experimented with the AXIOM Groebner bases package
and was somehoe
wondering how to define an ordering and how to define
elimination orders.
In the code I couldn't find any hint how to impose these
conditions and
groebner() takes as input only a list of polynomials, not
an order
function and not a list of to be kept or elimated
variables?
Any hint welcome....
There is a domain constructor GDMP (Generalized
Distributed Multivariate Polynomials) which has a
parameter which is any term-ordering you like. The
Groebner basis package then takes any polynomial ring
domain as parameter.
Gianni's code Bill Page referenced earlier are good
examples of how to set things up. Special cases are DMP,
HDMP polynomial domains.
In Aldor you can call external functions written in C, but
I have not tried it myself.
William
William Sit,
City College of New York
Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004
Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
