version 1.36, 2004/09/14 05:49:36 |
version 1.37, 2004/09/14 08:30:47 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.35 2004/09/14 03:12:17 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.36 2004/09/14 05:49:36 takayama Exp $ |
(hol_loaded) boundp { } |
(hol_loaded) boundp { } |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
gb.verbose { (Comparing) message iigg message (and) message jjgg message } |
gb.verbose { (Comparing) message iigg message (and) message jjgg message } |
{ } ifelse |
{ } ifelse |
gb.verbose { ( ii < jj ?) messagen } { } ifelse |
gb.verbose { ( ii < jj ?) messagen } { } ifelse |
|
/ecartd.isSameIdeal_h.failed [ ] def |
iigg length /n set |
iigg length /n set |
0 1 n 1 sub { |
0 1 n 1 sub { |
/k set |
/k set |
iigg k get |
iigg k get |
[jjgg] ecartd.reduction 0 get |
[jjgg] ecartd.reduction 0 get |
(0). eq not { /ans 0 def /LLL.ecartd.isSame_h goto} { } ifelse |
(0). eq not { |
|
/ecartd.isSameIdeal_h.failed [ iigg k get jjgg] def |
|
/ans 0 def /LLL.ecartd.isSame_h goto |
|
} { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
} for |
} for |
gb.verbose { ( jj < ii ?) messagen } { } ifelse |
gb.verbose { ( jj < ii ?) messagen } { } ifelse |
|
|
/k set |
/k set |
jjgg k get |
jjgg k get |
[iigg] ecartd.reduction 0 get |
[iigg] ecartd.reduction 0 get |
(0). eq not { /ans 0 def /LLL.ecartd.isSame_h goto} { } ifelse |
(0). eq not { |
|
/ecartd.isSameIdeal_h.failed [ iigg jjgg k get] def |
|
/ans 0 def /LLL.ecartd.isSame_h goto |
|
} { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
} for |
} for |
/LLL.ecartd.isSame_h |
/LLL.ecartd.isSame_h |
|
|
gb.verbose { (Comparing) message iigg message (and) message jjgg message } |
gb.verbose { (Comparing) message iigg message (and) message jjgg message } |
{ } ifelse |
{ } ifelse |
gb.verbose { ( ii < jj ?) messagen } { } ifelse |
gb.verbose { ( ii < jj ?) messagen } { } ifelse |
|
/ecartd.isSameIdeal_noh.failed [ ] def |
iigg length /n set |
iigg length /n set |
0 1 n 1 sub { |
0 1 n 1 sub { |
/k set |
/k set |
iigg k get |
iigg k get |
[jjgg] ecartd.reduction_noh 0 get |
[jjgg] ecartd.reduction_noh 0 get |
(0). eq not { /ans 0 def /LLL.ecartd.isSame_noh goto} { } ifelse |
(0). eq not { |
|
/ecartd.isSameIdeal_noh.failed [ iigg k get jjgg] def |
|
/ans 0 def /LLL.ecartd.isSame_noh goto |
|
} { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
} for |
} for |
gb.verbose { ( jj < ii ?) messagen } { } ifelse |
gb.verbose { ( jj < ii ?) messagen } { } ifelse |
|
|
/k set |
/k set |
jjgg k get |
jjgg k get |
[iigg] ecartd.reduction_noh 0 get |
[iigg] ecartd.reduction_noh 0 get |
(0). eq not { /ans 0 def /LLL.ecartd.isSame_noh goto} { } ifelse |
(0). eq not { |
|
/ecartd.isSameIdeal_noh.failed [ iigg jjgg k get] def |
|
/ans 0 def /LLL.ecartd.isSame_noh goto |
|
} { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
gb.verbose { (o) messagen } { } ifelse |
} for |
} for |
/LLL.ecartd.isSame_noh |
/LLL.ecartd.isSame_noh |