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 (3 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.22: +9 -5
lines
Diff to previous 1.22 (unified) to selected 1.20 (unified)
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, 2 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 (unified) to selected 1.20 (unified)
Fixed grammatical problem for gcc4.
Revision 1.21 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:11 2004 UTC (19 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.20: +39 -3
lines
Diff to previous 1.20 (unified)
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 - [selected], Sun Sep 21 02:19:43 2003 UTC (20 years, 11 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 (unified)
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 (20 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.18: +33 -1
lines
Diff to previous 1.18 (unified) to selected 1.20 (unified)
Added experimental codes for sugar & ecart.
Revision 1.18 / (download) - annotate - [select for diffs], Fri Sep 12 02:52:50 2003 UTC (20 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.17: +39 -8
lines
Diff to previous 1.17 (unified) to selected 1.20 (unified)
ecart.gb accepts [(sugar) 1] option (experimental).
Revision 1.17 / (download) - annotate - [select for diffs], Wed Sep 10 07:41:25 2003 UTC (20 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.16: +2 -2
lines
Diff to previous 1.16 (unified) to selected 1.20 (unified)
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 ago) by takayama
Branch: MAIN
Changes since 1.15: +103 -30
lines
Diff to previous 1.15 (unified) to selected 1.20 (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.15 / (download) - annotate - [select for diffs], Tue Aug 26 05:52:43 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.14: +21 -2
lines
Diff to previous 1.14 (unified) to selected 1.20 (unified)
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 ago) by takayama
Branch: MAIN
Changes since 1.13: +21 -1
lines
Diff to previous 1.13 (unified) to selected 1.20 (unified)
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 ago) by takayama
Branch: MAIN
Changes since 1.12: +3 -3
lines
Diff to previous 1.12 (unified) to selected 1.20 (unified)
Removed codes for debugging.
Revision 1.12 / (download) - annotate - [select for diffs], Thu Aug 21 12:28:57 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.11: +45 -11
lines
Diff to previous 1.11 (unified) to selected 1.20 (unified)
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 ago) by takayama
Branch: MAIN
Changes since 1.10: +5 -24
lines
Diff to previous 1.10 (unified) to selected 1.20 (unified)
[(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 ago) by takayama
Branch: MAIN
Changes since 1.9: +36 -7
lines
Diff to previous 1.9 (unified) to selected 1.20 (unified)
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 ago) by takayama
Branch: MAIN
Changes since 1.8: +15 -4
lines
Diff to previous 1.8 (unified) to selected 1.20 (unified)
[(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 ago) by takayama
Branch: MAIN
Changes since 1.7: +169 -5
lines
Diff to previous 1.7 (unified) to selected 1.20 (unified)
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, 1 month ago) by takayama
Branch: MAIN
Changes since 1.6: +7 -2
lines
Diff to previous 1.6 (unified) to selected 1.20 (unified)
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, 1 month ago) by takayama
Branch: MAIN
Changes since 1.5: +21 -16
lines
Diff to previous 1.5 (unified) to selected 1.20 (unified)
[[(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, 1 month ago) by takayama
Branch: MAIN
Changes since 1.4: +187 -15
lines
Diff to previous 1.4 (unified) to selected 1.20 (unified)
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, 1 month ago) by takayama
Branch: MAIN
Changes since 1.3: +11 -11
lines
Diff to previous 1.3 (unified) to selected 1.20 (unified)
M-x untabify
Revision 1.3 / (download) - annotate - [select for diffs], Thu Jul 17 23:37:01 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.2: +15 -3
lines
Diff to previous 1.2 (unified) to selected 1.20 (unified)
[(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, 1 month ago) by takayama
Branch: MAIN
Changes since 1.1: +11 -8
lines
Diff to previous 1.1 (unified) to selected 1.20 (unified)
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, 1 month ago) by takayama
Branch: MAIN
Diff to selected 1.20 (unified)
A very experimental implementation of the ecart division algorithm.