CVS log for OpenXM/src/kan96xx/Kan/dr.sm1

Up to [local] / OpenXM / src / kan96xx / Kan

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.56 / (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, HEAD
Changes since 1.55: +3 -2 lines
Diff to previous 1.55 (unified)

sm1log stores date info.

Revision 1.55 / (download) - annotate - [select for diffs], Sun Sep 22 01:06:20 2013 UTC (11 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.54: +15 -2 lines
Diff to previous 1.54 (unified)

Added a function sm1log to store logs.

Revision 1.54 / (download) - annotate - [select for diffs], Sat Jan 26 10:48:26 2013 UTC (11 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.53: +43 -1 lines
Diff to previous 1.53 (unified)

Added a macro univ2poly
which translates univ numbers in the argument to an element of the ring.
Ex. [(x). (0)..] univ2poly {tag} map ::

Revision 1.53 / (download) - annotate - [select for diffs], Sat Feb 4 02:44:39 2006 UTC (18 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_2_3_12, KNOPPIX_2006, DEB_REL_1_2_3-9
Changes since 1.52: +40 -1 lines
Diff to previous 1.52 (unified)

localizedString returns a translation of a given message.
See changelog-ja.tex for details.

Revision 1.52 / (download) - annotate - [select for diffs], Mon Nov 21 09:12:22 2005 UTC (19 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.51: +18 -1 lines
Diff to previous 1.51 (unified)

Added a new function  getFileType and made related changes.
Fixed a bug to get a formula in pretty format.

Revision 1.51 / (download) - annotate - [select for diffs], Thu Jun 23 03:23:27 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.50: +4 -3 lines
Diff to previous 1.50 (unified)

Small changes in usages.

Revision 1.50 / (download) - annotate - [select for diffs], Thu Jun 16 08:40:04 2005 UTC (19 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.49: +31 -1 lines
Diff to previous 1.49 (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.49 / (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.48: +50 -1 lines
Diff to previous 1.48 (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.48 / (download) - annotate - [select for diffs], Sun Feb 27 05:28:06 2005 UTC (19 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.47: +9 -2 lines
Diff to previous 1.47 (unified)

toTokenBySpace (written in the sm1 language) is now
written in C.

Revision 1.47 / (download) - annotate - [select for diffs], Mon Sep 20 02:11:22 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.46: +13 -2 lines
Diff to previous 1.46 (unified)

Added a new data type SbyteArray.

Revision 1.46 / (download) - annotate - [select for diffs], Fri Sep 17 00:47:08 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.45: +3 -2 lines
Diff to previous 1.45 (unified)

The function .. is equivalent to exec when the argument is an executable
array. The function "." works only for expanding polynomials (undo).

Revision 1.45 / (download) - annotate - [select for diffs], Fri Sep 17 00:10:41 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.44: +13 -1 lines
Diff to previous 1.44 (unified)

Infix operators ~add~, ~sub~, ~mul~, ~div~, ~power~, ~put~ are introduced.
Example:
  sm1>/a [1,2,3] def ;
  sm1>a[0] ~put~ {2 ~mul~ {1 ~add~ 1}} ;
  sm1>a ::
[    4 , 2 , 3 ]

Revision 1.44 / (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.43: +2 -4 lines
Diff to previous 1.43 (unified)

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.43 / (download) - annotate - [select for diffs], Tue Sep 14 10:50:49 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.42: +23 -6 lines
Diff to previous 1.42 (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.42 / (download) - annotate - [select for diffs], Tue Sep 14 02:13:29 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.41: +29 -7 lines
Diff to previous 1.41 (unified)

Added new function
  a b setMinus c

Revision 1.41 / (download) - annotate - [select for diffs], Tue Sep 14 02:02:02 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.40: +2 -2 lines
Diff to previous 1.40 (unified)

Forgot to sort the result.

Revision 1.40 / (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.39: +15 -3 lines
Diff to previous 1.39 (unified)

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.39 / (download) - annotate - [select for diffs], Sun Sep 12 02:47:45 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.38: +12 -1 lines
Diff to previous 1.38 (unified)

Introducing infix operators. Step 7.
The macro makeInfix adds the attribute ATTR_INFIX (4) to the argument.

Example:

sm1>/+ { add } def ;
sm1>/+ makeInfix ;
sm1>/s 0 def 1 1 100 { /i set s + i /s set } for ;
sm1>s ::
5050

sm1>0 { 1 + 2 /s set } { 1 + 1 /s set } ifelse s message ;
2

sm1>[ 1 2 3 ] { /i set i + 2 } map ::
[    3 , 4 , 5 ]

sm1>{ 1 + 2 } exec ::
3

Revision 1.38 / (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.37: +51 -1 lines
Diff to previous 1.37 (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.37 / (download) - annotate - [select for diffs], Fri Sep 10 13:20:23 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.36: +34 -34 lines
Diff to previous 1.36 (unified)

, is treated as a space.
,, (parse in a given ring) is changed to __
,,, (reparse a polynomial) is changed to ___

Revision 1.36 / (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.35: +14 -1 lines
Diff to previous 1.35 (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.35 / (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.34: +3 -3 lines
Diff to previous 1.34 (unified)

join and rest call C functions Kjoin() and Krest() instead of
sm1 macros.

Revision 1.34 / (download) - annotate - [select for diffs], Wed Sep 1 05:06:09 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.33: +5 -1 lines
Diff to previous 1.33 (unified)

transpose accepts [ ].

Revision 1.33 / (download) - annotate - [select for diffs], Tue Aug 31 05:30:20 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.32: +34 -6 lines
Diff to previous 1.32 (unified)

to_int ==> to_int32.

Revision 1.32 / (download) - annotate - [select for diffs], Tue Aug 31 04:45:42 2004 UTC (20 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.31: +6 -2 lines
Diff to previous 1.31 (unified)

The macros weight_vector, ecart.weight_vector, ord_w, ... accept
weights in Z, which are translated into int32.

Revision 1.31 / (download) - annotate - [select for diffs], Fri Aug 27 08:33:27 2004 UTC (20 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.30: +43 -1 lines
Diff to previous 1.30 (unified)

New operator: getNode
ob key getNode
ob is a class object.
The operator getNode returns the node with the key in ob.
The node is an array of the format [key attr-list node-list]
Example:
  /dog [(dog) [[(legs) 4] ] [ ]] [(class) (tree)] dc def
  /man [(man) [[(legs) 2] ] [ ]] [(class) (tree)] dc def
  /ma [(mammal) [ ] [man dog]] [(class) (tree)] dc def
  ma (dog) getNode

Revision 1.30 / (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.29: +39 -11 lines
Diff to previous 1.29 (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.29 / (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.28: +230 -1 lines
Diff to previous 1.28 (unified)

Added functions for Q;
lcm, gcd, numerator, denominator, to_univNum, cancel.

Revision 1.28 / (download) - annotate - [select for diffs], Thu May 13 05:33:10 2004 UTC (20 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.27: +5 -5 lines
Diff to previous 1.27 (unified)

(H) is refined by @@@.Hsymbol.

Revision 1.27 / (download) - annotate - [select for diffs], Thu Apr 29 11:20:37 2004 UTC (20 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.26: +19 -1 lines
Diff to previous 1.26 (unified)

New macro:  ,,,
   ,,, translates a polynomial or polynomials into a string or strings
   and parse it or them in the current ring.
Example:
  [(x). [(x^2) (1).]] ,,, ::

Revision 1.26 / (download) - annotate - [select for diffs], Sat Dec 6 02:49:22 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.25: +8 -3 lines
Diff to previous 1.25 (unified)

Supporting -,*,/,^ in the QuoteMode.

Revision 1.25 / (download) - annotate - [select for diffs], Thu Dec 4 05:27:19 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.24: +5 -1 lines
Diff to previous 1.24 (unified)

Some redirection operators are implemented.
Example:
 [(ls) (hoge) (2>) (stringOut://afo)] oxshell
    afo ::

Revision 1.24 / (download) - annotate - [select for diffs], Sat Sep 13 13:14:03 2003 UTC (21 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.23: +47 -1 lines
Diff to previous 1.23 (unified)

"usages" returns help messages as a string object.

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: +5 -1 lines
Diff to previous 1.22 (unified)

ecart.gb accepts [(sugar) 1] option  (experimental).

Revision 1.22 / (download) - annotate - [select for diffs], Tue Aug 26 12:46:04 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.21: +30 -1 lines
Diff to previous 1.21 (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.21 / (download) - annotate - [select for diffs], Sun Aug 24 05:25:58 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20 (unified)

Fixed a typo.

Revision 1.20 / (download) - annotate - [select for diffs], Sun Aug 24 05:19:42 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.19: +2 -1 lines
Diff to previous 1.19 (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.19 / (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.18: +22 -1 lines
Diff to previous 1.18 (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.18 / (download) - annotate - [select for diffs], Wed Aug 20 01:39:16 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.17: +5 -1 lines
Diff to previous 1.17 (unified)

[(ReduceContent) f] gbext cancels gcd of the coefficients.
[(DoCancel) 1] turns on the content reduction for ecartd.gb

Revision 1.17 / (download) - annotate - [select for diffs], Thu Jul 17 23:37:01 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.16: +2 -1 lines
Diff to previous 1.16 (unified)

[(EcartAutomaticHomogenization) 1] system_variable
   makes automatic homogenization of the arguments of reduction_ecart().

Revision 1.16 / (download) - annotate - [select for diffs], Thu Jul 17 12:11:09 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.15: +4 -1 lines
Diff to previous 1.15 (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.15 / (download) - annotate - [select for diffs], Thu Jul 17 09:10:54 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.14: +25 -1 lines
Diff to previous 1.14 (unified)

A very experimental implementation of the ecart division algorithm.

Revision 1.14 / (download) - annotate - [select for diffs], Mon Jul 14 12:49:51 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.13: +15 -1 lines
Diff to previous 1.13 (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], Fri May 16 08:58:52 2003 UTC (21 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.12: +8 -6 lines
Diff to previous 1.12 (unified)

ff [v1 w1 v2 w2 ... vm wm] ord_w d
poly ff; string v1; integer w1; ...
order of ff by the weight vector [w1 w2 ...]
Example: [(x,y,t) ring_of_polynomials 0] define_ring
          (x^2 y^3-x-t). [(t) 1 ] ord_w_all ::
cf. f ord_w is for the initial of f.

Revision 1.12 / (download) - annotate - [select for diffs], Thu May 15 00:49:17 2003 UTC (21 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.11: +39 -1 lines
Diff to previous 1.11 (unified)

ord_w_all(f)   returns the maximum of ord_w(f_i) where f_i runs over all terms
of f.

Revision 1.11 / (download) - annotate - [select for diffs], Thu May 15 00:42:07 2003 UTC (21 years, 7 months ago) by takayama
Branch: MAIN
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (unified)

Changed the manual description of ord_w.

Revision 1.10 / (download) - annotate - [select for diffs], Fri Nov 8 14:18:01 2002 UTC (22 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.9: +43 -1 lines
Diff to previous 1.9 (unified)

oxresetAll resets all the clients. If mathcap is not set, the reset
packet will not be sent.

Revision 1.9 / (download) - annotate - [select for diffs], Tue Feb 12 08:54:55 2002 UTC (22 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.8: +2 -2 lines
Diff to previous 1.8 (unified)

Fixed a bug of the macro tolower.

Revision 1.8 / (download) - annotate - [select for diffs], Sat Feb 9 06:21:02 2002 UTC (22 years, 10 months ago) by takayama
Branch: MAIN
Changes since 1.7: +40 -1 lines
Diff to previous 1.7 (unified)

Added new macro
   ring_of_differential_difference_operators

Revision 1.7 / (download) - annotate - [select for diffs], Fri Dec 29 07:19:38 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.6: +8 -1 lines
Diff to previous 1.6 (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.6 / (download) - annotate - [select for diffs], Sun Dec 10 07:48:42 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.5: +9 -8 lines
Diff to previous 1.5 (unified)

BUG: the variables p, v, v0 could not be allowed to use for
 defined_ring_variables.
The bug is fixed.

Revision 1.5 / (download) - annotate - [select for diffs], Sun Dec 10 03:33:46 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.4: +40 -2 lines
Diff to previous 1.4 (unified)

New sm1 macros:
  define_ring_variables : it binds a variable <<a>> in the current ring to the
sm1 variable <<a>>.
  a boundp b :  If the variable named << a >> is bounded to a value,
it returns 1 else it returns 0.

Revision 1.4 / (download) - annotate - [select for diffs], Thu Jun 15 07:33:29 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6, RELEASE_1_1_3
Changes since 1.3: +29 -2 lines
Diff to previous 1.3 (unified)

obj to_int obj2
All intergers in obj are converted to universalNumber.

Revision 1.3 / (download) - annotate - [select for diffs], Wed Feb 2 09:07:59 2000 UTC (24 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_1_2
Changes since 1.2: +46 -2 lines
Diff to previous 1.2 (unified)

sm1_distraction and sm1_gkz are added to asir-contrib.
As to these notions, see my book.

Revision 1.2 / (download) - annotate - [select for diffs], Mon Nov 8 00:16:05 1999 UTC (25 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.1: +4 -3 lines
Diff to previous 1.1 (unified)

Send the message
 [(LeftBracket) ({)] system_variable [(RightBracket) (})] system_variable
to ox_sm1, then all the arrays are expressed as {1 , 2 , {x^2-1 , -3}} in
the string form, which will be suitable to communicate with Mathematica Client.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Oct 8 02:12:02 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 - [select for diffs], Fri Oct 8 02:12:02 1999 UTC (25 years, 2 months ago) by maekawa
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.