|
|
|
last edited 16 years ago by kratt6 |
Edit detail for #284 axiom crashes for a Groebner basis. revision 3 of 3
| 1 2 3 | ||
|
Editor: kratt6
Time: 2008/01/21 12:33:24 GMT-8 |
||
| Note: fixed in FriCAS | ||
added:
From kratt6 Mon Jan 21 12:33:23 -0800 2008
From: kratt6
Date: Mon, 21 Jan 2008 12:33:23 -0800
Subject: fixed in FriCAS
Message-ID: <20080121123323-0800@axiom-wiki.newsynthesis.org>
Status: open => fix proposed
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