=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/kan96xx/Kan/dr.sm1 2000/02/02 09:07:59 1.3 +++ OpenXM/src/kan96xx/Kan/dr.sm1 2000/06/15 07:33:29 1.4 @@ -1,9 +1,9 @@ -% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.2 1999/11/08 00:16:05 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.3 2000/02/02 09:07:59 takayama Exp $ %% dr.sm1 (Define Ring) 1994/9/25, 26 %% This file is error clean. @@@.quiet { } -{ (macro package : dr.sm1, 9/26,1995 --- Version 2/2, 2000. ) message } ifelse +{ (macro package : dr.sm1, 9/26,1995 --- Version 6/15, 2000. ) message } ifelse /ctrlC-hook { %%% define your own routing in case of error. @@ -3532,6 +3532,33 @@ $ [ff ff] fromVectors :: $ [(nl) [(nl is the newline character.) $Example: [(You can break line) nl (here.)] cat message$ +]] putUsages + +/to_int { + /arg1 set + [/to-int /ob /ans] pushVariables + [ + /ob arg1 def + /ans ob def + ob isArray { + ob {to_int} map /ans set + /LLL.to_int goto + } { } ifelse + ob isInteger { + ob (universalNumber) dc /ans set + /LLL.to_int goto + } { } ifelse + /LLL.to_int + /arg1 ans def + ] pop + popVariables + arg1 +} def +[(to_int) +[(obj to_int obj2) + (All integers in obj are changed to universalNumber.) + (Example: /ff [1 2 [(hello) (0).]] def ff { tag } map ::) + ( ff to_int { tag } map :: ) ]] putUsages ;