Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.9 / (download) - annotate - [select for diffs], Tue Oct 6 11:33:46 2020 UTC (3 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.8: +12 -1
lines
Diff to previous 1.8 (colored)
All causes of the warnings are fixed.
Revision 1.8 / (download) - annotate - [selected], Thu Jun 16 06:54:55 2005 UTC (19 years, 2 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 ]
Revision 1.7 / (download) - annotate - [select for diffs], Thu Jun 9 04:09:22 2005 UTC (19 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.6: +5 -4
lines
Diff to previous 1.6 (colored) to selected 1.8 (colored)
Added a new option reduceOnly to get the reduced basis from a Grobner basis. Example: (cohom.sm1) run [ [[1 1 1 1] [0 1 3 4]] [1 2]] gkz gb 0 get /ff set [ff [(reduceOnly)]] groebner_sugar 0 get /gg set gg is the reduced Grobner basis.
Revision 1.6 / (download) - annotate - [select for diffs], Tue Aug 19 08:02:09 2003 UTC (21 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3,
RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.5: +2 -1
lines
Diff to previous 1.5 (colored) to selected 1.8 (colored)
Added a code for pseudo trace lifting for ecart.gb Use [(TraceLift) 1] system_variable to turn on the pseudo trace lifting strategy.
Revision 1.5 / (download) - annotate - [select for diffs], Wed Jul 30 09:00:52 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.4: +2 -1
lines
Diff to previous 1.4 (colored) to selected 1.8 (colored)
Fixed a bug of groebner_gen(). ecartd.gb : groebner basis computation with ecart division and dehomogenization.
Revision 1.4 / (download) - annotate - [select for diffs], Thu Jul 17 09:10:54 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.3: +5 -1
lines
Diff to previous 1.3 (colored) to selected 1.8 (colored)
A very experimental implementation of the ecart division algorithm.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Feb 24 00:27:12 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_2_2,
RELEASE_1_2_1,
RELEASE_1_1_3,
RELEASE_1_1_2
Changes since 1.2: +8 -1
lines
Diff to previous 1.2 (colored) to selected 1.8 (colored)
The option "[(AutoReduce) 1] system_variable" autoreduces the groebner bases generated by groebner, groebner_sugar, gb, syz, .... In view of efficiency, it is still experimental.
Revision 1.2 / (download) - annotate - [select for diffs], Sun Jan 16 07:55:39 2000 UTC (24 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.1: +1 -0
lines
Diff to previous 1.1 (colored) to selected 1.8 (colored)
Congratulation of sm1 version 3.* !
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Oct 8 02:12:02 1999 UTC (24 years, 10 months ago) by maekawa
Branch: OpenXM
CVS Tags: ALPHA
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored) to selected 1.8 (colored)
o import OpenXM sources
Revision 1.1 / (download) - annotate - [select for diffs], Fri Oct 8 02:12:02 1999 UTC (24 years, 10 months ago) by maekawa
Branch: MAIN
Diff to selected 1.8 (colored)
Initial revision