version 1.26, 2004/05/14 02:35:03 |
version 1.28, 2004/05/27 11:13:49 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.25 2004/05/13 05:52:53 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.27 2004/05/15 12:00:48 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.gb.oxRingStructure [[ ] [ ] ] def |
|
|
/ecartd.begin { |
/ecartd.begin { |
ecart.begin |
ecart.begin |
|
|
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
(Dx) ggg ecartd.reduction /gg4 set |
(Dx) ggg ecartd.reduction /gg4 set |
gg4 message |
gg4 message |
[gg2 gg3 gg4] |
|
|
(----------- reduction by h=1 ---------------) message |
|
[[( 2*(1-x-y) Dx + 1 ) ( 2*(1-x-y) Dy + 1 )] |
|
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
|
[(Homogenize) 0] system_variable |
|
(Dx) ggg ecartd.reduction /gg5 set |
|
[(Homogenize) 1] system_variable |
|
gg5 message |
|
|
|
[gg2 gg3 gg4 gg5] |
} def |
} def |
|
|
/ecarth.reduction { |
/ecarth.reduction { |