Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: KNOPPIX_2006
Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years ago) by takayama
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.10: +3 -1
lines
Diff to previous 1.10 (unified)
The new option gbCheck is added. sm1> [(x0,x1) ring_of_polynomials 0] define_ring [(x0^2+x1^2-h^2). (x0 x1 -4 h^2).] /ff set ; sm1>[ff [(gbCheck)]] groebner /gg set ; 3.gbCheck failed. Note that the result is NOT groebner basis. Completed. sm1>gg getAttributeList :: [ $gb$ , 0 ]