![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.40 / (download) - annotate - [select for diffs], Sun Aug 26 01:38:02 2012 UTC (12 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b,
HEAD
Changes since 1.39: +2 -1
lines
Diff to previous 1.39 (unified) to selected 1.28 (unified)
Fixed a typo in the example of ecart.homogenize01.
Revision 1.39 / (download) - annotate - [select for diffs], Tue Sep 14 11:51:20 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_2_3_12,
RELEASE_1_2_3,
KNOPPIX_2006,
DEB_REL_1_2_3-9
Changes since 1.38: +2 -2
lines
Diff to previous 1.38 (unified) to selected 1.28 (unified)
A bug fix of ecart.checkOrder.
Revision 1.38 / (download) - annotate - [select for diffs], Tue Sep 14 10:50:49 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.37: +47 -17
lines
Diff to previous 1.37 (unified) to selected 1.28 (unified)
The function getNode accepts also key-value array as well as the class tree. Example: [ [1 2] [(hoge)] [[(dog) 1] [(cat) 3]]] (dog) getNode --> 1. The functions ecart.isSameIdeal_h and ecart.isSameIdeal_noh accept the optional argument [(noRecomputation) 1].
Revision 1.37 / (download) - annotate - [select for diffs], Tue Sep 14 08:30:47 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.36: +19 -5
lines
Diff to previous 1.36 (unified) to selected 1.28 (unified)
New function: i j isSameCone_h [bool, ...] The initials of cone.gblist[i] and cone.gblist[j] are compared in the graded ring of h[0,1](D_0).
Revision 1.36 / (download) - annotate - [select for diffs], Tue Sep 14 05:49:36 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.35: +179 -17
lines
Diff to previous 1.35 (unified) to selected 1.28 (unified)
New functions: ecartd.isSameIdeal_noh, ecart.stdBlockOrder for Q(x')_0 [x''] <D> ecartd.isSameIdeal_noh, ecartd.isSameIdeal_h, ecartd.reduction_noh, ecartd.reduction_h accept the option partialEcartGlobalVarX.
Revision 1.35 / (download) - annotate - [select for diffs], Tue Sep 14 03:12:17 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.34: +91 -7
lines
Diff to previous 1.34 (unified) to selected 1.28 (unified)
ecart.checkOrder checks the mixed case ( Q(x') [x''] ) properly. cf. partialEcartGlobalVarX option.
Revision 1.34 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:10 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.33: +2 -2
lines
Diff to previous 1.33 (unified) to selected 1.28 (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.33 / (download) - annotate - [select for diffs], Fri Sep 10 13:20:22 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.32: +10 -10
lines
Diff to previous 1.32 (unified) to selected 1.28 (unified)
, is treated as a space. ,, (parse in a given ring) is changed to __ ,,, (reparse a polynomial) is changed to ___
Revision 1.32 / (download) - annotate - [select for diffs], Tue Aug 31 05:30:20 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.31: +2 -2
lines
Diff to previous 1.31 (unified) to selected 1.28 (unified)
to_int ==> to_int32.
Revision 1.31 / (download) - annotate - [select for diffs], Tue Aug 31 04:45:42 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.30: +2 -1
lines
Diff to previous 1.30 (unified) to selected 1.28 (unified)
The macros weight_vector, ecart.weight_vector, ord_w, ... accept weights in Z, which are translated into int32.
Revision 1.30 / (download) - annotate - [select for diffs], Thu Jul 29 08:13:42 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.29: +4 -2
lines
Diff to previous 1.29 (unified) to selected 1.28 (unified)
New macro: dh.gb computes a standard basis in the doubly homogenized Weyl algebra Dx x = x Dx + h H To see the usage, type in (dhecart.sm1) run (dh.gb) usage ; A bug fix of homogenize in case of Homogenize == 3, which is used from dh.gb.
Revision 1.29 / (download) - annotate - [select for diffs], Fri May 28 08:11:31 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.28: +33 -1
lines
Diff to previous 1.28 (unified)
Added a new macro and function ecartd.reduction_noh and sm1.ecartd_reduction_noh. This function reduces a given element by a give Grobner basis without homogenization. cf. sm1.ecartd_reduction. A tangent cone algorithm is used.
Revision 1.28 / (download) - annotate - [selected], Thu May 27 11:13:49 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.27: +11 -2
lines
Diff to previous 1.27 (unified)
An experimental code to try the tangent cone reduction with h=1.
Revision 1.27 / (download) - annotate - [select for diffs], Sat May 15 12:00:48 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.26: +2 -2
lines
Diff to previous 1.26 (unified) to selected 1.28 (unified)
oxRingStructure returns the value in a new format; [short-option-list, long-option-list]. In the short option-list, the variables e, E, and H are dropped.
Revision 1.26 / (download) - annotate - [select for diffs], Fri May 14 02:35:03 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.25: +5 -3
lines
Diff to previous 1.25 (unified) to selected 1.28 (unified)
Fixed a bug of ecart.homogenize01Ideal; ecart.end was missing.
Revision 1.25 / (download) - annotate - [select for diffs], Thu May 13 05:52:53 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.24: +2 -1
lines
Diff to previous 1.24 (unified) to selected 1.28 (unified)
NewMacros: gb.oxRingStructure, ecartd.gb.oxRingStructure They returns the oxRingStructure of the most recent gb or ecartd.gb computation.
Revision 1.24 / (download) - annotate - [select for diffs], Thu May 13 05:33:10 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.23: +9 -6
lines
Diff to previous 1.23 (unified) to selected 1.28 (unified)
(H) is refined by @@@.Hsymbol.
Revision 1.23 / (download) - annotate - [select for diffs], Wed May 5 07:32:54 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.22: +48 -2
lines
Diff to previous 1.22 (unified) to selected 1.28 (unified)
ecart.homogenize01Ideal (new macro). It homogenizes the ideal given as an argument in h[0,1](D). The algorithm itself is experimental.
Revision 1.22 / (download) - annotate - [select for diffs], Wed May 5 06:57:09 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.21: +113 -5
lines
Diff to previous 1.21 (unified) to selected 1.28 (unified)
ecartd.isSameIdeal_h (new macro) It compares two ideals in h[0,1](D)_alg and returns 1 if two ideals are the same.
Revision 1.21 / (download) - annotate - [select for diffs], Tue May 4 08:29:35 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.20: +2 -1
lines
Diff to previous 1.20 (unified) to selected 1.28 (unified)
sm1.ecartd_reduction, sm1.ecartd_gb, sm1.gb_reduction are ported to asir-contrib from sm1.
Revision 1.20 / (download) - annotate - [select for diffs], Tue May 4 08:03:30 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.19: +4 -3
lines
Diff to previous 1.19 (unified) to selected 1.28 (unified)
New macro: f basis gb.reduction The normal form of f by the basis is computed. basis is of the format of gb.
Revision 1.19 / (download) - annotate - [select for diffs], Thu Apr 29 12:04:45 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.18: +108 -2
lines
Diff to previous 1.18 (unified) to selected 1.28 (unified)
New macro: f basis ecartd.reduction r Divide f by basis by the tangent cone reduction.
Revision 1.18 / (download) - annotate - [select for diffs], Tue Sep 30 00:06:56 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.17: +173 -17
lines
Diff to previous 1.17 (unified) to selected 1.28 (unified)
Fixed a bug on the weight vector for ecart division; H must be the smallest variable.
Revision 1.17 / (download) - annotate - [select for diffs], Sat Sep 20 22:10:04 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.16: +15 -5
lines
Diff to previous 1.16 (unified) to selected 1.28 (unified)
ecarth.gb accepts the sugar option (experimental).
Revision 1.16 / (download) - annotate - [select for diffs], Fri Sep 12 02:52:49 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.15: +23 -5
lines
Diff to previous 1.15 (unified) to selected 1.28 (unified)
ecart.gb accepts [(sugar) 1] option (experimental).
Revision 1.15 / (download) - annotate - [select for diffs], Fri Aug 29 04:34:07 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.14: +138 -123
lines
Diff to previous 1.14 (unified) to selected 1.28 (unified)
ecart.minimalResol computes the graded minimal free resolution in D^h.
Revision 1.14 / (download) - annotate - [select for diffs], Wed Aug 27 03:11:13 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.13: +137 -5
lines
Diff to previous 1.13 (unified) to selected 1.28 (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.13 / (download) - annotate - [select for diffs], Tue Aug 26 12:46:03 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.12: +233 -8
lines
Diff to previous 1.12 (unified) to selected 1.28 (unified)
An experimental version of ecart.minimalBase which translates a graded matrix into the minimal base in D^h. See ecart.minimalBase.test for an example input. The sygyzy computation by ecartd.gb contains a bug, which has not yet been fixed.
Revision 1.12 / (download) - annotate - [select for diffs], Tue Aug 26 05:06:00 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.11: +58 -15
lines
Diff to previous 1.11 (unified) to selected 1.28 (unified)
Fixes for ecart gb algorithm with h-s-homogenization.
Revision 1.11 / (download) - annotate - [select for diffs], Sun Aug 24 05:19:44 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.10: +82 -18
lines
Diff to previous 1.10 (unified) to selected 1.28 (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.10 / (download) - annotate - [select for diffs], Sat Aug 23 02:28:40 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.9: +18 -4
lines
Diff to previous 1.9 (unified) to selected 1.28 (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.9 / (download) - annotate - [select for diffs], Fri Aug 22 23:55:21 2003 UTC (21 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.8: +6 -2
lines
Diff to previous 1.8 (unified) to selected 1.28 (unified)
Updated the usage of ecart.syz.
Revision 1.8 / (download) - annotate - [select for diffs], Thu Aug 21 12:28:58 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.7: +13 -7
lines
Diff to previous 1.7 (unified) to selected 1.28 (unified)
ecart.syz computes syzygy by the ecart division algorithm. Fixed a bug of goDeHomogenizeS().
Revision 1.7 / (download) - annotate - [select for diffs], Mon Aug 18 06:36:50 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.6: +55 -12
lines
Diff to previous 1.6 (unified) to selected 1.28 (unified)
ecartd.gb : computing gb with ecart division with dehomogenization. ecarth.gb : computing gb with ecart division without dehomonigezation. ecart.gb calls ecartd.gb.
Revision 1.6 / (download) - annotate - [select for diffs], Wed Aug 13 03:52:25 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.5: +11 -9
lines
Diff to previous 1.5 (unified) to selected 1.28 (unified)
ecart.gb does not use weight vectors [(h) 1 (x) 1 (y) 1 (H) 1] nor [(h) 1 (Dx) 1 (Dy) 1]. Example 5 falls into an infinite loop (BUG).
Revision 1.5 / (download) - annotate - [select for diffs], Mon Aug 4 11:42:42 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.4: +69 -1
lines
Diff to previous 1.4 (unified) to selected 1.28 (unified)
Added a check function to check if the given order is relevant for ecart division (ecart.checkOrder).
Revision 1.4 / (download) - annotate - [select for diffs], Wed Jul 30 09:00:51 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.3: +175 -1
lines
Diff to previous 1.3 (unified) to selected 1.28 (unified)
Fixed a bug of groebner_gen(). ecartd.gb : groebner basis computation with ecart division and dehomogenization.
Revision 1.3 / (download) - annotate - [select for diffs], Tue Jul 29 08:36:39 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.2: +198 -4
lines
Diff to previous 1.2 (unified) to selected 1.28 (unified)
[[(debugReductionEcart) abcd]] system_variable outputs several debugging information for ecart reduction. See kan96xx/Kan/ecart.c
Revision 1.2 / (download) - annotate - [select for diffs], Fri Jul 25 01:03:00 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.1: +4 -1
lines
Diff to previous 1.1 (unified) to selected 1.28 (unified)
Added ecart.sm1 to the list for automatic manual generation.
Revision 1.1 / (download) - annotate - [select for diffs], Fri Jul 25 01:00:38 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Diff to selected 1.28 (unified)
The file ecart.sm1 is an interface for standard basis computation by the ecart division algorithm by Granger-Oaku. New commands are ecart.begin ecart.end ecart.homogenize01 ecart.dehomogenize ecart.dehomogenizeH ecart.gb ecart.syz