Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: DEB_REL_1_2_3-9
Revision 1.8 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
KNOPPIX_2006,
DEB_REL_1_2_3-9
Changes since 1.7: +4 -4
lines
Diff to previous 1.7 (colored)
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 ]