version 1.22, 2003/08/26 12:46:04 |
version 1.28, 2004/05/13 05:33:10 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.21 2003/08/24 05:25:58 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.27 2004/04/29 11:20:37 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. |
|
|
|
|
} for |
} for |
] /dList set |
] /dList set |
|
|
[(H)] xList join [@@@.esymbol] join /xList set |
[@@@.Hsymbol] xList join [@@@.esymbol] join /xList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[0 %% dummy characteristic |
[0 %% dummy characteristic |
<< xList length >> << xList length >> << xList length >> |
<< xList length >> << xList length >> << xList length >> |
|
|
vars reverse /xList set %[z y x] |
vars reverse /xList set %[z y x] |
vars {@@@.Dsymbol 2 1 roll 2 cat_n} map |
vars {@@@.Dsymbol 2 1 roll 2 cat_n} map |
reverse /dList set %[Dz Dy Dx] |
reverse /dList set %[Dz Dy Dx] |
[(H)] xList join [@@@.esymbol] join /xList set |
[@@@.Hsymbol] xList join [@@@.esymbol] join /xList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[0 1 1 1 << xList length >> |
[0 1 1 1 << xList length >> |
1 1 1 << xList length 1 sub >> ] /param set |
1 1 1 << xList length 1 sub >> ] /param set |
|
|
vars reverse /xList set %[z y x] |
vars reverse /xList set %[z y x] |
vars {@@@.diffEsymbol 2 1 roll 2 cat_n} map |
vars {@@@.diffEsymbol 2 1 roll 2 cat_n} map |
reverse /dList set %[Dz Dy Dx] |
reverse /dList set %[Dz Dy Dx] |
[(H)] xList join [@@@.esymbol] join /xList set |
[@@@.Hsymbol] xList join [@@@.esymbol] join /xList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[0 1 1 << xList length >> << xList length >> |
[0 1 1 << xList length >> << xList length >> |
1 1 << xList length 1 sub >> << xList length >> ] /param set |
1 1 << xList length 1 sub >> << xList length >> ] /param set |
|
|
vars2 reverse |
vars2 reverse |
vars {@@@.Dsymbol 2 1 roll 2 cat_n} map |
vars {@@@.Dsymbol 2 1 roll 2 cat_n} map |
reverse join /dList set %[s2 s1 Dz Dy Dx] |
reverse join /dList set %[s2 s1 Dz Dy Dx] |
[(H)] xList join [@@@.esymbol] join /xList set |
[@@@.Hsymbol] xList join [@@@.esymbol] join /xList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[(h)] dList join [@@@.Esymbol] join /dList set |
[0 1 1 << vars2 length 1 add >> << xList length >> |
[0 1 1 << vars2 length 1 add >> << xList length >> |
1 1 << vars2 length 1 add >> << xList length 1 sub >> ] /param set |
1 1 << vars2 length 1 add >> << xList length 1 sub >> ] /param set |
|
|
/arg1 set |
/arg1 set |
[/f /k /i /ans] pushVariables |
[/f /k /i /ans] pushVariables |
[ |
[ |
/ans (1).. def |
/ans (1).. def |
|
[(QuoteMode)] system_variable { |
|
/f arg1 def /k arg2 def |
|
[(ooPower) f k] extension /ans set |
|
} { |
/f arg1 def /k arg2 ..int def |
/f arg1 def /k arg2 ..int def |
k 0 lt { |
k 0 lt { |
1 1 << 0 k sub >> { |
1 1 << 0 k sub >> { |
|
|
/ans f ans {mul} sendmsg2 def |
/ans f ans {mul} sendmsg2 def |
} for |
} for |
} ifelse |
} ifelse |
/arg1 ans def |
} ifelse |
|
/arg1 ans def |
] pop |
] pop |
popVariables |
popVariables |
arg1 |
arg1 |
Line 3753 $ [ff ff] fromVectors :: $ |
|
Line 3758 $ [ff ff] fromVectors :: $ |
|
] |
] |
] putUsages |
] putUsages |
|
|
|
/ecart.debug_reduction1 0 def |
/beginEcart { |
/beginEcart { |
(red@) (ecart) switch_function |
(red@) (ecart) switch_function |
[(Ecart) 1] system_variable |
[(Ecart) 1] system_variable |
Line 3760 $ [ff ff] fromVectors :: $ |
|
Line 3766 $ [ff ff] fromVectors :: $ |
|
[(ReduceLowerTerms) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(EcartAutomaticHomogenization) 0] system_variable |
[(EcartAutomaticHomogenization) 0] system_variable |
|
ecart.debug_reduction1 { |
|
(red@) (debug) switch_function |
|
} { } ifelse |
} def |
} def |
|
|
[(endEcart) |
[(endEcart) |
Line 3824 $ [ff ff] fromVectors :: $ |
|
Line 3833 $ [ff ff] fromVectors :: $ |
|
arg1 |
arg1 |
} def |
} def |
|
|
|
/addStdoutStderr { |
|
[(>) (stringOut://@@@stdout) (2>) (stringOut://@@@stderr)] join |
|
} def |
|
|
|
[(,,,) |
|
[(reparse a polynomial or polynomials)] |
|
] putUsages |
|
/,,, { |
|
/arg1 set |
|
[/in-reparse /ff] pushVariables |
|
[ |
|
/ff arg1 def |
|
ff tag 6 eq { |
|
ff { ,,, } map /arg1 set |
|
} { |
|
ff toString . /arg1 set |
|
} ifelse |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
|
|
/usages { |
|
/arg1 set |
|
[/name /flag /n /k /slist /m /i /sss] pushVariables |
|
[ |
|
/name arg1 def |
|
/flag true def |
|
|
|
%BUG: should use regular expression in a future. |
|
name tag 1 eq { |
|
@.usages { 0 get } map shell { (, ) nl } map /sss set |
|
} { |
|
|
|
/sss [ ] def |
|
@.usages length /n set |
|
0 1 << n 1 sub >> |
|
{ |
|
/k set |
|
name << @.usages k get 0 get >> eq |
|
{ |
|
/slist @.usages k get 1 get def |
|
/m slist length def |
|
0 1 << m 1 sub >> { |
|
/i set |
|
sss slist i get append nl append /sss set |
|
} for |
|
/flag false def |
|
} |
|
{ } |
|
ifelse |
|
} for |
|
|
|
%BUG: cannot get usages of primitives. |
|
flag |
|
{name Usage /sss [(Usage of ) name ( could not obtained.) nl ] def} |
|
{ } |
|
ifelse |
|
} ifelse |
|
/arg1 sss cat def |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
[(usages) |
|
[(key usages usages-as-a-string) |
|
(num usages list-of-key-words) |
|
]] putUsages |
|
|
; |
; |
|
|