![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.15 / (download) - annotate - [select for diffs], Fri Sep 7 00:15:44 2018 UTC (5 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.14: +2 -1
lines
Diff to previous 1.14 (colored)
KSstart_quiet() initializes sm1 in the quiet mode. Bug fixes for 64 bit OS's.
Revision 1.14 / (download) - annotate - [select for diffs], Tue Sep 29 01:52:14 2015 UTC (8 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.13: +2 -1
lines
Diff to previous 1.13 (colored)
_setjmp should be used instead of setjmp on cygwin too. Otherwise, segfault will be caused. The macro GC_INIT is called instead of GC_init().
Revision 1.13 / (download) - annotate - [select for diffs], Wed Jan 27 15:10:08 2010 UTC (14 years, 3 months ago) by ohara
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b
Changes since 1.12: +2 -1
lines
Diff to previous 1.12 (colored)
Fixed a bug for casting pointers. It happens on MacOSX 10.6 with ASLR technology.
Revision 1.12 / (download) - annotate - [select for diffs], Thu Dec 21 05:29:49 2006 UTC (17 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12,
DEB_REL_1_2_3-9
Changes since 1.11: +2 -1
lines
Diff to previous 1.11 (colored)
Added a funtion print_tex_form.
Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (18 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.10: +3 -1
lines
Diff to previous 1.10 (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.10 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:11 2004 UTC (19 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.9: +6 -1
lines
Diff to previous 1.9 (colored)
An implementation of the partial tangent cone algorithm, i.e., reduction
in Q(x')_0 [x''] <D,h> (x' : localized, x'' : global).
Example:
/ecart.checkOrder { 1 } def
[(DebugReductionEcart) 3] system_variable
[ [(1-x-y-z) (1-z)] (x,y,z)
[ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]]
[(partialEcartGlobalVarX) [(x)]] ] ecart.gb /ff set
It is a computation in Q(y,z)_0 [x] <Dx,Dy,Dz,h>.
Revision 1.9 / (download) - annotate - [select for diffs], Tue Aug 19 08:02:09 2003 UTC (20 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.8: +2 -1
lines
Diff to previous 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.8 / (download) - annotate - [select for diffs], Wed Jul 30 09:00:52 2003 UTC (20 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.7: +2 -1
lines
Diff to previous 1.7 (colored)
Fixed a bug of groebner_gen(). ecartd.gb : groebner basis computation with ecart division and dehomogenization.
Revision 1.7 / (download) - annotate - [select for diffs], Thu Jul 17 07:33:03 2003 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.6: +3 -2
lines
Diff to previous 1.6 (colored)
Several fixes for ecart division for D. (preparation for the next commit.)
Revision 1.6 / (download) - annotate - [select for diffs], Thu Jul 10 08:20:04 2003 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.5: +2 -1
lines
Diff to previous 1.5 (colored)
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.5 / (download) - annotate - [select for diffs], Thu Jun 26 13:00:10 2003 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.4: +2 -1
lines
Diff to previous 1.4 (colored)
Degree shift vector allows a matrix of degree shifts.
Revision 1.4 / (download) - annotate - [select for diffs], Thu Jun 26 08:14:46 2003 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.3: +3 -1
lines
Diff to previous 1.3 (colored)
DegreeShift can be used explicitely.
See Oaku-Takayama, JSC 32 (2001), 575--595 and
Granger-Oaku, Minimal filtered free resolutions ...
Example.
[(x,y) ring_of_differential_operators
[[(x) -1 (Dx) 1]] weight_vector
0
[(degreeShift) [1 0 2 0 0 3]]
] define_ring
Revision 1.3 / (download) - annotate - [select for diffs], Sun Sep 8 10:49:49 2002 UTC (21 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.2: +2 -1
lines
Diff to previous 1.2 (colored)
Supporting a weighted homogenization (experimental). See (ring_of_differential_operators) usage.
Revision 1.2 / (download) - annotate - [select for diffs], Sun Jan 16 07:55:38 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_20000124,
RELEASE_1_2_1,
RELEASE_1_1_3,
RELEASE_1_1_2
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:01 1999 UTC (24 years, 7 months 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:01 1999 UTC (24 years, 7 months ago) by maekawa
Branch: MAIN
Initial revision