Go to the first, previous, next, last section, table of contents.

纷换および山绩の扩告

グレブナ答撵の纷换において, さまざまなパラメタ肋年を乖うことにより纷换, 山绩を扩告することができる. これらは, 寥み哈み取眶 dp_gr_flags() により肋年徊救することができる. 痰苞眶で dp_gr_flags() を悸乖する と, 附哼肋年されているパラメタが, 叹涟と猛のリストで手される. 

[100] dp_gr_flags();
[Demand,0,NoSugar,0,NoCriB,0,NoGC,0,NoMC,0,NoRA,0,NoGCD,0,Top,0,ShowMag,1,
Print,1,Stat,0,Reverse,0,InterReduce,0,Multiple,0]
[101]

笆布で, 称パラメタの罢蹋を棱汤する. on の眷圭とは, パラメタが 0 でない眷圭を いう. これらのパラメタの介袋猛は链て 0 (off) である.

NoSugar
on の眷圭, sugar strategy の洛わりに Buchbergerの normal strategy が脱 いられる.
NoCriB
on の眷圭, 稍涩妥滦浮叫惮洁のうち, 惮洁 B を努脱しない.
NoGC
on の眷圭, 冯蔡がグレブナ答撵になっているかどうかのチェックを乖わない.
NoMC
on の眷圭, 冯蔡が掐蜗イデアルと票霹のイデアルであるかどうかのチェック を乖わない.
NoRA
on の眷圭, 冯蔡を reduced グレブナ答撵にするための interreduce を乖わない.
NoGCD
on の眷圭, 铜妄及犯眶のグレブナ答撵纷换において, 栏喇された驴灌及の, 犯眶の content をとらない.
Top
on の眷圭, normal form 纷换において片灌久殿のみを乖う.
Reverse
on の眷圭, normal form 纷换の狠の reducer を, 糠しく栏喇されたものを庭 黎して联ぶ.
Print
on の眷圭, グレブナ答撵纷换の庞面におけるさまざまな攫鼠を山绩する.
Stat
on で Print が off ならば, Print が on のとき山绩さ れるデ〖タの柒, 礁纷デ〖タのみが山绩される.
ShowMag
on で Print が on ならば, 栏喇が栏喇される髓に, その驴灌及の 犯眶のビット墓の下を山绩し, 呵稿に, それらの下の呵络猛を山绩する.
Multiple
0 でない腊眶の箕, 铜妄眶惧の赖惮妨纷换において, 犯眶のビット墓の下が Multiple 擒になるごとに犯眶链挛の GCD が纷换され, その GCD で 充った驴灌及を词腆する. Multiple が 1 ならば, 词腆するごとに GCD 纷换が乖われ办忍には跟唯が碍くなるが, Multiple を 2 镍刨 とすると, 叼络な腊眶が犯眶に附れる眷圭, 跟唯が紊くなる眷圭がある.
Demand
赖碰なディレクトリ叹 (矢机误) を猛に积つとき, 栏喇された驴灌及はメモリ 面におかれず, そのディレクトリ面にバイナリデ〖タとして弥かれ, その驴灌 及を脱いる normal form 纷换の狠, 极瓢弄にメモリ面にロ〖ドされる. 称驴 灌及は, 柒婶でのインデックスをファイル叹に积つファイルに呈羌される. ここで回年されたディレクトリに今かれたファイルは极瓢弄には久殿されない ため, ユ〖ザが勒扦を积って久殿する涩妥がある.

Print が 0 でない眷圭肌のようなデ〖タが山绩される. 

[93] gr(cyclic(4),[c0,c1,c2,c3],0)$
mod= 99999989, eval = []
(0)(0)<<0,2,0,0>>(2,3),nb=2,nab=5,rp=2,sugar=2,mag=4
(0)(0)<<0,1,2,0>>(1,2),nb=3,nab=6,rp=2,sugar=3,mag=4
(0)(0)<<0,1,1,2>>(0,1),nb=4,nab=7,rp=3,sugar=4,mag=6
.
(0)(0)<<0,0,3,2>>(5,6),nb=5,nab=8,rp=2,sugar=5,mag=4
(0)(0)<<0,1,0,4>>(4,6),nb=6,nab=9,rp=3,sugar=5,mag=4
(0)(0)<<0,0,2,4>>(6,8),nb=7,nab=10,rp=4,sugar=6,mag=6
....gb done
reduceall
.......
membercheck
(0,0)(0,0)(0,0)(0,0)
gbcheck total 8 pairs
........
UP=(0,0)SP=(0,0)SPM=(0,0)NF=(0,0)NFM=(0.010002,0)ZNFM=(0.010002,0)PZ=(0,0)
NP=(0,0)MP=(0,0)RA=(0,0)MC=(0,0)GC=(0,0)T=40,B=0 M=8 F=6 D=12 ZR=5 NZR=6
Max_mag=6
[94]

呵介に山绩される mod, eval は, trace-lifting で脱いられる恕 である. mod は燎眶, eval は铜妄及犯眶の眷圭に脱いられる 眶のリストである.

纷换庞面で驴灌及が栏喇される髓に肌の妨のデ〖タが山绩される. 

(TNF)(TCONT)HT(INDEX),nb=NB,nab=NAB,rp=RP,sugar=S,mag=M

それらの罢蹋は肌の奶り.

TNF
normal form 纷换箕粗 (擅)
TCONT
content 纷换箕粗 (擅)
HT
栏喇された驴灌及の片灌
INDEX
S-驴灌及を菇喇する驴灌及のインデックスのペア
NB
附哼の, 鹃墓拉を近いた答撵の眶
NAB
附哼までに栏喇された答撵の眶
RP
荒りのペアの眶
S
栏喇された驴灌及の sugar の猛
M
栏喇された驴灌及の犯眶のビット墓の下 (ShowMag が on の箕に山绩される. )

呵稿に, 礁纷デ〖タが山绩される. 罢蹋は肌の奶り. (箕粗の山绩において, 眶机が 2 つあるものは, 纷换箕粗と GC 箕粗のペアである.)

UP
ペアのリストの拎侯にかかった箕粗
SP
铜妄眶惧の S-驴灌及纷换箕粗
SPM
铜嘎挛惧の S-驴灌及纷换箕粗
NF
铜妄眶惧の normal form 纷换箕粗
NFM
铜嘎挛惧の normal form 纷换箕粗
ZNFM
NFM の柒, 0 への reduction にかかった箕粗
PZ
content 纷换箕粗
NP
铜妄眶犯眶驴灌及の犯眶に滦する娟途遍换の纷换箕粗
MP
S-驴灌及を栏喇するペアの联买にかかった箕粗
RA
interreduce 纷换箕粗
MC
trace-lifting における, 掐蜗驴灌及のメンバシップ纷换箕粗
GC
冯蔡のグレブナ答撵铬输のグレブナ答撵チェック箕粗
T
栏喇されたペアの眶
B, M, F, D
称 criterion により近かれたペアの眶
ZR
0 に reduce されたペアの眶
NZR
0 でない驴灌及に reduce されたペアの眶
Max_mag
栏喇された驴灌及の, 犯眶のビット墓の下の呵络猛

Go to the first, previous, next, last section, table of contents.