Re: [Axiom-math] Groebernbases

[William Sit]

On Mon, 7 Aug 2006 11:26:01 +0200 (CEST)
 Bertfried Fauser <address@hidden> 
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/