CVS log for OpenXM/src/kan96xx/Kan/gb.c

Up to [local] / OpenXM / src / kan96xx / Kan

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.14 / (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.13: +2 -1 lines
Diff to previous 1.13 (colored)

All causes of the warnings are fixed.

Revision 1.13 / (download) - annotate - [select for diffs], Thu Jul 7 02:59:47 2005 UTC (19 years, 4 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.12: +4 -3 lines
Diff to previous 1.12 (colored)

Output a debug message on Homogenize.

Revision 1.12 / (download) - annotate - [select for diffs], Thu Jun 30 08:35:07 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.11: +5 -2 lines
Diff to previous 1.11 (colored)

Fixed a bug:
  the mebers gb and reduced in graded poly set are not
  copied.

Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 16 08:40:04 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.10: +2 -1 lines
Diff to previous 1.10 (colored)

gb, pgb, gb_h accept optional arguments. See examples below.
 [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y)
     [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::

 [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)]
            [(reduceOnly)] setAttributeList gb_h pmat

Revision 1.10 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.9: +16 -3 lines
Diff to previous 1.9 (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.9 / (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.8: +7 -4 lines
Diff to previous 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.8 / (download) - annotate - [select for diffs], Tue Aug 19 08:02:09 2003 UTC (21 years, 2 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.7: +10 -1 lines
Diff to previous 1.7 (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.7 / (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.6: +9 -2 lines
Diff to previous 1.6 (colored)

Fixed a bug of groebner_gen().

ecartd.gb : groebner basis computation with ecart division and dehomogenization.

Revision 1.6 / (download) - annotate - [select for diffs], Sun Feb 10 08:22:56 2002 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2, RELEASE_1_2_1
Changes since 1.5: +32 -2 lines
Diff to previous 1.5 (colored)

Added informations of maximal degrees of s-polynomials to the statistics
function.

Revision 1.5 / (download) - annotate - [select for diffs], Fri May 4 01:06:23 2001 UTC (23 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.4: +165 -164 lines
Diff to previous 1.4 (colored)

indent-region and untabify.

Revision 1.4 / (download) - annotate - [select for diffs], Wed Mar 15 01:31:17 2000 UTC (24 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6, RELEASE_1_1_3, RELEASE_1_1_2
Changes since 1.3: +40 -37 lines
Diff to previous 1.3 (colored)

A bug fix on a computation of partial Grobner bases.

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
Changes since 1.2: +75 -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:38 2000 UTC (24 years, 9 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.