| version 1.24, 2004/05/13 05:33:10 |
version 1.26, 2004/05/14 02:35:03 |
|
|
| % $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.25 2004/05/13 05:52:53 takayama Exp $ |
| %[(parse) (hol.sm1) pushfile] extension |
%[(parse) (hol.sm1) pushfile] extension |
| %[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
| |
|
|
|
| $ [(degreeShift) ds (noAutoHomogenize) 1 (sugar) 1] -->use the sugar strate $ |
$ [(degreeShift) ds (noAutoHomogenize) 1 (sugar) 1] -->use the sugar strate $ |
| ( ) |
( ) |
| $cf. ecarth.gb (homogenized), ecartd.gb (dehomogenize), ecartd.reduction $ |
$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) $ |
$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 ; $ |
$ [ [ (Dx) 1 ] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] ] ecart.gb pmat ; $ |
|
|
| } 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 |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ecart.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc