gr, hgr, gr_mod, dgr

gr(plist,vlist,order)

hgr(plist,vlist,order)

gr_mod(plist,vlist,order,p)

dgr(plist,vlist,order,procs)

:: ¥°¥ì¥Ö¥Ê´ðÄì¤Î·×»»

return

¥ê¥¹¥È

plist, vlist, procs

¥ê¥¹¥È

order

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

p

2^27 ̤Ëþ¤ÎÁÇ¿ô

• ɸ½à¥é¥¤¥Ö¥é¥ê¤Î `gr' ¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë.
• ¤¤¤º¤ì¤â, ¿¹à¼°¥ê¥¹¥È plist ¤Î, ÊÑ¿ô½ç½ø vlist, ¹à½ç½ø·¿ order ¤Ë´Ø¤¹¤ë¥°¥ì¥Ö¥Ê´ðÄì¤òµá¤á¤ë. gr(), hgr() ¤Ï Í­Íý¿ô·¸¿ô, gr_mod() ¤Ï GF(p) ·¸¿ô¤È¤·¤Æ·×»»¤¹¤ë.
• vlist ¤ÏÉÔÄ긵¤Î¥ê¥¹¥È. vlist ¤Ë¸½¤ì¤Ê¤¤ÉÔÄ긵¤Ï, ·¸¿ôÂΤË°¤¹¤ë¤È¸«¤Ê¤µ¤ì¤ë.
• gr(), trace-lifting (¥â¥¸¥å¥é±é»»¤òÍѤ¤¤¿¹â®²½) ¤ª¤è¤Ó sugar strategy ¤Ë¤è¤ë·×»», hgr() ¤Ï trace-lifting ¤ª¤è¤Ó ÀƼ¡²½¤Ë¤è¤ë ¶ºÀµ¤µ¤ì¤¿ sugar strategy ¤Ë¤è¤ë·×»»¤ò¹Ô¤¦.
• dgr() ¤Ï, gr(), dgr() ¤ò »Ò¥×¥í¥»¥¹¥ê¥¹¥È procs ¤Î 2 ¤Ä¤Î¥×¥í¥»¥¹¤Ë¤è¤êƱ»þ¤Ë·×»»¤µ¤», Àè¤Ë·ë²Ì¤òÊÖ¤·¤¿Êý¤Î·ë²Ì¤òÊÖ¤¹. ·ë²Ì¤ÏƱ°ì¤Ç¤¢¤ë¤¬, ¤É¤Á¤é¤ÎÊýË¡¤¬ ¹â®¤«°ìÈ̤ˤÏÉÔÌÀ¤Î¤¿¤á, ¼ÂºÝ¤Î·Ð²á»þ´Ö¤òû½Ì¤¹¤ë¤Î¤ËÍ­¸ú¤Ç¤¢¤ë.
• dgr() ¤Çɽ¼¨¤µ¤ì¤ë»þ´Ö¤Ï, ¤³¤ÎÈ¡¿ô¤¬¼Â¹Ô¤µ¤ì¤Æ¤¤¤ë¥×¥í¥»¥¹¤Ç¤Î CPU »þ´Ö¤Ç¤¢¤ê, ¤³¤ÎÈ¡¿ô¤Î¾ì¹ç¤Ï¤Û¤È¤ó¤ÉÄÌ¿®¤Î¤¿¤á¤Î»þ´Ö¤Ç¤¢¤ë.

[0] load("gr")$
[64] load("cyclic")$
[74] G=gr(cyclic(5),[c0,c1,c2,c3,c4],2);
[c4^15+122*c4^10-122*c4^5-1,...]
[75] GM=gr_mod(cyclic(5),[c0,c1,c2,c3,c4],2,31991)$
24628*c4^15+29453*c4^10+2538*c4^5+7363
[76] (G[0]*24628-GM[0])%31991;
0

»²¾È

section dp_gr_main, dp_gr_mod_main, section dp_ord.

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