version 1.38, 2004/09/14 10:50:49 |
version 1.40, 2012/08/26 01:38:02 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.37 2004/09/14 08:30:47 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.39 2004/09/14 11:51:20 takayama Exp $ |
(hol_loaded) boundp { } |
(hol_loaded) boundp { } |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
[(ecart.homogenize01) |
[(ecart.homogenize01) |
[(obj ecart.homogenize01 r) |
[(obj ecart.homogenize01 r) |
(Example: ) |
(Example: ) |
|
$(appell.sm1) run ; $ |
( [(x1,x2) ring_of_differential_operators ) |
( [(x1,x2) ring_of_differential_operators ) |
( [[(H) 1 (h) 1 (x1) 1 (x2) 1] ) |
( [[(H) 1 (h) 1 (x1) 1 (x2) 1] ) |
( [(h) 1 (Dx1) 1 (Dx2) 1] ) |
( [(h) 1 (Dx1) 1 (Dx2) 1] ) |
|
|
popVariables |
popVariables |
/arg1 |
/arg1 |
} def |
} def |
/ecart.checkOrder.noglobal { |
/ecart.checkOrder.noGlobal { |
/arg1 set |
/arg1 set |
[/vv /tt /dd /n /i] pushVariables |
[/vv /tt /dd /n /i] pushVariables |
[ |
[ |