[Axiom-developer] groebner?

[Raymond E. Rogers]

Could someone tell me if this is wrong; or if it's right why?

-------------------------
list:=[p,Vr,Vt,e]
eq1H:=((-Vr^3+Vr^2)*Vt+Vr^3-Vr^2)*p :: HDMP(list,POLY INT)

Excerpt from an axiom session:

(24) -> eq1H
(24) ->
               3     2        3     2
   (24)  ((- Vr  + Vr )Vt + Vr  - Vr )p
Type:
HomogeneousDistributedMultivariatePolynomial([p,Vr,Vt,e],Polynomial Integer)
(25) -> groebner [eq1H]
(25) ->
   (25)  [p]
Type: List
HomogeneousDistributedMultivariatePolynomial([p,Vr,Vt,e],Polynomial Integer)
-----------------------------

Ray