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

Return to hol.sm1 CVS log

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

version 1.28, 2012/10/12 01:20:29

version 1.29, 2019/08/31 06:36:28

Line 1

% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.27 2012/09/16 01:53:08 takayama Exp $

% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.28 2012/10/12 01:20:29 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 302 message-quiet

[/in-gb /aa /typev /setarg /f /v

/gg /wv /termorder /vec /ans /rr /mm

/degreeShift /env2 /groebnerOptions

/ggall

] pushVariables

[(CurrentRingp) (KanGBmessage)] pushEnv

[

Line 419 message-quiet

Line 420 message-quiet

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

termorder {

f { {___ dehomogenize} map } map /f set

[f groebnerOptions] groebner_sugar 0 get /gg set

[f groebnerOptions] groebner_sugar /ggall set ggall 0 get /gg set

}{

f { {___ dehomogenize} map} map /f set

gb.autoHomogenize {

f fromVectors { homogenize } map /f set

} { } ifelse

[f groebnerOptions] groebner 0 get /gg set

[f groebnerOptions] groebner /ggall set ggall 0 get /gg set

}ifelse

wv isInteger {

/ans [gg gg {init} map] def

Line 441 message-quiet

Line 442 message-quiet

ifelse

ans getRing (oxRingStructure) dc /gb.oxRingStructure set

%% gg getAttributeList message

ans gg getAttributeList setAttributeList /ans set

ans

gg getAttributeList , [(all) ggall] join

setAttributeList /ans set

env1 restoreOptions %% degreeShift changes "grade"