![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.30 / (download) - annotate - [select for diffs], Fri Sep 13 05:21:33 2019 UTC (5 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.29: +210 -1
lines
Diff to previous 1.29 (unified) to selected 1.13 (unified)
reduction uses the global variable ring_var in the ox_sm1 server when two args. Example. [1837] XM_debug=0$ S=sm1.syz([ [x^2-1,x^3-1,x^4-1],[x]])$ [1838] sm1.auto_reduce(1); 1 [1839] S0=sm1.gb([S[0],[x]]); [[[-x^2-x-1,x+1,0],[x^2+1,0,-1]],[[0,x,0],[0,0,-1]]] [1840] sm1.reduction([ [-x^4-x^3-x^2-x,x^3+x^2+x+1,-1], S0[0]]); [[0,0,0],-1,[[x^2+1,0,0],[1,0,0]],[[-x^2-x-1,x+1,0],[x^2+1,0,-1]]]
Revision 1.29 / (download) - annotate - [select for diffs], Sat Aug 31 06:36:28 2019 UTC (5 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.28: +7 -4
lines
Diff to previous 1.28 (unified) to selected 1.13 (unified)
sm1.gb command accepts the needBack option. Example. [1834] sm1.gb([[dx^2-x,dx],[x]] | needBack=1); [[[dx,dx^2-x,1],[dx,dx^2,1]],[gb,1,all,[[dx,dx^2-x,1],[[0,1],[1,0],[-dx,dx^2-x]]]]]
Revision 1.28 / (download) - annotate - [select for diffs], Fri Oct 12 01:20:29 2012 UTC (12 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.27: +5 -1
lines
Diff to previous 1.27 (unified) to selected 1.13 (unified)
Added an example of the option StopDegree.
Revision 1.27 / (download) - annotate - [select for diffs], Sun Sep 16 01:53:08 2012 UTC (12 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.26: +6 -2
lines
Diff to previous 1.26 (unified) to selected 1.13 (unified)
Fixed a bug of outputting a warning when there is no syzygy. To fix this bug for the current binary distribution, replace the file hol.sm1 in OpenXM/lib/sm1 by the corrected one.
Revision 1.26 / (download) - annotate - [select for diffs], Fri Jan 18 00:48:07 2008 UTC (16 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_2_3_12
Changes since 1.25: +5 -1
lines
Diff to previous 1.25 (unified) to selected 1.13 (unified)
Added a reference to annfs.
Revision 1.25 / (download) - annotate - [select for diffs], Sun Jul 24 09:02:40 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: KNOPPIX_2006,
DEB_REL_1_2_3-9
Changes since 1.24: +3 -3
lines
Diff to previous 1.24 (unified) to selected 1.13 (unified)
Fixed a typo in pgb.
Revision 1.24 / (download) - annotate - [select for diffs], Thu Jun 23 03:23:26 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.23: +3 -3
lines
Diff to previous 1.23 (unified) to selected 1.13 (unified)
Small changes in usages.
Revision 1.23 / (download) - annotate - [select for diffs], Thu Jun 16 08:40:04 2005 UTC (19 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.22: +54 -12
lines
Diff to previous 1.22 (unified) to selected 1.13 (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.22 / (download) - annotate - [select for diffs], Fri Sep 10 13:20:22 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.21: +7 -7
lines
Diff to previous 1.21 (unified) to selected 1.13 (unified)
, is treated as a space. ,, (parse in a given ring) is changed to __ ,,, (reparse a polynomial) is changed to ___
Revision 1.21 / (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.20: +2 -2
lines
Diff to previous 1.20 (unified) to selected 1.13 (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.20 / (download) - annotate - [select for diffs], Thu Jun 10 06:01:50 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.19: +52 -1
lines
Diff to previous 1.19 (unified) to selected 1.13 (unified)
New function: sm1.gb_reduction_noh, gb.reduction_noh They are dehomogenized version of sm1.gb_reduction and gb.reduction. They work in D insread of h[1,1](D).
Revision 1.19 / (download) - annotate - [select for diffs], Thu Jun 3 08:10:44 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.18: +5 -2
lines
Diff to previous 1.18 (unified) to selected 1.13 (unified)
New function: sm1.ecartd_syz returns the generators of the syzygy in the local ring. sm1.syz and sm1.ecartd_syz accept the option rv="dp".
Revision 1.18 / (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.17: +2 -2
lines
Diff to previous 1.17 (unified) to selected 1.13 (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.17 / (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.16: +4 -1
lines
Diff to previous 1.16 (unified) to selected 1.13 (unified)
NewMacros: gb.oxRingStructure, ecartd.gb.oxRingStructure They returns the oxRingStructure of the most recent gb or ecartd.gb computation.
Revision 1.16 / (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.15: +2 -1
lines
Diff to previous 1.15 (unified) to selected 1.13 (unified)
sm1.ecartd_reduction, sm1.ecartd_gb, sm1.gb_reduction are ported to asir-contrib from sm1.
Revision 1.15 / (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.14: +66 -1
lines
Diff to previous 1.14 (unified) to selected 1.13 (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.14 / (download) - annotate - [select for diffs], Tue May 4 07:48:47 2004 UTC (20 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.13: +18 -10
lines
Diff to previous 1.13 (unified)
Changes of the macro gb (groebner basis in sm1).
(1) When f \in R (ring) and a new ring R' is given as an argument of gb,
f is re-parsed in R' before computing gb.
(2) New global optional variables: gb.autoHomogenize, gb.homogenized.
Revision 1.13 / (download) - annotate - [selected], Tue Jul 29 08:36:39 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.12: +7 -6
lines
Diff to previous 1.12 (unified)
[[(debugReductionEcart) abcd]] system_variable outputs several debugging information for ecart reduction. See kan96xx/Kan/ecart.c
Revision 1.12 / (download) - annotate - [select for diffs], Sat Jul 5 01:53:32 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.11: +8 -2
lines
Diff to previous 1.11 (unified) to selected 1.13 (unified)
If user choses "degreeShift" option, then the grading is automatically changed to "module1v".
Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 26 08:14:45 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.10: +32 -5
lines
Diff to previous 1.10 (unified) to selected 1.13 (unified)
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.10 / (download) - annotate - [select for diffs], Thu Jan 4 12:29:33 2001 UTC (23 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2,
RELEASE_1_2_1
Changes since 1.9: +33 -4
lines
Diff to previous 1.9 (unified) to selected 1.13 (unified)
A new online help generation system for kan/k0.
Revision 1.9 / (download) - annotate - [select for diffs], Fri Dec 29 07:19:37 2000 UTC (23 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.8: +18 -2
lines
Diff to previous 1.8 (unified) to selected 1.13 (unified)
syz and res-solv accept a ring definition as an optional argument. Other commands should be rewritten so that these accept a ring definition.
Revision 1.8 / (download) - annotate - [select for diffs], Tue Aug 1 05:53:18 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3
Changes since 1.7: +3 -1
lines
Diff to previous 1.7 (unified) to selected 1.13 (unified)
Added a debug code for isExact_h.
Revision 1.7 / (download) - annotate - [select for diffs], Mon Jun 12 08:03:56 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.6: +20 -7
lines
Diff to previous 1.6 (unified) to selected 1.13 (unified)
An option variable gb.warning is defined. If it is true, then the system outputs warning messages.
Revision 1.6 / (download) - annotate - [select for diffs], Fri Jun 9 08:02:01 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.5: +14 -6
lines
Diff to previous 1.5 (unified) to selected 1.13 (unified)
Bug fix of isExact_h. Adding "show_ring" to order.c. It is called when something wrong happens for the schreyer order.
Revision 1.5 / (download) - annotate - [select for diffs], Thu Jun 8 08:35:01 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.4: +437 -3
lines
Diff to previous 1.4 (unified) to selected 1.13 (unified)
New commands are added:
gb_h, syz_h : Grobner basis and syzygy in D<h> (homogenized Weyl algebra).
([(Homogenize_vec) 0] system_varialbe, (grade) (module1v)
[(toe_) f] gbext : inverse of toVectors
isSameIdeal, isSameIdeal_h : check if the given ideals are the same.
isExact_h, isExact : check if the given complex is exact.
Revision 1.4 / (download) - annotate - [select for diffs], Tue Mar 14 13:01:28 2000 UTC (24 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_1_2
Changes since 1.3: +8 -7
lines
Diff to previous 1.3 (unified) to selected 1.13 (unified)
Added the option variable gb.options to the macro gb and pgb.
Revision 1.3 / (download) - annotate - [select for diffs], Fri Dec 10 09:17:50 1999 UTC (24 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.2: +5 -1
lines
Diff to previous 1.2 (unified) to selected 1.13 (unified)
A manual entry for sm1_reduction is added.
Revision 1.2 / (download) - annotate - [select for diffs], Tue Dec 7 09:35:22 1999 UTC (24 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.1: +112 -2
lines
Diff to previous 1.1 (unified) to selected 1.13 (unified)
A new sm1 macro reduction* is added. It is an interface function to reduction and reduction-noH. It will be used from asir.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Oct 8 02:12:02 1999 UTC (25 years, 1 month ago) by maekawa
Branch: OpenXM
CVS Tags: ALPHA
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (unified) to selected 1.13 (unified)
o import OpenXM sources
Revision 1.1 / (download) - annotate - [select for diffs], Fri Oct 8 02:12:02 1999 UTC (25 years, 1 month ago) by maekawa
Branch: MAIN
Diff to selected 1.13 (unified)
Initial revision