CVS log for OpenXM/src/kan96xx/Kan/gradedset.h

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 (4 years, 1 month 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 - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years, 5 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, 5 months ago) by takayama
Branch: MAIN
Changes since 1.6: +5 -4 lines
Diff to previous 1.6 (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, 3 months 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)

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, 3 months ago) by takayama
Branch: MAIN
Changes since 1.4: +2 -1 lines
Diff to previous 1.4 (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, 4 months ago) by takayama
Branch: MAIN
Changes since 1.3: +5 -1 lines
Diff to previous 1.3 (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, 8 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)

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, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.1: +1 -0 lines
Diff to previous 1.1 (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 (25 years, 1 month ago) by maekawa
Branch: OpenXM
CVS Tags: ALPHA
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

o import OpenXM sources

Revision 1.1 / (download) - annotate - [select for diffs], Fri Oct 8 02:12:02 1999 UTC (25 years, 1 month ago) by maekawa
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.