| version 1.24, 2005/06/23 03:23:26 |
version 1.25, 2005/07/24 09:02:40 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.23 2005/06/16 08:40:04 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.24 2005/06/23 03:23:26 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. |
|
|
| %%% Enf of the preprocess |
%%% Enf of the preprocess |
| |
|
| groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set |
groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set |
| gb.verbose { (groenberOptions = ) messagen groebnerOptions message } { } ifelse |
gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse |
| termorder { |
termorder { |
| f { {. dehomogenize} map } map /f set |
f { {. dehomogenize} map } map /f set |
| [(UseCriterion1) 1] system_variable |
[(UseCriterion1) 1] system_variable |
| [f groenberOptions] groebner_sugar 0 get /gg set |
[f groebnerOptions] groebner_sugar 0 get /gg set |
| [(UseCriterion1) 0] system_variable |
[(UseCriterion1) 0] system_variable |
| }{ |
}{ |
| f { {. dehomogenize} map} map /f set |
f { {. dehomogenize} map} map /f set |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to hol.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc