version 1.2, 1999/11/08 00:16:05 |
version 1.4, 2000/06/15 07:33:29 |
|
|
% $OpenXM$ |
% $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 |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% This file is error clean. |
%% This file is error clean. |
|
|
@@@.quiet { } |
@@@.quiet { } |
{ (macro package : dr.sm1, 9/26,1995 --- Version 11/8, 1999. ) message } ifelse |
{ (macro package : dr.sm1, 9/26,1995 --- Version 6/15, 2000. ) message } ifelse |
|
|
/ctrlC-hook { |
/ctrlC-hook { |
%%% define your own routing in case of error. |
%%% define your own routing in case of error. |
|
|
arg1 |
arg1 |
} def |
} def |
|
|
|
/distraction2* { |
|
/arg1 set |
|
[/in-distraction2* /aa /f /vlist /xlist /dlist /slist ] pushVariables |
|
[(CurrentRingp)] pushEnv |
|
[ |
|
/aa arg1 def |
|
/f aa 0 get def |
|
/vlist aa 1 get def |
|
/xlist aa 2 get def |
|
/dlist aa 3 get def |
|
/slist aa 4 get def |
|
vlist isArray |
|
{ |
|
vlist { toString } map /vlist set |
|
} |
|
{ |
|
vlist toString to_records /vlist set |
|
} ifelse |
|
xlist isArray |
|
{ |
|
xlist { toString } map /xlist set |
|
} |
|
{ |
|
xlist toString to_records /xlist set |
|
} ifelse |
|
slist isArray |
|
{ |
|
slist { toString } map /slist set |
|
} |
|
{ |
|
slist toString to_records /slist set |
|
} ifelse |
|
[vlist from_records ring_of_differential_operators 0] define_ring pop |
|
f toString . |
|
xlist { . } map |
|
dlist { toString . } map |
|
slist { toString . } map |
|
distraction2 /arg1 set |
|
] pop |
|
popEnv |
|
popVariables |
|
arg1 |
|
} def |
|
|
/message-quiet { |
/message-quiet { |
@@@.quiet { pop } { message } ifelse |
@@@.quiet { pop } { message } ifelse |
} def |
} def |
Line 3488 $ [ff ff] fromVectors :: $ |
|
Line 3532 $ [ff ff] fromVectors :: $ |
|
[(nl) |
[(nl) |
[(nl is the newline character.) |
[(nl is the newline character.) |
$Example: [(You can break line) nl (here.)] cat message$ |
$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 |
]] putUsages |
|
|
; |
; |