Powered by Apache

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

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

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.22 / (download) - annotate - [select for diffs], Tue Oct 6 11:33:46 2020 UTC (4 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.21: +2 -1 lines
Diff to previous 1.21 (unified)

All causes of the warnings are fixed.

Revision 1.21 / (download) - annotate - [select for diffs], Sun Jul 3 11:08:53 2005 UTC (19 years, 5 months ago) by ohara
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.20: +6 -3 lines
Diff to previous 1.20 (unified)

Fixed grammatical problem for gcc4.

Revision 1.20 / (download) - annotate - [select for diffs], Thu Jun 16 08:40:04 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.19: +5 -4 lines
Diff to previous 1.19 (unified)

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.19 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.18: +9 -2 lines
Diff to previous 1.18 (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 ]

Revision 1.18 / (download) - annotate - [select for diffs], Thu Jun 16 05:07:23 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.17: +54 -48 lines
Diff to previous 1.17 (unified)

The initialization of the variables of the type struct object
are added.  It is necessary to initialize the field "attr"
(object attribute) of stuct object.  cf. misc-2005/06/gfan/opt.sm1 test2.

Revision 1.17 / (download) - annotate - [select for diffs], Thu Jun 9 04:09:22 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.16: +5 -2 lines
Diff to previous 1.16 (unified)

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.16 / (download) - annotate - [select for diffs], Sun Sep 5 07:42:43 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.15: +9 -4 lines
Diff to previous 1.15 (unified)

Changed the specification of exponents-gbext. See (gbext) usage.

Revision 1.15 / (download) - annotate - [select for diffs], Tue Aug 31 05:30:20 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.14: +3 -3 lines
Diff to previous 1.14 (unified)

to_int ==> to_int32.

Revision 1.14 / (download) - annotate - [select for diffs], Tue Aug 31 04:45:42 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.13: +3 -1 lines
Diff to previous 1.13 (unified)

The macros weight_vector, ecart.weight_vector, ord_w, ... accept
weights in Z, which are translated into int32.

Revision 1.13 / (download) - annotate - [select for diffs], Sat Jul 31 02:23:02 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.12: +2 -1 lines
Diff to previous 1.12 (unified)

Added some input data as dh.test.p1, dh.test.p2, dh.testp3.

Revision 1.12 / (download) - annotate - [select for diffs], Fri Jul 30 11:21:55 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.11: +133 -1 lines
Diff to previous 1.11 (unified)

[(exponents) poly type] gbext returns the set of the exponent vectors
of the polynomial "poly".
Example:
sm1>[(x,y) ring_of_differential_operators 0] define_ring ;
sm1>( (x+y+Dx+Dy)^2 ). /ff set ;
sm1>[(exponents) ff] gbext pmat ;
 [
   [    2 , 0 , 0 , 0 , 0 ]
   [    1 , 1 , 0 , 0 , 0 ]
   [    0 , 2 , 0 , 0 , 0 ]
   [    1 , 0 , 1 , 0 , 0 ]
   [    0 , 1 , 1 , 0 , 0 ]
   [    0 , 0 , 2 , 0 , 0 ]
   [    1 , 0 , 0 , 1 , 0 ]
   [    0 , 1 , 0 , 1 , 0 ]
   [    0 , 0 , 1 , 1 , 0 ]
   [    0 , 0 , 0 , 2 , 0 ]
   [    0 , 0 , 0 , 0 , 2 ]
 ]
sm1>ff ::
x^2+2*x*y+y^2+2*x*Dx+2*y*Dx+Dx^2+2*x*Dy+2*y*Dy+2*Dx*Dy+Dy^2+2*h^2
sm1>[(exponents) ff 0] gbext (universalNumber) dc pmat ;
 [
   [    2 , 0 , 0 , 0 ]
   [    1 , 1 , 0 , 0 ]
   [    0 , 2 , 0 , 0 ]
   [    1 , 0 , 1 , 0 ]
   [    0 , 1 , 1 , 0 ]
   [    0 , 0 , 2 , 0 ]
   [    1 , 0 , 0 , 1 ]
   [    0 , 1 , 0 , 1 ]
   [    0 , 0 , 1 , 1 ]
   [    0 , 0 , 0 , 2 ]
   [    0 , 0 , 0 , 0 ]
 ]

Revision 1.11 / (download) - annotate - [select for diffs], Mon Feb 23 09:03:42 2004 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX
Changes since 1.10: +3 -3 lines
Diff to previous 1.10 (unified)

malloc()'s are replaced by sGC_malloc() to solve the memory leak
trouble caused by ~taka/misc-2003/A2/bs-poly/bs2-leak.sm1, foo2.

Revision 1.10 / (download) - annotate - [select for diffs], Wed Aug 27 03:11:12 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.9: +2 -1 lines
Diff to previous 1.9 (unified)

Fixed a bug of ecart.syz.  (ecartDivideSv, mpMult, ...)

Added a new command ecart.gen_input.

By using ecart.gen_input and ecart.minimalBase, we can contstruct
filtered minimal filtered resolution in D^h step by step.

Revision 1.9 / (download) - annotate - [select for diffs], Sun Aug 24 05:19:42 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.8: +91 -30 lines
Diff to previous 1.8 (unified)

Ecart.gb computes a standard basis by an order defined by a weight
matrix and a degree shift.
The weight vector and the degree shift are given as the 3rd and 4th
arguments respectively.
The shift vector for (0,1)-h homogenization is given as the 5th argument.
See (ecart.gb) usage

Revision 1.8 / (download) - annotate - [select for diffs], Sat Aug 23 02:28:38 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.7: +101 -3 lines
Diff to previous 1.7 (unified)

fv [wv shiftv] ord_ws_all  returns the order of fv with respect to the
weight vector wv and the shift vector shiftv.
fv [wv shiftv] init return the initial term of fv with respect to the
weight vector wv and the shift vector shiftv.

Revision 1.7 / (download) - annotate - [select for diffs], Fri Aug 22 11:47:03 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.6: +119 -3 lines
Diff to previous 1.6 (unified)

init returns the initial term. See (init) usage for details.

Revision 1.6 / (download) - annotate - [select for diffs], Thu Aug 21 12:28:57 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.5: +3 -2 lines
Diff to previous 1.5 (unified)

ecart.syz computes syzygy by the ecart division algorithm.
Fixed a bug of goDeHomogenizeS().

Revision 1.5 / (download) - annotate - [select for diffs], Thu Jul 17 07:33:03 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.4: +56 -36 lines
Diff to previous 1.4 (unified)

Several fixes for ecart division for D.
(preparation for the next commit.)

Revision 1.4 / (download) - annotate - [select for diffs], Sun Jul 13 07:53:17 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.3: +1 -0 lines
Diff to previous 1.3 (unified)

null commit.

Revision 1.3 / (download) - annotate - [select for diffs], Thu Jul 10 08:20:04 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.2: +69 -0 lines
Diff to previous 1.2 (unified)

Granger-Oaku's (-1,1) homogenization for the ecart tangent cone
algorithm.
H is "s" in their paper and h is "h".

Sample program:

[(x,y) ring_of_differential_operators
 [[(H) 1] ] weight_vector
 0] define_ring

(Dy^2+x Dx + y). /ff set ;
[(degreeShift) [2 0] ff] homogenize ::

Revision 1.2 / (download) - annotate - [select for diffs], Fri May 4 01:06:24 2001 UTC (23 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2, RELEASE_1_2_1
Changes since 1.1: +85 -85 lines
Diff to previous 1.1 (unified)

indent-region and untabify.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Oct 8 02:12:02 1999 UTC (25 years, 2 months ago) by maekawa
Branch: OpenXM
CVS Tags: maekawa-ipv6, RELEASE_20000124, RELEASE_1_1_3, RELEASE_1_1_2, ALPHA
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (unified)

o import OpenXM sources

Revision 1.1 / (download) - annotate - [select for diffs], Fri Oct 8 02:12:02 1999 UTC (25 years, 2 months 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.




FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>