lex_hensel_gsl, tolex_gsl, tolex_gsl_d

lex_hensel_gsl(plist,vlist1,order,vlist2,homo)

:: GSL 妨及のイデアル答撵の纷换

tolex_gsl(plist,vlist1,order,vlist2,homo)

tolex_gsl_d(plist,vlist1,order,vlist2,homo,procs)

:: グレブナ答撵を掐蜗とする, GSL 妨及のイデアル答撵の纷换

return

リスト

plist, vlist1, vlist2, procs

リスト

order

眶, リストまたは乖误

homo

フラグ

• lex_hensel_gsl() は lex_hensel() の, tolex_gsl() は tolex() の恃硷で, 冯蔡のみが佰なる. tolex_gsl_d() は, 答撵纷换を, procs で回年される灰プロセスに 尸欢纷换させる.
• 掐蜗が 0 肌傅システムで, その辑今及界进グレブナ答撵が [f0,x1-f1,...,xn-fn] (f0,...,fn は x0 の 1 恃眶驴灌及) なる妨 (これを SL 妨及と钙ぶ) を积つ眷圭, [[x1,g1,d1],...,[xn,gn,dn],[x0,f0,f0']] なるリスト (これを GSL 妨及と钙ぶ) を手す. ここで, gi は, di*f0'*fi-gi が f0 で充り磊れるような x0 の1 恃眶驴灌及で, 豺は f0(x0)=0 なる x0 に滦し, [x1=g1/(d1*f0'),...,xn=gn/(dn*f0')] となる. 辑今及界进グレブナ答撵が惧のような妨でない眷圭, tolex() に よる奶撅のグレブナ答撵を手す.
• GSL 妨及により山される答撵はグレブナ答撵ではないが, 办忍に犯眶が SL 妨及 のグレブナ答撵より润撅に井さいため纷换も庐く, 豺も滇めやすい. tolex_gsl_d() で山绩される箕粗は, この取眶が悸乖されているプロセスに おいて乖われた纷换に滦炳していて, 灰プロセスにおける箕粗は崔まれない.

[103] K=katsura(5)$
[104] V=[u5,u4,u3,u2,u1,u0]$
[105] G0=gr(K,V,0)$
[106] GSL=tolex_gsl(G0,V,0,V)$ 
[107] GSL[0];
[u1,8635837421130477667200000000*u0^31-...]
[108] GSL[1];
[u2,10352277157007342793600000000*u0^31-...]
[109] GSL[5];
[u0,11771021876193064124640000000*u0^32-...,376672700038178051988480000000*u0^31-...]

徊救

section lex_hensel, lex_tl, tolex, tolex_d, tolex_tl, section 尸欢纷换

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