gr_minipoly, minipoly

gr_minipoly(plist,vlist,order,poly,v,homo)

:: ¿¹à¼°¤Î, ¥¤¥Ç¥¢¥ë¤òË¡¤È¤·¤¿ºÇ¾®Â¿¹à¼°¤Î·×»»

minipoly(plist,vlist,order,poly,v)

:: ¥°¥ì¥Ö¥Ê´ðÄì¤òÆþÎϤȤ¹¤ë, ¿¹à¼°¤ÎºÇ¾®Â¿¹à¼°¤Î·×»»

return

¿¹à¼°

plist, vlist

¥ê¥¹¥È

order

¿ô, ¥ê¥¹¥È¤Þ¤¿¤Ï¹ÔÎó

poly

¿¹à¼°

v

ÉÔÄ긵

homo

¥Õ¥é¥°

• gr_minipoly() ¤Ï¥°¥ì¥Ö¥Ê´ðÄì¤Î·×»»¤«¤é¹Ô¤¤, minipoly() ¤Ï ÆþÎϤò¥°¥ì¥Ö¥Ê´ðÄì¤È¤ß¤Ê¤¹.
• ¥¤¥Ç¥¢¥ë I ¤¬ÂÎ K ¾å¤Î¿¹à¼°´Ä K[X] ¤Î 0 ¼¡¸µ¥¤¥Ç¥¢¥ë¤Î»þ, K[v] ¤Î¸µ f(v) ¤Ë f(p) mod I ¤òÂбþ¤µ¤»¤ë ´Ä½àƱ·¿¤Î³Ë¤Ï 0 ¤Ç¤Ê¤¤Â¿¹à¼°¤Ë¤è¤êÀ¸À®¤µ¤ì¤ë. ¤³¤ÎÀ¸À®¸µ¤ò p ¤Î, Ë¡ I ¤Ç¤ÎºÇ¾®Â¿¹à¼°¤È¸Æ¤Ö.
• gr_minipoly(), minipoly() ¤Ï, ¿¹à¼° p ¤ÎºÇ¾®Â¿¹à¼° ¤òµá¤á, v ¤òÊÑ¿ô¤È¤¹¤ë¿¹à¼°¤È¤·¤ÆÊÖ¤¹.
• ºÇ¾®Â¿¹à¼°¤Ï, ¥°¥ì¥Ö¥Ê´ðÄì¤Î 1 ¤Ä¤Î¸µ¤È¤·¤Æ·×»»¤¹¤ë¤³¤È¤â¤Ç¤­¤ë¤¬, ºÇ¾®Â¿¹à¼°¤Î¤ß¤òµá¤á¤¿¤¤¾ì¹ç, minipoly(), gr_minipoly() ¤Ï ¥°¥ì¥Ö¥Ê´ðÄì¤òÍѤ¤¤ëÊýË¡¤ËÈæ¤Ù¤Æ¸úΨ¤¬¤è¤¤.
• gr_minipoly() ¤Ë»ØÄꤹ¤ë¹à½ç½ø¤È¤·¤Æ¤Ï, Ä̾ïÁ´¼¡¿ôµÕ¼­½ñ¼°½ç½ø¤ò ÍѤ¤¤ë.

[117] G=tolex(G0,V,0,V)$      
43.818sec + gc : 11.202sec
[118] GSL=tolex_gsl(G0,V,0,V)$
17.123sec + gc : 2.590sec
[119] MP=minipoly(G0,V,0,u0,z)$
4.370sec + gc : 780msec

»²¾È

section lex_hensel, lex_tl, tolex, tolex_d, tolex_tl.

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