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.