version 1.15, 2003/08/29 04:34:07 |
version 1.16, 2003/09/12 02:52:49 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.14 2003/08/27 03:11:13 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.15 2003/08/29 04:34:07 takayama Exp $ |
%[(parse) (hol.sm1) pushfile] extension |
%[(parse) (hol.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
|
|
/hdShift -1 def |
/hdShift -1 def |
exit |
exit |
} { } ifelse |
} { } ifelse |
|
% Global: ecart.useSugar |
|
opt i get (sugar) eq { |
|
/ecart.useSugar opt i 1 add get def |
|
exit |
|
} { } ifelse |
|
|
ans [opt i get opt i 1 add get ] append /ans set |
ans [opt i get opt i 1 add get ] append /ans set |
exit |
exit |
} loop |
} loop |
|
|
(ecart.setOpt:) message |
(ecart.setOpt:) message |
(degreeShift=) messagen degreeShift message |
(degreeShift=) messagen degreeShift message |
$hdShift(startingShift)=$ messagen hdShift message |
$hdShift(startingShift)=$ messagen hdShift message |
|
(sugar=) messagen ecart.useSugar message |
(Other options=) messagen ans message |
(Other options=) messagen ans message |
} { } ifelse |
} { } ifelse |
|
|
|
|
( array hsShift is the degree shift for the homogenization. cf.homogenize ) |
( array hsShift is the degree shift for the homogenization. cf.homogenize ) |
$a : [f v w [(degreeShift) ds (noAutoHomogenize) 1]]; array f; string v; array of array w; w is the weight matirx.$ |
$a : [f v w [(degreeShift) ds (noAutoHomogenize) 1]]; array f; string v; array of array w; w is the weight matirx.$ |
( No automatic homogenization.) |
( No automatic homogenization.) |
|
$ [(degreeShift) ds (noAutoHomogenize) 1 (sugar) 1] -->use the sugar strate $ |
( ) |
( ) |
$cf. ecarth.gb (homogenized), ecartd.gb (dehomogenize) $ |
$cf. ecarth.gb (homogenized), ecartd.gb (dehomogenize) $ |
( ) |
( ) |
|
|
/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 |
[ |
[ |
|
|
/wv 0 def |
/wv 0 def |
/degreeShift 0 def |
/degreeShift 0 def |
/hdShift 0 def |
/hdShift 0 def |
|
/ecart.useSugar 0 def |
/opt [(weightedHomogenization) 1] def |
/opt [(weightedHomogenization) 1] def |
aa { tag } map /typev set |
aa { tag } map /typev set |
typev [ ArrayP ] eq |
typev [ ArrayP ] eq |
|
|
f { { [[(H). (1).]] replace } map } map /f set |
f { { [[(H). (1).]] replace } map } 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 { |