=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v retrieving revision 1.39 retrieving revision 1.40 diff -u -p -r1.39 -r1.40 --- OpenXM/src/kan96xx/Doc/ecart.sm1 2004/09/14 11:51:20 1.39 +++ OpenXM/src/kan96xx/Doc/ecart.sm1 2012/08/26 01:38:02 1.40 @@ -1,4 +1,4 @@ -% $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 { } { [(parse) (hol.sm1) pushfile] extension } ifelse %[(parse) (appell.sm1) pushfile] extension @@ -167,6 +167,7 @@ [(ecart.homogenize01) [(obj ecart.homogenize01 r) (Example: ) + $(appell.sm1) run ; $ ( [(x1,x2) ring_of_differential_operators ) ( [[(H) 1 (h) 1 (x1) 1 (x2) 1] ) ( [(h) 1 (Dx1) 1 (Dx2) 1] )