![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.52 / (download) - annotate - [select for diffs], Tue Oct 6 11:33:47 2020 UTC (4 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.51: +4 -2
lines
Diff to previous 1.51 (colored)
All causes of the warnings are fixed.
Revision 1.51 / (download) - annotate - [select for diffs], Fri Sep 7 00:09:32 2018 UTC (6 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.50: +2 -1
lines
Diff to previous 1.50 (colored)
[(quiet) 1] extesion sets the global variable Quiet=1.
Revision 1.50 / (download) - annotate - [select for diffs], Sun Sep 22 01:26:07 2013 UTC (11 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.49: +2 -1
lines
Diff to previous 1.49 (colored)
sm1log stores date info.
Revision 1.49 / (download) - annotate - [select for diffs], Wed Oct 5 05:46:14 2011 UTC (13 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.48: +2 -2
lines
Diff to previous 1.48 (colored)
Added the option [(COutput) 1] system_varible. ex. x^2+x+1 is output as sm1power(x,2)+x+1
Revision 1.48 / (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.47: +2 -1
lines
Diff to previous 1.47 (colored)
Added a funtion print_tex_form.
Revision 1.47 / (download) - annotate - [select for diffs], Tue Sep 27 06:10:44 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.46: +3 -2
lines
Diff to previous 1.46 (colored)
Any character can be used as a separator. sm1>[(stringToArgv2) (abc ; pqr) (;)] extension :: [ $abc $ , $ pqr$ ]
Revision 1.46 / (download) - annotate - [select for diffs], Tue Sep 27 05:46:50 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.45: +3 -1
lines
Diff to previous 1.45 (colored)
stringToArgv decomposes a given string to a set of words. sm1>[(stringToArgv) (hoge hoge fuge )] extension /ff set ; sm1>ff :: [ $hoge$ , $hoge$ , $fuge$ ]
Revision 1.45 / (download) - annotate - [select for diffs], Mon Jul 18 10:55:16 2005 UTC (19 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.44: +2 -1
lines
Diff to previous 1.44 (colored)
Error messages are returned by XML from the server. Example: (ox.sm1) run sm1connectr oxsm1.ccc (1 shell 1 2 add ) oxsubmit oxsm1.ccc oxpopcmo :: Class.ErrorPacket [ 12 , -1 , $<ox103:error_message><ox103:message>executeString: Usage:length</ox103:message><ox103:stack_trace>Trace: length<-shell<-;</ox103:stack_trace><ox103:source_trace>1 shell 1 2 add</ox103:source_trace></ox103:error_message>$ ]
Revision 1.44 / (download) - annotate - [select for diffs], Thu Jun 16 06:54:55 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.43: +2 -2
lines
Diff to previous 1.43 (colored)
The new option gbCheck is added.
sm1> [(x0,x1) ring_of_polynomials 0] define_ring
[(x0^2+x1^2-h^2). (x0 x1 -4 h^2).] /ff set ;
sm1>[ff [(gbCheck)]] groebner /gg set ;
3.gbCheck failed.
Note that the result is NOT groebner basis.
Completed.
sm1>gg getAttributeList ::
[ $gb$ , 0 ]
Revision 1.43 / (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.42: +3 -3
lines
Diff to previous 1.42 (colored)
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.42 / (download) - annotate - [select for diffs], Wed Jun 15 02:22:51 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.41: +6 -1
lines
Diff to previous 1.41 (colored)
Added usages for getAttributeList and putAttributeList. Checked performaces of new object design.
Revision 1.41 / (download) - annotate - [select for diffs], Thu Jun 9 04:09:22 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.40: +4 -2
lines
Diff to previous 1.40 (colored)
Added a new option reduceOnly to get the reduced basis from a Grobner basis. Example: (cohom.sm1) run [ [[1 1 1 1] [0 1 3 4]] [1 2]] gkz gb 0 get /ff set [ff [(reduceOnly)]] groebner_sugar 0 get /gg set gg is the reduced Grobner basis.
Revision 1.40 / (download) - annotate - [select for diffs], Tue Dec 21 03:25:04 2004 UTC (20 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.39: +2 -1
lines
Diff to previous 1.39 (colored)
rm fname --> unlink(fname) in order to be OS independent.
Revision 1.39 / (download) - annotate - [select for diffs], Tue Nov 23 01:37:47 2004 UTC (20 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.38: +2 -1
lines
Diff to previous 1.38 (colored)
GET method ---> POST method.
Revision 1.38 / (download) - annotate - [select for diffs], Fri Sep 17 12:32:11 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.37: +2 -1
lines
Diff to previous 1.37 (colored)
A bug fix of ox_launch via ssh. My hostname was not passed to the remote ox command.
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 -2
lines
Diff to previous 1.36 (colored)
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 23:53:44 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.35: +3 -2
lines
Diff to previous 1.35 (colored)
Several small changes.
1. Changed an algorithm of oxGenPass.
2. The operator "." is equivalent to "exec" when the argument is an executable
array. Example. { 1 2 add }. message
3. The function [(or_attrs) literal] extension is added.
In strictMode in var.sm1, or_attrs is called instead of chattrs to
protect all pre-defined symbols. The function strictMode is called
from k0 when it starts.
Revision 1.35 / (download) - annotate - [select for diffs], Tue Sep 14 01:57:15 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.34: +2 -1
lines
Diff to previous 1.34 (colored)
usages accepts regular expressions. Example: sm1>[(.*[Aa]rray.*)] usages :: $[isArray , ExecutableArrayP , ArrayP , maxInArray , arrayToList , listToArray]$ A new function for regular expressions: [(regexec) regular_expression string_array] extension
Revision 1.34 / (download) - annotate - [select for diffs], Sun Sep 12 01:32:08 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.33: +2 -1
lines
Diff to previous 1.33 (colored)
Introducing infix operators. Step 4.
Infix operators work in the top level.
/+ { add } def
[(or_attr) 4 /+] extension
[ 3 + 4 ] ::
Revision 1.33 / (download) - annotate - [select for diffs], Sat Sep 11 12:13:41 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.32: +2 -1
lines
Diff to previous 1.32 (colored)
Starting of introducing infix operators in sm1.
The introduction requires a global change of executeToken() and may
cause serious bugs.
So, the commits will be done step by step.
Step1.
"getattr" is introduced.
/ff { (hello) message } def
[(chattr) 2 /ff] extension
[(getattr) /ff] extension ::
Revision 1.32 / (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.31: +4 -1
lines
Diff to previous 1.31 (colored)
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.31 / (download) - annotate - [select for diffs], Sun Sep 5 07:42:43 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.30: +2 -2
lines
Diff to previous 1.30 (colored)
Changed the specification of exponents-gbext. See (gbext) usage.
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: +3 -1
lines
Diff to previous 1.29 (colored)
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], Fri Jul 30 11:21:55 2004 UTC (20 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.28: +16 -12
lines
Diff to previous 1.28 (colored)
[(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.28 / (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.27: +3 -1
lines
Diff to previous 1.27 (colored)
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.27 / (download) - annotate - [select for diffs], Wed Dec 3 09:00:46 2003 UTC (21 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.26: +2 -1
lines
Diff to previous 1.26 (colored)
The first simple version of oxshell.
Example:
/afo
[(POINTS) nl
(1 0 0) nl
(1 1 0) nl
(1 0 1) nl
(1 1 1) nl
] cat
def
[(polymake) (stringInOut://afo.poly) (FACETS)] oxshell
Revision 1.26 / (download) - annotate - [select for diffs], Wed Dec 3 01:21:43 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.25: +4 -1
lines
Diff to previous 1.25 (colored)
The command shell:which is moved to a part of the primitive command oxshell.
Revision 1.25 / (download) - annotate - [select for diffs], Thu Nov 20 09:20:36 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.24: +2 -2
lines
Diff to previous 1.24 (colored)
QuoteMode(1) sets the parser in the quotemode; if unknown function symbol
comes, it automatically translates the expression into a tree.
Example: class polymake extends PrimitiveObject {local ; def hogera() { return(1);} }
QuoteMode(1); polymake.foo(1,2):
QuoteMode(0) turns off the quotemode.
Revision 1.24 / (download) - annotate - [select for diffs], Mon Nov 17 00:28:13 2003 UTC (21 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.23: +3 -1
lines
Diff to previous 1.23 (colored)
Added examples for the manual entry plugin-cmo.
Revision 1.23 / (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.22: +2 -1
lines
Diff to previous 1.22 (colored)
ecart.gb accepts [(sugar) 1] option (experimental).
Revision 1.22 / (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.21: +4 -1
lines
Diff to previous 1.21 (colored)
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.21 / (download) - annotate - [select for diffs], Tue Aug 26 07:42:52 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.20: +4 -1
lines
Diff to previous 1.20 (colored)
Added comments on the side effect of homogenize with a degree shift.
Revision 1.20 / (download) - annotate - [select for diffs], Sun Aug 24 05:19:43 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.19: +18 -2
lines
Diff to previous 1.19 (colored)
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.19 / (download) - annotate - [select for diffs], Sat Aug 23 02:28:39 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.18: +5 -1
lines
Diff to previous 1.18 (colored)
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.18 / (download) - annotate - [select for diffs], Fri Aug 22 11:47:03 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.17: +8 -2
lines
Diff to previous 1.17 (colored)
init returns the initial term. See (init) usage for details.
Revision 1.17 / (download) - annotate - [select for diffs], Thu Aug 21 04:45:40 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.16: +2 -1
lines
Diff to previous 1.16 (colored)
[(DoCancel) 4] system_variable turns on the content reduction strategy in reduction1, too.
Revision 1.16 / (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.15: +5 -1
lines
Diff to previous 1.15 (colored)
[(DoCancel) 1 or 2] system_variable turns on the content reduction strategy for standard reduction, too.
Revision 1.15 / (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.14: +2 -1
lines
Diff to previous 1.14 (colored)
[(ReduceContent) f] gbext cancels gcd of the coefficients. [(DoCancel) 1] turns on the content reduction for ecartd.gb
Revision 1.14 / (download) - annotate - [select for diffs], Thu Jul 17 23:37:02 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.13: +2 -2
lines
Diff to previous 1.13 (colored)
[(EcartAutomaticHomogenization) 1] system_variable makes automatic homogenization of the arguments of reduction_ecart().
Revision 1.13 / (download) - annotate - [select for diffs], Thu Jul 17 07:33:03 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.12: +2 -2
lines
Diff to previous 1.12 (colored)
Several fixes for ecart division for D. (preparation for the next commit.)
Revision 1.12 / (download) - annotate - [select for diffs], Thu Jul 10 05:01:41 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.11: +2 -2
lines
Diff to previous 1.11 (colored)
A global optional variable "TangentCone" is added.
Revision 1.11 / (download) - annotate - [select for diffs], Sun Nov 10 07:00:05 2002 UTC (22 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.10: +2 -1
lines
Diff to previous 1.10 (colored)
It was possible to exploit any file through httpd on Kan/sm1 under some conditions. The vulnerability is now removed.
Revision 1.10 / (download) - annotate - [select for diffs], Mon Nov 4 10:53:56 2002 UTC (22 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.9: +5 -1
lines
Diff to previous 1.9 (colored)
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], Thu Oct 24 05:19:50 2002 UTC (22 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.8: +2 -1
lines
Diff to previous 1.8 (colored)
[(regionMatches) string stringArray] extension finds words in the stringArray in the string. Example: [(regionMatches) (Hello world) [(llo) (morning)]] extension returns [2 (llo) 0].
Revision 1.8 / (download) - annotate - [select for diffs], Tue Aug 21 14:12:46 2001 UTC (23 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.7: +2 -1
lines
Diff to previous 1.7 (colored)
[(ostype)] extension tells the underlying operating system for kan/sm1 is windows or unix.
Revision 1.7 / (download) - annotate - [select for diffs], Fri May 4 01:06:26 2001 UTC (23 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.6: +7 -7
lines
Diff to previous 1.6 (colored)
indent-region and untabify.
Revision 1.6 / (download) - annotate - [select for diffs], Thu Jun 8 08:35:03 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3
Changes since 1.5: +3 -1
lines
Diff to previous 1.5 (colored)
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.5 / (download) - annotate - [select for diffs], Thu Mar 9 12:04:52 2000 UTC (24 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_1_2
Changes since 1.4: +2 -2
lines
Diff to previous 1.4 (colored)
Size of a file can be obtained by [(stat) (filename)] extension.
Revision 1.4 / (download) - annotate - [select for diffs], Thu Feb 24 12:33:47 2000 UTC (24 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.3: +2 -2
lines
Diff to previous 1.3 (colored)
The option for security level is introduced to work as a server for web cite. If you turn on the secure option by [(SecureMode) 1] system_variable, then you cannot execute shell commands, cannot open files, and cannot open TCP/IP ports. Once you turn on the option, you cannot turn off.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Feb 24 00:27:12 2000 UTC (24 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.2: +11 -10
lines
Diff to previous 1.2 (colored)
The option "[(AutoReduce) 1] system_variable" autoreduces the groebner bases generated by groebner, groebner_sugar, gb, syz, .... In view of efficiency, it is still experimental.
Revision 1.2 / (download) - annotate - [select for diffs], Sun Nov 7 13:24:20 1999 UTC (25 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.1: +2 -1
lines
Diff to previous 1.1 (colored)
A new command
[(LeftBrace) "{"] system_variable
is added.
The arrays are usually enclosed by [ and ], but you can change them
by this command. (note: it is for ToExpression[] of Mathematica)
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 (colored)
o import OpenXM sources
Revision 1.1 / (download) - annotate - [select for diffs], Fri Oct 8 02:12:01 1999 UTC (25 years, 2 months ago) by maekawa
Branch: MAIN
Initial revision