Edit detail for #284 axiom crashes for a Groebner basis. revision 2 of 3

added:

From kratt6 Sun Jan 20 08:07:55 -0800 2008
From: kratt6
Date: Sun, 20 Jan 2008 08:07:55 -0800
Subject: 
Message-ID: <20080120080755-0800@axiom-wiki.newsynthesis.org>

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.

  \begin{axiom}
  )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]
  \end{axiom}