I try:
\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}
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 |
|
|
|
last edited 16 years ago by kratt6 |