version 1.1, 1999/10/08 02:12:02 |
version 1.3, 2000/02/02 09:07:59 |
|
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.2 1999/11/08 00:16:05 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 9/8, 1999. ) message } ifelse |
{ (macro package : dr.sm1, 9/26,1995 --- Version 2/2, 2000. ) message } ifelse |
|
|
/ctrlC-hook { |
/ctrlC-hook { |
%%% define your own routing in case of error. |
%%% define your own routing in case of error. |
|
|
/obj arg1 def |
/obj arg1 def |
obj isArray |
obj isArray |
{ |
{ |
( [ ) |
[(LeftBracket)] system_variable %%( [ ) |
obj {toString.tmp2} map /r set |
obj {toString.tmp2} map /r set |
/n r length 1 sub def |
/n r length 1 sub def |
[0 1 n { |
[0 1 n { |
|
|
ifelse |
ifelse |
} for |
} for |
] aload length cat_n |
] aload length cat_n |
( ] ) |
[(RightBracket)] system_variable %%( ] ) |
3 cat_n |
3 cat_n |
} |
} |
{ |
{ |
|
|
] pop |
] pop |
popVariables |
popVariables |
arg1 |
arg1 |
|
} 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 |
} def |
|
|
/message-quiet { |
/message-quiet { |