Re: Groebernbases
"William Sit" <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.general |
|---|---|
| Message-ID | <[email protected]> |
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/