login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:21:09-08:00 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

I try:

  )expose LinGroebnerPackage
  P1:HDMP ([a,b,c,d],Integer) := a*c+5*b*d - 7
  P2:HDMP ([a,b,c,d],Integer) := a*d+b*c - 17
  computeBasis [P1,P2]

and axiom is gone...

more appropriate category --Bill Page, Tue, 18 Apr 2006 07:05:22 -0500 reply
Category: Aldor Library Compiler => Axiom Library

Category: Axiom Library => Axiom Documentation

As Waldek explained, P1 and P2 do not meet the requirements of computeBasis, namely, they do not form a zero dimensional ideal. In any case, LinGroebnerPackage? is for internal use really.

See http://groups.google.at/group/fricas-devel/msg/61b517ef312f1fcc

and the thread thereafter.

Status: open => fix proposed

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: