![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.23 / (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.22: +9 -5
lines
Diff to previous 1.22 (colored)
All causes of the warnings are fixed.
Revision 1.22 / (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.21: +2 -1
lines
Diff to previous 1.21 (colored)
Fixed grammatical problem for gcc4.
Revision 1.21 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:11 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.20: +39 -3
lines
Diff to previous 1.20 (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.20 / (download) - annotate - [select for diffs], Sun Sep 21 02:19:43 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.19: +190 -32
lines
Diff to previous 1.19 (colored)
When #define EXPERIMENTAL, then an experimental code for finding reducer is added.
Revision 1.19 / (download) - annotate - [select for diffs], Sat Sep 20 09:57:29 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.18: +33 -1
lines
Diff to previous 1.18 (colored)
Added experimental codes for sugar & ecart.
Revision 1.18 / (download) - annotate - [select for diffs], Fri Sep 12 02:52:50 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.17: +39 -8
lines
Diff to previous 1.17 (colored)
ecart.gb accepts [(sugar) 1] option (experimental).
Revision 1.17 / (download) - annotate - [select for diffs], Wed Sep 10 07:41:25 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.16: +2 -2
lines
Diff to previous 1.16 (colored)
BUG: the case r == 0 was missing.
Revision 1.16 / (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.15: +103 -30
lines
Diff to previous 1.15 (colored)
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.15 / (download) - annotate - [select for diffs], Tue Aug 26 05:52:43 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.14: +21 -2
lines
Diff to previous 1.14 (colored)
Strategy is changed in ecart division: if s^p|r and s^(p+1)\not| r , then s^(-p)*r is returned.
Revision 1.14 / (download) - annotate - [select for diffs], Tue Aug 26 05:06:01 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.13: +21 -1
lines
Diff to previous 1.13 (colored)
Fixes for ecart gb algorithm with h-s-homogenization.
Revision 1.13 / (download) - annotate - [select for diffs], Fri Aug 22 01:02:45 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.12: +3 -3
lines
Diff to previous 1.12 (colored)
Removed codes for debugging.
Revision 1.12 / (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.11: +45 -11
lines
Diff to previous 1.11 (colored)
ecart.syz computes syzygy by the ecart division algorithm. Fixed a bug of goDeHomogenizeS().
Revision 1.11 / (download) - annotate - [select for diffs], Thu Aug 21 02:30:23 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.10: +5 -24
lines
Diff to previous 1.10 (colored)
[(DoCancel) 1 or 2] system_variable turns on the content reduction strategy for standard reduction, too.
Revision 1.10 / (download) - annotate - [select for diffs], Wed Aug 20 05:18:35 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.9: +36 -7
lines
Diff to previous 1.9 (colored)
Changed the strategy for the content reduction.
Revision 1.9 / (download) - annotate - [select for diffs], Wed Aug 20 01:39:17 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.8: +15 -4
lines
Diff to previous 1.8 (colored)
[(ReduceContent) f] gbext cancels gcd of the coefficients. [(DoCancel) 1] turns on the content reduction for ecartd.gb
Revision 1.8 / (download) - annotate - [select for diffs], Tue Aug 19 08:02:09 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.7: +169 -5
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, 5 months ago) by takayama
Branch: MAIN
Changes since 1.6: +7 -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], Tue Jul 29 08:36:40 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.5: +21 -16
lines
Diff to previous 1.5 (colored)
[[(debugReductionEcart) abcd]] system_variable outputs several debugging information for ecart reduction. See kan96xx/Kan/ecart.c
Revision 1.5 / (download) - annotate - [select for diffs], Sat Jul 19 06:03:57 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.4: +187 -15
lines
Diff to previous 1.4 (colored)
1. The function isTheSameRing looks at the field degreeShift of the ring structure (fixed a bug.) 2. Sygyzies are computed during the ecart division in the case that s (H) is not dehomogenized.
Revision 1.4 / (download) - annotate - [select for diffs], Thu Jul 17 23:47:44 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.3: +11 -11
lines
Diff to previous 1.3 (colored)
M-x untabify
Revision 1.3 / (download) - annotate - [select for diffs], Thu Jul 17 23:37:01 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.2: +15 -3
lines
Diff to previous 1.2 (colored)
[(EcartAutomaticHomogenization) 1] system_variable makes automatic homogenization of the arguments of reduction_ecart().
Revision 1.2 / (download) - annotate - [select for diffs], Thu Jul 17 12:11:09 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.1: +11 -8
lines
Diff to previous 1.1 (colored)
Fixed several bugs.
Now, groebner seems to be working.
Sample:
/foo2_f4 {
[(x,y) ring_of_differential_operators
[[(H) 1 (h) 1 (x) 1 (y) 1]
[(h) 1 (Dx) 1 (Dy) 1]
[(Dx) 1 (Dy) 1] %% added
[(x) -1 (y) -1]
] weight_vector
0
[(weightedHomogenization) 1]
] define_ring
beginEcart
[(2*3 Dx (x Dx + 3) -5*(2 x Dx + 2 y Dy +1) (3 x Dx + 3 y Dy + 1)).
(2*3 Dy (y Dy + 2) -11*(2 x Dx + 2 y Dy +1)(3 x Dx + 3 y Dy + 1)).
] /ff set
ff {dehomogenize} /ff set
ff { [[(x). (x-2).] [(y). (y-3).]] replace} map /ff set
ff {dehomogenize} /ff set
ff { homogenize01 } map /ff set
[ff] groebner /gg set
gg message
gg
} def
/homogenize01 {
/arg1 set
[(degreeShift) [ ] arg1] homogenize
%[[(H). (1).]] replace
} def
Revision 1.1 / (download) - annotate - [select for diffs], Thu Jul 17 09:10:54 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
A very experimental implementation of the ecart division algorithm.