| version 1.16, 2003/09/12 02:52:49 |
version 1.17, 2003/09/20 22:10:04 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.15 2003/08/29 04:34:07 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.16 2003/09/12 02:52:49 takayama Exp $ |
| %[(parse) (hol.sm1) pushfile] extension |
%[(parse) (hol.sm1) pushfile] extension |
| %[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
| |
|
|
|
| /gg /wv /vec /ans /rr /mm |
/gg /wv /vec /ans /rr /mm |
| /degreeShift /env2 /opt /ans.gb |
/degreeShift /env2 /opt /ans.gb |
| /hdShift |
/hdShift |
| |
/ecart.useSugar |
| ] pushVariables |
] pushVariables |
| [(CurrentRingp) (KanGBmessage)] pushEnv |
[(CurrentRingp) (KanGBmessage)] pushEnv |
| [ |
[ |
|
|
| /degreeShift 0 def |
/degreeShift 0 def |
| /hdShift 0 def |
/hdShift 0 def |
| /opt [(weightedHomogenization) 1] def |
/opt [(weightedHomogenization) 1] def |
| |
/ecart.useSugar 0 def |
| aa { tag } map /typev set |
aa { tag } map /typev set |
| typev [ ArrayP ] eq |
typev [ ArrayP ] eq |
| { /f aa 0 get def |
{ /f aa 0 get def |
|
|
| f {/fi set [(degreeShift) hdShift fi] homogenize} map /f set |
f {/fi set [(degreeShift) hdShift fi] homogenize} map /f set |
| }ifelse |
}ifelse |
| |
|
| ecart.needSyz { |
ecart.useSugar { |
| [f [(needSyz)] gb.options join ] groebner /gg set |
ecart.needSyz { |
| } { |
[f [(needSyz)] gb.options join ] groebner_sugar /gg set |
| [f gb.options] groebner 0 get /gg set |
} { |
| |
[f gb.options] groebner_sugar 0 get /gg set |
| |
} ifelse |
| |
} { |
| |
ecart.needSyz { |
| |
[f [(needSyz)] gb.options join ] groebner /gg set |
| |
} { |
| |
[f gb.options] groebner 0 get /gg set |
| |
} ifelse |
| } ifelse |
} ifelse |
| |
|
| ecart.needSyz { |
ecart.needSyz { |
![[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