version 1.7, 2003/08/18 06:36:50 |
version 1.8, 2003/08/21 12:28:58 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.6 2003/08/13 03:52:25 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.7 2003/08/18 06:36:50 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.begin { |
|
ecart.begin |
|
[(EcartAutomaticHomogenization) 1] system_variable |
|
} def |
|
/ecartd.end { |
|
ecart.end |
|
[(EcartAutomaticHomogenization) 0] system_variable |
|
} def |
|
|
/ecart.dehomogenize { |
/ecart.dehomogenize { |
/arg1 set |
/arg1 set |
|
|
(array a; array b;) |
(array a; array b;) |
$b : [syzygy gb tmat input]; gb = tmat * input $ |
$b : [syzygy gb tmat input]; gb = tmat * input $ |
$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 (Dy) 1] ] ] ecart.syz /ff set $ |
$ [ [ (Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] ] ecart.syz /ff set $ |
$ ff 0 get ff 3 get mul pmat $ |
$ ff 0 get ff 3 get mul pmat $ |
$ ff 2 get ff 3 get mul [ff 1 get ] transpose sub pmat ; $ |
$ ff 2 get ff 3 get mul [ff 1 get ] transpose sub pmat ; $ |
( ) |
( ) |
$Example 2: [[ [(x^2) (y+x)] [(x+y) (y^3)] [(2 x^2+x y) (y+x+x y^3)]] (x,y) $ |
$Example 2: [[ [(x^2) (y+x)] [(x+y) (y^3)] [(2 x^2+x y) (y+x+x y^3)]] (x,y) $ |
$ [ [ (x) -1 (y) -1] ] [[0 1] [-3 1] ] ] ecart.syz pmat ; $ |
$ [ [(Dx) 1 (Dy) 1] [ (x) -1 (y) -1] ] [[0 1] [-3 1] ] ] ecart.syz pmat ; $ |
( ) |
( ) |
(cf. ecart.gb) |
(cf. ecart.gb) |
( /ecart.autoHomogenize 0 def ) |
( /ecart.autoHomogenize 0 def ) |
|
|
%%BUG: case of v is integer |
%%BUG: case of v is integer |
v ecart.checkOrder |
v ecart.checkOrder |
|
|
ecart.begin |
ecartd.begin |
[(EcartAutomaticHomogenization) 1] system_variable |
|
|
|
ecart.gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse |
ecart.gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse |
|
|
|
|
ifelse |
ifelse |
} ifelse |
} ifelse |
|
|
ecart.end |
ecartd.end |
[(EcartAutomaticHomogenization) 0] system_variable |
|
|
|
%% |
%% |
env1 restoreOptions %% degreeShift changes "grade" |
env1 restoreOptions %% degreeShift changes "grade" |