| version 1.23, 2004/05/05 07:32:54 |
version 1.25, 2004/05/13 05:52:53 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.22 2004/05/05 06:57:09 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.24 2004/05/13 05:33:10 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.begin { |
/ecartd.begin { |
| ecart.begin |
ecart.begin |
| [(EcartAutomaticHomogenization) 1] system_variable |
[(EcartAutomaticHomogenization) 1] system_variable |
|
|
| ll (0). eq { |
ll (0). eq { |
| } { |
} { |
| ll getRing /rr set |
ll getRing /rr set |
| ll [ [ (H) rr ,, (1) rr ,, ] |
ll [ [ @@@.Hsymbol rr ,, (1) rr ,, ] |
| [ (h) rr ,, (1) rr ,, ]] replace |
[ (h) rr ,, (1) rr ,, ]] replace |
| /ll set |
/ll set |
| } ifelse |
} ifelse |
|
|
| ll (0). eq { |
ll (0). eq { |
| } { |
} { |
| ll getRing /rr set |
ll getRing /rr set |
| ll [ [ (H) rr ,, (1) rr ,, ] ] replace |
ll [ [ @@@.Hsymbol rr ,, (1) rr ,, ] ] replace |
| /ll set |
/ll set |
| } ifelse |
} ifelse |
| } ifelse |
} ifelse |
|
|
| [/in.ecart.wv1 /v] pushVariables |
[/in.ecart.wv1 /v] pushVariables |
| [ |
[ |
| /v arg1 def |
/v arg1 def |
| [(H) (h) v to_records pop] /v set |
[@@@.Hsymbol (h) v to_records pop] /v set |
| v { 1 } map /v set |
v { 1 } map /v set |
| /arg1 v def |
/arg1 v def |
| ] pop |
] pop |
|
|
| $ [(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 ; $ |
|
|
| (ecartd.gb : Input polynomial or vectors are automatically homogenized without degreeShift) ecart.message |
(ecartd.gb : Input polynomial or vectors are automatically homogenized without degreeShift) ecart.message |
| f { {. ecart.dehomogenize} map} map /f set |
f { {. ecart.dehomogenize} map} map /f set |
| f ecart.homogenize01 /f set |
f ecart.homogenize01 /f set |
| f { { [[(H). (1).]] replace } map } map /f set |
f { { [[@@@.Hsymbol . (1).]] replace } map } map /f set |
| } ifelse |
} ifelse |
| } { |
} { |
| % Automatic h-homogenization with degreeShift |
% Automatic h-homogenization with degreeShift |
| (ecartd.gb : Input polynomial or vectors are automatically homogenized with degreeShift) message |
(ecartd.gb : Input polynomial or vectors are automatically homogenized with degreeShift) message |
| f { {. ecart.dehomogenize} map} map /f set |
f { {. ecart.dehomogenize} map} map /f set |
| f {/fi set [(degreeShift) hdShift fi] homogenize} map /f set |
f {/fi set [(degreeShift) hdShift fi] homogenize} map /f set |
| f { { [[(H). (1).]] replace } map } map /f set |
f { { [[@@@.Hsymbol . (1).]] replace } map } map /f set |
| }ifelse |
}ifelse |
| |
|
| ecart.useSugar { |
ecart.useSugar { |
|
|
| |
|
| ecartd.end |
ecartd.end |
| |
|
| |
ans getRing (oxRingStructure) dc /ecartd.gb.oxRingStructure set |
| %% |
%% |
| env1 restoreOptions %% degreeShift changes "grade" |
env1 restoreOptions %% degreeShift changes "grade" |
| |
|
![[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