version 1.25, 2004/05/13 05:52:53 |
version 1.27, 2004/05/15 12:00:48 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.24 2004/05/13 05:33:10 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) (hol.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
|
|
/ecart.end { endEcart } def |
/ecart.end { endEcart } def |
/ecart.autoHomogenize 1 def |
/ecart.autoHomogenize 1 def |
/ecart.needSyz 0 def |
/ecart.needSyz 0 def |
/ecartd.gb.oxRingStructure [ ] def |
/ecartd.gb.oxRingStructure [[ ] [ ] ] def |
|
|
/ecartd.begin { |
/ecartd.begin { |
ecart.begin |
ecart.begin |
|
|
} def |
} def |
/ecart.homogenize01Ideal { |
/ecart.homogenize01Ideal { |
/arg1 set |
/arg1 set |
[/in.ecart.homogenize01Ideal /ll /vv /wv] pushVariables |
[/in.ecart.homogenize01Ideal /ll /vv /wv /ans] pushVariables |
[ |
[ |
/ll arg1 0 get def |
/ll arg1 0 get def |
/vv arg1 1 get def |
/vv arg1 1 get def |
|
|
[vv ring_of_differential_operators |
[vv ring_of_differential_operators |
vv ecart.stdOrder weight_vector 0 |
vv ecart.stdOrder weight_vector 0 |
[(weightedHomogenization) 1]] define_ring |
[(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 |
] pop |
popVariables |
popVariables |
arg1 |
arg1 |