version 1.39, 2004/09/14 11:51:20 |
version 1.40, 2012/08/26 01:38:02 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.38 2004/09/14 10:50:49 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] ) |