![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.50 / (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.49: +6 -6
lines
Diff to previous 1.49 (unified) to selected 1.1 (unified)
All causes of the warnings are fixed.
Revision 1.49 / (download) - annotate - [select for diffs], Thu Oct 8 11:49:37 2015 UTC (9 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.48: +3 -3
lines
Diff to previous 1.48 (unified) to selected 1.1 (unified)
longjmp --> _longjmp on cygwin. We use macros MYSETJMP and MYLONGJMP. There is still a trouble on error handling on ox_sm1.
Revision 1.48 / (download) - annotate - [select for diffs], Sun Sep 16 01:53:08 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.47: +2 -1
lines
Diff to previous 1.47 (unified) to selected 1.1 (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.47 / (download) - annotate - [select for diffs], Thu Dec 21 05:29:49 2006 UTC (18 years ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_2_3_12,
DEB_REL_1_2_3-9
Changes since 1.46: +2 -1
lines
Diff to previous 1.46 (unified) to selected 1.1 (unified)
Added a funtion print_tex_form.
Revision 1.46 / (download) - annotate - [select for diffs], Tue Sep 27 06:10:43 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.45: +51 -1
lines
Diff to previous 1.45 (unified) to selected 1.1 (unified)
Any character can be used as a separator. sm1>[(stringToArgv2) (abc ; pqr) (;)] extension :: [ $abc $ , $ pqr$ ]
Revision 1.45 / (download) - annotate - [select for diffs], Sun Jul 3 11:08:53 2005 UTC (19 years, 5 months ago) by ohara
Branch: MAIN
Changes since 1.44: +3 -1
lines
Diff to previous 1.44 (unified) to selected 1.1 (unified)
Fixed grammatical problem for gcc4.
Revision 1.44 / (download) - annotate - [select for diffs], Thu Jun 16 06:21:21 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.43: +4 -4
lines
Diff to previous 1.43 (unified) to selected 1.1 (unified)
ob key getAttribute value
Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set
ff (gb) getAttribute ::
ob getAttributeList attr-obj
Example: [(x-1) (y-1)] [(gb) 1] setAttributeList /ff set
ff getAttributeList ::
Revision 1.43 / (download) - annotate - [select for diffs], Thu Jun 16 05:07:23 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.42: +98 -80
lines
Diff to previous 1.42 (unified) to selected 1.1 (unified)
The initialization of the variables of the type struct object are added. It is necessary to initialize the field "attr" (object attribute) of stuct object. cf. misc-2005/06/gfan/opt.sm1 test2.
Revision 1.42 / (download) - annotate - [select for diffs], Thu Jun 9 05:46:57 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.41: +79 -2
lines
Diff to previous 1.41 (unified) to selected 1.1 (unified)
putAttribute and getAttribute are installed, but they have not yet been tested.
Revision 1.41 / (download) - annotate - [select for diffs], Mon Nov 15 08:27:27 2004 UTC (20 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.40: +2 -2
lines
Diff to previous 1.40 (unified) to selected 1.1 (unified)
Increased RC_LIMIT for the enumeration of Grobner cones.
Revision 1.40 / (download) - annotate - [select for diffs], Thu Sep 23 12:20:52 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.39: +16 -1
lines
Diff to previous 1.39 (unified) to selected 1.1 (unified)
Added a new function : newByteArrayFromStr().
Revision 1.39 / (download) - annotate - [select for diffs], Mon Sep 20 02:26:56 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.38: +6 -4
lines
Diff to previous 1.38 (unified) to selected 1.1 (unified)
Bug fix for the case of the empty byte array.
Revision 1.38 / (download) - annotate - [select for diffs], Mon Sep 20 02:11:22 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.37: +73 -1
lines
Diff to previous 1.37 (unified) to selected 1.1 (unified)
Added a new data type SbyteArray.
Revision 1.37 / (download) - annotate - [select for diffs], Fri Sep 17 02:42:57 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.36: +3 -1
lines
Diff to previous 1.36 (unified) to selected 1.1 (unified)
RestrictedMode is introduced.
If it is set, only functions with the ATTR_EXPORT bit are allowed to be
executed. It is mainly designed for anonymous services in OpenXM-grid.
A sample code for the RestricedMode.
/hoge { (hello) message (hello2) message } def
/foo {hoge} def
[(parse) (cohom.sm1) pushfile] extension
[(parse) (ox.sm1) pushfile] extension
[(or_attr) 8 /gb] extension
[(or_attr) 8 /pmat] extension
[(or_attr) 8 /foo] extension
[(or_attr) 8 /fctr] extension
[(RestrictedMode) 1] system_variable
foo
hoge % stopped by the RestrictedMode flag.
[ [( (x Dx)^2 + (y Dy)^2 -1) ( x y Dx Dy -1)] (x,y)
[ [ (Dx) 1 ] ] ] gb pmat
asirconnectr % stopped by the RestrictionMode flag
[(x^2-1) (x)] fctr pmat
Revision 1.36 / (download) - annotate - [select for diffs], Thu Sep 16 02:22:03 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.35: +3 -3
lines
Diff to previous 1.35 (unified) to selected 1.1 (unified)
The primitive "put" accepts universalNumber as an index.
Revision 1.35 / (download) - annotate - [select for diffs], Wed Sep 15 06:40:26 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.34: +9 -1
lines
Diff to previous 1.34 (unified) to selected 1.1 (unified)
if (Verbose & 0x10) obj1 and obj2 are printed when KooEqualQ outputs warnings.
Revision 1.34 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:11 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.33: +33 -1
lines
Diff to previous 1.33 (unified) to selected 1.1 (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], Sat Sep 11 01:00:42 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.32: +38 -2
lines
Diff to previous 1.32 (unified) to selected 1.1 (unified)
The primitive get accepts the following input obj [k0 k1 k2 ... ] get It also accepts a list as an argument. New macros: arrayToList and listToArray.
Revision 1.32 / (download) - annotate - [select for diffs], Thu Sep 9 11:42:22 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.31: +15 -5
lines
Diff to previous 1.31 (unified) to selected 1.1 (unified)
The functions rest, join, cons work for lists. Example: 1 null cons /ff set 2 ff cons /ff set ff :: ff (array) dc ::
Revision 1.31 / (download) - annotate - [select for diffs], Thu Sep 9 03:14:46 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.30: +36 -1
lines
Diff to previous 1.30 (unified) to selected 1.1 (unified)
join and rest call C functions Kjoin() and Krest() instead of sm1 macros.
Revision 1.30 / (download) - annotate - [select for diffs], Sat Sep 4 11:25:58 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.29: +2 -1
lines
Diff to previous 1.29 (unified) to selected 1.1 (unified)
A backtrace is presented in case of an error. New commands: [(traceShowStack)] extension str [(traceClearStack)] extension null.
Revision 1.29 / (download) - annotate - [select for diffs], Tue Aug 31 05:30:20 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.28: +5 -5
lines
Diff to previous 1.28 (unified) to selected 1.1 (unified)
to_int ==> to_int32.
Revision 1.28 / (download) - annotate - [select for diffs], Tue Aug 31 04:45:42 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.27: +21 -3
lines
Diff to previous 1.27 (unified) to selected 1.1 (unified)
The macros weight_vector, ecart.weight_vector, ord_w, ... accept weights in Z, which are translated into int32.
Revision 1.27 / (download) - annotate - [select for diffs], Sat Aug 28 07:28:54 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.26: +2 -1
lines
Diff to previous 1.26 (unified) to selected 1.1 (unified)
Bug fix of univNum (numerator) dc.
Revision 1.26 / (download) - annotate - [select for diffs], Mon Aug 23 08:33:55 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.25: +31 -1
lines
Diff to previous 1.25 (unified) to selected 1.1 (unified)
The name "reduce" is changed to "cancel". New functions: asir_red (calling red of asir). nnormalize_vec (it normalizes a given vector in Q^n.) Modified functions: lt and gt accept arrays. Arrays are compared by the lex order.
Revision 1.25 / (download) - annotate - [select for diffs], Sun Aug 22 12:52:34 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.24: +15 -3
lines
Diff to previous 1.24 (unified) to selected 1.1 (unified)
Added functions for Q; lcm, gcd, numerator, denominator, to_univNum, cancel.
Revision 1.24 / (download) - annotate - [select for diffs], Sun Aug 22 02:00:24 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.23: +53 -1
lines
Diff to previous 1.23 (unified) to selected 1.1 (unified)
polylcm : lcm for polynomials lcm (mpzext) : lcm for numbers polygcd : gcd for polynomials gcd (mpzext) : gcd for numbers Inteter (int32) are automatically translated to univnum (Q).
Revision 1.23 / (download) - annotate - [select for diffs], Fri Jul 30 11:21:55 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.22: +22 -2
lines
Diff to previous 1.22 (unified) to selected 1.1 (unified)
[(exponents) poly type] gbext returns the set of the exponent vectors of the polynomial "poly". Example: sm1>[(x,y) ring_of_differential_operators 0] define_ring ; sm1>( (x+y+Dx+Dy)^2 ). /ff set ; sm1>[(exponents) ff] gbext pmat ; [ [ 2 , 0 , 0 , 0 , 0 ] [ 1 , 1 , 0 , 0 , 0 ] [ 0 , 2 , 0 , 0 , 0 ] [ 1 , 0 , 1 , 0 , 0 ] [ 0 , 1 , 1 , 0 , 0 ] [ 0 , 0 , 2 , 0 , 0 ] [ 1 , 0 , 0 , 1 , 0 ] [ 0 , 1 , 0 , 1 , 0 ] [ 0 , 0 , 1 , 1 , 0 ] [ 0 , 0 , 0 , 2 , 0 ] [ 0 , 0 , 0 , 0 , 2 ] ] sm1>ff :: x^2+2*x*y+y^2+2*x*Dx+2*y*Dx+Dx^2+2*x*Dy+2*y*Dy+2*Dx*Dy+Dy^2+2*h^2 sm1>[(exponents) ff 0] gbext (universalNumber) dc pmat ; [ [ 2 , 0 , 0 , 0 ] [ 1 , 1 , 0 , 0 ] [ 0 , 2 , 0 , 0 ] [ 1 , 0 , 1 , 0 ] [ 0 , 1 , 1 , 0 ] [ 0 , 0 , 2 , 0 ] [ 1 , 0 , 0 , 1 ] [ 0 , 1 , 0 , 1 ] [ 0 , 0 , 1 , 1 ] [ 0 , 0 , 0 , 2 ] [ 0 , 0 , 0 , 0 ] ]
Revision 1.22 / (download) - annotate - [select for diffs], Thu May 13 04:38:28 2004 UTC (20 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.21: +43 -31
lines
Diff to previous 1.21 (unified) to selected 1.1 (unified)
New data conversion function:
ring_object (oxRingStructure) dc obj
Example:
[(x) ring_of_differential_operators [[(x)]] weight_vector 0
[(weightedHomogenization) 1 (degreeShift) [[1 2 1]]] ] define_ring ;
(1). getRing /rr set rr (oxRingStructure) dc
obj is of the format of the asir ring structure option, which will
be in the CMO (see the new manual section of dp_gr_main of asir).
Revision 1.21 / (download) - annotate - [select for diffs], Sat Feb 28 13:39:42 2004 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.20: +2 -2
lines
Diff to previous 1.20 (unified) to selected 1.1 (unified)
Quiet mode is ready; sm1 -q
Revision 1.20 / (download) - annotate - [select for diffs], Sat Dec 6 02:49:22 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.19: +36 -6
lines
Diff to previous 1.19 (unified) to selected 1.1 (unified)
Supporting -,*,/,^ in the QuoteMode.
Revision 1.19 / (download) - annotate - [select for diffs], Fri Dec 5 13:51:31 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.18: +7 -2
lines
Diff to previous 1.18 (unified) to selected 1.1 (unified)
Fixed a bug on the quote mode. <1> undefined symbol is automatically translated into a string object. <2> result status of executeToken() is properly set.
Revision 1.18 / (download) - annotate - [select for diffs], Tue Aug 26 12:46:05 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.17: +8 -1
lines
Diff to previous 1.17 (unified) to selected 1.1 (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.17 / (download) - annotate - [select for diffs], Sat Aug 23 02:28:38 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.16: +6 -1
lines
Diff to previous 1.16 (unified) to selected 1.1 (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.16 / (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.15: +16 -1
lines
Diff to previous 1.15 (unified) to selected 1.1 (unified)
[(ReduceContent) f] gbext cancels gcd of the coefficients. [(DoCancel) 1] turns on the content reduction for ecartd.gb
Revision 1.15 / (download) - annotate - [select for diffs], Mon Aug 18 11:59:56 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.14: +3 -3
lines
Diff to previous 1.14 (unified) to selected 1.1 (unified)
Fixed minor errors in appell4r.
Revision 1.14 / (download) - annotate - [select for diffs], Mon Jul 14 12:49:52 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.13: +41 -1
lines
Diff to previous 1.13 (unified) to selected 1.1 (unified)
command execve or [arg0 arg1 arg2 ...] execve It executes command by the system call execve. cf. forkExec, system, system-csh
Revision 1.13 / (download) - annotate - [select for diffs], Sat Jul 5 01:53:33 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.12: +3 -1
lines
Diff to previous 1.12 (unified) to selected 1.1 (unified)
If user choses "degreeShift" option, then the grading is automatically changed to "module1v".
Revision 1.12 / (download) - annotate - [select for diffs], Thu Jun 26 13:00:10 2003 UTC (21 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.11: +21 -10
lines
Diff to previous 1.11 (unified) to selected 1.1 (unified)
Degree shift vector allows a matrix of degree shifts.
Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 26 08:14:46 2003 UTC (21 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.10: +23 -2
lines
Diff to previous 1.10 (unified) to selected 1.1 (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], Mon Nov 4 10:53:55 2002 UTC (22 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.9: +2 -1
lines
Diff to previous 1.9 (unified) to selected 1.1 (unified)
Introduced a new operator tlimit to limit the computation resource
during the computation of the argument.
Example: { {1 pop} loop } 2 tlimit
Revision 1.9 / (download) - annotate - [select for diffs], Sun Sep 8 10:49:49 2002 UTC (22 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.8: +7 -1
lines
Diff to previous 1.8 (unified) to selected 1.1 (unified)
Supporting a weighted homogenization (experimental). See (ring_of_differential_operators) usage.
Revision 1.8 / (download) - annotate - [select for diffs], Sun Feb 24 10:27:18 2002 UTC (22 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.7: +5 -1
lines
Diff to previous 1.7 (unified) to selected 1.1 (unified)
setjmp --> sigsetjmp longjmp --> siglongjmp
Revision 1.7 / (download) - annotate - [select for diffs], Fri May 4 01:06:23 2001 UTC (23 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.6: +285 -285
lines
Diff to previous 1.6 (unified) to selected 1.1 (unified)
indent-region and untabify.
Revision 1.6 / (download) - annotate - [select for diffs], Thu Apr 12 06:48:25 2001 UTC (23 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.5: +5 -2
lines
Diff to previous 1.5 (unified) to selected 1.1 (unified)
Kan/sm1 is changed to be complient to the change of the OpenXM-RFC 100 of before yesterday; "Trees" can be used in place of "indeterminates" in recursive polynomials.
Revision 1.5 / (download) - annotate - [select for diffs], Thu Dec 28 00:07:14 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.4: +2 -1
lines
Diff to previous 1.4 (unified) to selected 1.1 (unified)
Fixed a bug: (poly) dc should be the identity map when the argument is a polynonomial.
Revision 1.4 / (download) - annotate - [select for diffs], Mon Jul 17 02:58:45 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3
Changes since 1.3: +14 -2
lines
Diff to previous 1.3 (unified) to selected 1.1 (unified)
warningKanNoStrict() outputs warning messages, but it does not stop the interpreter. verify-by-sm1 works without a modification of gr.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Jun 8 08:35:02 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.2: +7 -1
lines
Diff to previous 1.2 (unified) to selected 1.1 (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.2 / (download) - annotate - [select for diffs], Sat Nov 6 10:37:30 1999 UTC (25 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124,
RELEASE_1_1_2
Changes since 1.1: +18 -0
lines
Diff to previous 1.1 (unified)
(1.234343e2) (double) dc is added. dc means dataConversion.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Oct 8 02:12:01 1999 UTC (25 years, 2 months ago) by maekawa
Branch: OpenXM
CVS Tags: ALPHA
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (unified)
o import OpenXM sources
Revision 1.1 / (download) - annotate - [selected], Fri Oct 8 02:12:01 1999 UTC (25 years, 2 months ago) by maekawa
Branch: MAIN
Initial revision