[Axiom-developer] ordering

[daly]

> 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?

There are various kinds of polynomials used with Groebner.
If memory serves me you can specify the order in DMP or HDMP.

Tim