version 1.2, 2000/12/10 02:25:31 |
version 1.4, 2000/12/10 09:34:27 |
Line 213 argsize (1).. eq |
|
Line 213 argsize (1).. eq |
|
%% if-condition |
%% if-condition |
{ %%ifbody |
{ %%ifbody |
[ vList ring_of_differential_operators ( ) elimination_order 0 ] define_ring |
[ vList ring_of_differential_operators ( ) elimination_order 0 ] define_ring |
/tmp set tmp /FunctionValue set {/ExitPoint goto} exec %%return |
/tmp set this [ %% function args |
|
] {SetRingVariables} sendmsg2 |
|
tmp /FunctionValue set {/ExitPoint goto} exec %%return |
}%%end if if body |
}%%end if if body |
{ %%if- else part |
{ %%if- else part |
} ifelse |
} ifelse |
|
|
new0 [i ] newtmp Put |
new0 [i ] newtmp Put |
} for |
} for |
[ vList ring_of_differential_operators new0 weight_vector pp ] define_ring /ringpp set |
[ vList ring_of_differential_operators new0 weight_vector pp ] define_ring /ringpp set |
|
this [ %% function args |
|
] {SetRingVariables} sendmsg2 |
@@@.indexMode.flag.save @@@.indexMode ringpp /FunctionValue set {/ExitPoint goto} exec %%return |
@@@.indexMode.flag.save @@@.indexMode ringpp /FunctionValue set {/ExitPoint goto} exec %%return |
/ExitPoint ]pop popVariables %%pop the local variables |
/ExitPoint ]pop popVariables %%pop the local variables |
/ExitPoint ]pop popVariables %%pop argValues |
/ExitPoint ]pop popVariables %%pop argValues |
Line 307 FunctionValue } def |
|
Line 311 FunctionValue } def |
|
FunctionValue } def |
FunctionValue } def |
%%end of function |
%%end of function |
|
|
true /SetRingVariables_Verbose set |
false /SetRingVariables_Verbose set |
/SetRingVariables { |
/SetRingVariables { |
db.DebugStack setstack $In function : SetRingVariables of class PrimitiveObject$ stdstack |
db.DebugStack setstack $In function : SetRingVariables of class PrimitiveObject$ stdstack |
/Arglist set /Argthis set /FunctionValue [ ] def |
/Arglist set /Argthis set /FunctionValue [ ] def |
Line 321 this [ %% function args |
|
Line 325 this [ %% function args |
|
{ %%if- else part |
{ %%if- else part |
} ifelse |
} ifelse |
this [ %% function args |
this [ %% function args |
(0).. [(CC)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2 |
(0).. [(N)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2 |
this [ %% function args |
%% if-condition |
[(C)] system_variable (universalNumber) dc [(LL)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2 |
{ %%ifbody |
this [ %% function args |
define_ring_variables }%%end if if body |
[(L)] system_variable (universalNumber) dc [(MM)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2 |
{ %%if- else part |
this [ %% function args |
} ifelse |
[(M)] system_variable (universalNumber) dc [(NN)] system_variable (universalNumber) dc ] {k00setRingVariables} sendmsg2 |
|
SetRingVariables_Verbose %% if-condition |
SetRingVariables_Verbose %% if-condition |
{ %%ifbody |
{ %%ifbody |
this [ %% function args |
this [ %% function args |
Line 371 FunctionValue } def |
|
Line 374 FunctionValue } def |
|
/k00setRingVariables { |
/k00setRingVariables { |
db.DebugStack setstack $In function : k00setRingVariables of class PrimitiveObject$ stdstack |
db.DebugStack setstack $In function : k00setRingVariables of class PrimitiveObject$ stdstack |
/Arglist set /Argthis set /FunctionValue [ ] def |
/Arglist set /Argthis set /FunctionValue [ ] def |
[/this /tmp002_p /tmp002_q ] /ArgNames set ArgNames pushVariables [ %%function body |
[/this /p /q ] /ArgNames set ArgNames pushVariables [ %%function body |
[Argthis] Arglist join ArgNames mapset |
[Argthis] Arglist join ArgNames mapset |
[ %%start of local variables |
[ %%start of local variables |
/tmp002_i /tmp002_v /tmp002_str ] pushVariables [ %%local variables |
/v /i ] pushVariables [ %%local variables |
tmp002_p %%PSfor initvalue. |
p /i set |
(integer) data_conversion |
%%for init. |
tmp002_q (1).. sub (integer) data_conversion 1 2 -1 roll |
%%for |
{ %% for body |
{ i q lt |
(universalNumber) data_conversion /tmp002_i set |
{ } {exit} ifelse |
|
[ {%%increment |
|
/i i (1).. {add} sendmsg2 def |
|
} %%end of increment{A} |
|
{%%start of B part{B} |
this [ %% function args |
this [ %% function args |
tmp002_i ] {getxvar} sendmsg2 |
i ] {getxvar} sendmsg2 |
/tmp002_v set |
/v set |
this [ %% function args |
this [ %% function args |
tmp002_v ] {k00AreThereLeftBrace} sendmsg2 |
v ] {k00AreThereLeftBrace} sendmsg2 |
%% if-condition |
%% if-condition |
{ %%ifbody |
{ %%ifbody |
|
false /FunctionValue set {/ExitPoint goto} exec %%return |
}%%end if if body |
}%%end if if body |
{ %%if- else part |
{ %%if- else part |
SetRingVariables_Verbose %% if-condition |
|
{ %%ifbody |
|
this [ %% function args |
|
tmp002_v ] {Print} sendmsg2 |
|
this [ %% function args |
|
( ) ] {Print} sendmsg2 |
|
}%%end if if body |
|
{ %%if- else part |
|
} ifelse |
} ifelse |
this [ %% function args |
this [ %% function args |
[ (/) tmp002_v ( $) tmp002_v ($ (poly) data_conversion def ) ] ] {AddString} sendmsg2 |
i ] {getdvar} sendmsg2 |
/str set |
/v set |
[(parse) str ] extension } ifelse |
|
this [ %% function args |
this [ %% function args |
tmp002_i ] {getdvar} sendmsg2 |
v ] {k00AreThereLeftBrace} sendmsg2 |
/tmp002_v set |
|
this [ %% function args |
|
tmp002_v ] {k00AreThereLeftBrace} sendmsg2 |
|
%% if-condition |
%% if-condition |
{ %%ifbody |
{ %%ifbody |
|
false /FunctionValue set {/ExitPoint goto} exec %%return |
}%%end if if body |
}%%end if if body |
{ %%if- else part |
{ %%if- else part |
SetRingVariables_Verbose %% if-condition |
|
{ %%ifbody |
|
this [ %% function args |
|
tmp002_v ] {Print} sendmsg2 |
|
this [ %% function args |
|
( ) ] {Print} sendmsg2 |
|
}%%end if if body |
|
{ %%if- else part |
|
} ifelse |
} ifelse |
this [ %% function args |
} %% end of B part. {B} |
[ (/) tmp002_v ( $) tmp002_v ($ (poly) data_conversion def ) ] ] {AddString} sendmsg2 |
2 1 roll] {exec} map pop |
/str set |
} loop %%end of for |
[(parse) str ] extension } ifelse |
true /FunctionValue set {/ExitPoint goto} exec %%return |
} for |
|
/ExitPoint ]pop popVariables %%pop the local variables |
/ExitPoint ]pop popVariables %%pop the local variables |
/ExitPoint ]pop popVariables %%pop argValues |
/ExitPoint ]pop popVariables %%pop argValues |
db.DebugStack setstack pop stdstack |
db.DebugStack setstack pop stdstack |
} def |
FunctionValue } def |
%%end of function |
%%end of function |
|
|
/AddString { |
/AddString { |
Line 728 FunctionValue } def |
|
Line 716 FunctionValue } def |
|
|
|
this [ %% function args |
this [ %% function args |
[ (GetEnv) [ (GetEnv(s) returns the value of the environmental variable s (string s).) ] ] ] {HelpAdd} sendmsg2 |
[ (GetEnv) [ (GetEnv(s) returns the value of the environmental variable s (string s).) ] ] ] {HelpAdd} sendmsg2 |
|
/Boundp { |
|
db.DebugStack setstack $In function : Boundp of class PrimitiveObject$ stdstack |
|
/Arglist set /Argthis set /FunctionValue [ ] def |
|
[/this /a ] /ArgNames set ArgNames pushVariables [ %%function body |
|
[Argthis] Arglist join ArgNames mapset |
|
[ %%start of local variables |
|
/b ] pushVariables [ %%local variables |
|
[(parse) [(/) a ( load tag 0 eq |
|
{ /FunctionValue 0 def } |
|
{ /FunctionValue 1 def } ifelse )] cat ] extension /ExitPoint ]pop popVariables %%pop the local variables |
|
/ExitPoint ]pop popVariables %%pop argValues |
|
db.DebugStack setstack pop stdstack |
|
FunctionValue } def |
|
%%end of function |
|
|
|
this [ %% function args |
|
[ (Boundp) [ (Boundp(s) checks if the symbol s is bounded to a value or not (string s).) ] ] ] {HelpAdd} sendmsg2 |
|
/Rest { |
|
db.DebugStack setstack $In function : Rest of class PrimitiveObject$ stdstack |
|
/Arglist set /Argthis set /FunctionValue [ ] def |
|
[/this /a ] /ArgNames set ArgNames pushVariables [ %%function body |
|
[Argthis] Arglist join ArgNames mapset |
|
a rest /FunctionValue set /ExitPoint ]pop popVariables %%pop argValues |
|
db.DebugStack setstack pop stdstack |
|
FunctionValue } def |
|
%%end of function |
|
|
|
this [ %% function args |
|
[ (Rest) [ (Rest(a) returns the rest (cdr) of a (list a).) ] ] ] {HelpAdd} sendmsg2 |
|
/GetPathName { |
|
db.DebugStack setstack $In function : GetPathName of class PrimitiveObject$ stdstack |
|
/Arglist set /Argthis set /FunctionValue [ ] def |
|
[/this /s ] /ArgNames set ArgNames pushVariables [ %%function body |
|
[Argthis] Arglist join ArgNames mapset |
|
[ %%start of local variables |
|
/t /sss ] pushVariables [ %%local variables |
|
s /sss set |
|
[(stat) s] extension 0 get /t set this [ %% function args |
|
t ] {Tag} sendmsg2 |
|
(0).. eq |
|
%% if-condition |
|
{ %%ifbody |
|
this [ %% function args |
|
[ this [ %% function args |
|
(LOAD_K_PATH) ] {GetEnv} sendmsg2 |
|
(/) s ] ] {AddString} sendmsg2 |
|
/s set |
|
[(stat) s] extension 0 get /t set this [ %% function args |
|
t ] {Tag} sendmsg2 |
|
(0).. eq |
|
%% if-condition |
|
{ %%ifbody |
|
null /FunctionValue set {/ExitPoint goto} exec %%return |
|
}%%end if if body |
|
{ %%if- else part |
|
s /FunctionValue set {/ExitPoint goto} exec %%return |
|
} ifelse |
|
}%%end if if body |
|
{ %%if- else part |
|
s /FunctionValue set {/ExitPoint goto} exec %%return |
|
} ifelse |
|
/ExitPoint ]pop popVariables %%pop the local variables |
|
/ExitPoint ]pop popVariables %%pop argValues |
|
db.DebugStack setstack pop stdstack |
|
FunctionValue } def |
|
%%end of function |
|
|
|
this [ %% function args |
|
[ (GetPathName) [ (GetPathName(s) checks if the file s exists in the current directory or) (in LOAD_K_PATH. If there exists, it returns the path name (string s).) ] ] ] {HelpAdd} sendmsg2 |
|
/Load_sm1 { |
|
db.DebugStack setstack $In function : Load_sm1 of class PrimitiveObject$ stdstack |
|
/Arglist set /Argthis set /FunctionValue [ ] def |
|
[/this /fnames /flag ] /ArgNames set ArgNames pushVariables [ %%function body |
|
[Argthis] Arglist join ArgNames mapset |
|
[ %%start of local variables |
|
/ppp /n /i /cmd ] pushVariables [ %%local variables |
|
this [ %% function args |
|
flag ] {Boundp} sendmsg2 |
|
%% if-condition |
|
{ %%ifbody |
|
}%%end if if body |
|
{ %%if- else part |
|
this [ %% function args |
|
fnames ] {Length} sendmsg2 |
|
/n set |
|
(0).. /i set |
|
%%for init. |
|
%%for |
|
{ i n lt |
|
{ } {exit} ifelse |
|
[ {%%increment |
|
/i i (1).. {add} sendmsg2 def |
|
} %%end of increment{A} |
|
{%%start of B part{B} |
|
this [ %% function args |
|
fnames [i ] Get |
|
] {GetPathName} sendmsg2 |
|
/ppp set |
|
this [ %% function args |
|
ppp ] {Tag} sendmsg2 |
|
(0).. eq not |
|
%% if-condition |
|
{ %%ifbody |
|
[(parse) ppp pushfile ] extension this [ %% function args |
|
[ (/) flag ( 1 def ) ] ] {AddString} sendmsg2 |
|
/cmd set |
|
[(parse) cmd ] extension n /i set |
|
}%%end if if body |
|
{ %%if- else part |
|
} ifelse |
|
} %% end of B part. {B} |
|
2 1 roll] {exec} map pop |
|
} loop %%end of for |
|
} ifelse |
|
/ExitPoint ]pop popVariables %%pop the local variables |
|
/ExitPoint ]pop popVariables %%pop argValues |
|
db.DebugStack setstack pop stdstack |
|
FunctionValue } def |
|
%%end of function |
|
|
|
this [ %% function args |
|
[ (Load_sm1) [ (Load_sm1(s,flag) loads a sm1 program from s[0], s[1], ....) (If loading is succeeded, the already-loaded flag is set to true.) ((list s, string flag).) ] ] ] {HelpAdd} sendmsg2 |