=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v retrieving revision 1.49 retrieving revision 1.51 diff -u -p -r1.49 -r1.51 --- OpenXM/src/kan96xx/Kan/dr.sm1 2005/06/16 06:21:21 1.49 +++ OpenXM/src/kan96xx/Kan/dr.sm1 2005/06/23 03:23:27 1.51 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.48 2005/02/27 05:28:06 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.50 2005/06/16 08:40:04 takayama Exp $ %% dr.sm1 (Define Ring) 1994/9/25, 26 %% This file is error clean. @@ -845,7 +845,7 @@ (one may use the command ) ( f (ring) data_conversion /R set) (cf. define_ring, define_qring, system_variable, poly (ring) data_conversion) - (cf. << __ >>) + (cf. << __ >>, getRing) ] ] putUsages @@ -3463,11 +3463,12 @@ newline } def [(getRing) [(obj getRing rr) - (ring rr;) + (ring rr; ) (getRing obtains the ring structure from obj.) (If obj is a polynomial, it returns the ring structure associated to) (the polynomial.) (If obj is an array, it recursively looks for the ring structure.) + (cf. ring_def) ]] putUsages /toVectors { /arg1 set @@ -4440,6 +4441,36 @@ $ [ff ff] fromVectors :: $ (Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set ) ( ff (gb) getAttribute :: ) ]] putUsages + +% [(gbCheck) 1 (needSyz) 1 (countDown) 100] (attribute format) +% --> [(gbCheck) (needSyz) (countDown) 100] (groebner option format) +% cf. gb +/configureGroebnerOption { + /arg1 set + [/opt /i] pushVariables + [ + /opt arg1 def + opt tag 0 eq { + /arg1 null def + } { + [ + 0 2 opt length 1 sub { + /i set + opt i get + opt i get (countDown) eq { + opt i 1 add get + } { } ifelse + opt i get (stopDegree) eq { + opt i 1 add get + } { } ifelse + } for + ] /arg1 set + } ifelse + ] pop + popVariables + arg1 +} def + ;