| version 1.25, 2004/05/13 05:52:53 |
version 1.26, 2004/05/14 02:35:03 |
|
|
| % $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.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 |
| |
|
|
|
| } 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