OpenXM/src/kan96xx/Doc/hol.sm1 - diff

Return to hol.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

version 1.24, 2005/06/23 03:23:26

version 1.26, 2008/01/18 00:48:07

Line 1

% $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.25 2005/07/24 09:02:40 takayama Exp $

%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8

%% rank, rrank, characteristic

%% This file is error clean.

Line 535 message-quiet

%%% Enf of the preprocess

groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set

gb.verbose { (groenberOptions = ) messagen groebnerOptions message } { } ifelse

gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse

termorder {

f { {. dehomogenize} map } map /f set

[(UseCriterion1) 1] system_variable

[f groenberOptions] groebner_sugar 0 get /gg set

[f groebnerOptions] groebner_sugar 0 get /gg set

[(UseCriterion1) 0] system_variable

}{

f { {. dehomogenize} map} map /f set

Line 1064 message-quiet

(Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) )

( (t,x1,x2,x3) -1 -2] annfs :: )

( Note that the example 4 uses huge memory space.)

( )

(Note: This implementation is stable but obsolete. )

(As to faster implementation, we refer to ann0 and ann of Risa/Asir )

]] putUsages

( annfs ) messagen-quiet

/annfs.verbose fs.verbose def