version 1.21, 2004/07/29 08:13:42 |
version 1.22, 2004/09/10 13:20:22 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.20 2004/06/10 06:01:50 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.21 2004/07/29 08:13:42 takayama Exp $ |
%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8 |
%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8 |
%% rank, rrank, characteristic |
%% rank, rrank, characteristic |
%% This file is error clean. |
%% This file is error clean. |
|
|
} ifelse |
} ifelse |
gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse |
gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse |
termorder { |
termorder { |
f { {,,, dehomogenize} map } map /f set |
f { {___ dehomogenize} map } map /f set |
[f gb.options] groebner_sugar 0 get /gg set |
[f gb.options] groebner_sugar 0 get /gg set |
}{ |
}{ |
f { {,,, dehomogenize} map} map /f set |
f { {___ dehomogenize} map} map /f set |
gb.autoHomogenize { |
gb.autoHomogenize { |
f fromVectors { homogenize } map /f set |
f fromVectors { homogenize } map /f set |
} { } ifelse |
} { } ifelse |
|
|
/gbasis2 gbasis 0 get def |
/gbasis2 gbasis 0 get def |
} { |
} { |
[ [(1)] ] gbasis rest join gb 0 get getRing ring_def |
[ [(1)] ] gbasis rest join gb 0 get getRing ring_def |
/gbasis2 gbasis 0 get ,,, def |
/gbasis2 gbasis 0 get ___ def |
} ifelse |
} ifelse |
|
|
|
|
flist ,,, /flist set |
flist ___ /flist set |
flist tag 6 eq { |
flist tag 6 eq { |
flist { gbasis2 reduction } map /ans set |
flist { gbasis2 reduction } map /ans set |
}{ |
}{ |
|
|
/gbasis2 gbasis 0 get def |
/gbasis2 gbasis 0 get def |
} { |
} { |
[ [(1)] ] gbasis rest join gb 0 get getRing ring_def |
[ [(1)] ] gbasis rest join gb 0 get getRing ring_def |
/gbasis2 gbasis 0 get ,,, def |
/gbasis2 gbasis 0 get ___ def |
} ifelse |
} ifelse |
|
|
|
|
flist ,,, /flist set |
flist ___ /flist set |
[(Homogenize) 0] system_variable |
[(Homogenize) 0] system_variable |
flist tag 6 eq { |
flist tag 6 eq { |
flist { gbasis2 reduction } map /ans set |
flist { gbasis2 reduction } map /ans set |