=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v retrieving revision 1.24 retrieving revision 1.27 diff -u -p -r1.24 -r1.27 --- OpenXM/src/kan96xx/Doc/ecart.sm1 2004/05/13 05:33:10 1.24 +++ OpenXM/src/kan96xx/Doc/ecart.sm1 2004/05/15 12:00:48 1.27 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.23 2004/05/05 07:32:54 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.26 2004/05/14 02:35:03 takayama Exp $ %[(parse) (hol.sm1) pushfile] extension %[(parse) (appell.sm1) pushfile] extension @@ -7,7 +7,7 @@ /ecart.end { endEcart } def /ecart.autoHomogenize 1 def /ecart.needSyz 0 def -/ecartd.gb.oxRingStructure [ ] def +/ecartd.gb.oxRingStructure [[ ] [ ] ] def /ecartd.begin { ecart.begin @@ -246,6 +246,7 @@ $ [(degreeShift) ds (noAutoHomogenize) 1 (sugar) 1] -->use the sugar strate $ ( ) $cf. ecarth.gb (homogenized), ecartd.gb (dehomogenize), ecartd.reduction $ + ( ecartd.gb.oxRingStructure ) ( ) $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -1) ( x y Dx Dy -1)] (x,y) $ $ [ [ (Dx) 1 ] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] ] ecart.gb pmat ; $ @@ -1798,7 +1799,7 @@ } def /ecart.homogenize01Ideal { /arg1 set - [/in.ecart.homogenize01Ideal /ll /vv /wv] pushVariables + [/in.ecart.homogenize01Ideal /ll /vv /wv /ans] pushVariables [ /ll arg1 0 get def /vv arg1 1 get def @@ -1812,7 +1813,9 @@ [vv ring_of_differential_operators vv ecart.stdOrder weight_vector 0 [(weightedHomogenization) 1]] define_ring - ll ,,, {ecart.homogenize01 ecart.dehomogenizeH} map /arg1 set + ll ,,, {ecart.homogenize01 ecart.dehomogenizeH} map /ans set + ecart.end + /arg1 ans def ] pop popVariables arg1