p_nf, p_nf_mod, p_true_nf, p_true_nf_mod

p_nf(poly,plist,vlist,order)

p_nf_mod(poly,plist,vlist,order,mod)

:: ɽ¸½Â¿¹à¼°¤ÎÀµµ¬·Á¤òµá¤á¤ë. (·ë²Ì¤ÏÄê¿ôÇܤµ¤ì¤Æ¤¤¤ë²ÄǽÀ­¤¢¤ê)

p_true_nf(poly,plist,vlist,order)

p_true_nf_mod(poly,plist,vlist,order,mod)

:: ɽ¸½Â¿¹à¼°¤ÎÀµµ¬·Á¤òµá¤á¤ë. (¿¿¤Î·ë²Ì¤ò [ʬ»Ò, ʬÊì] ¤Î·Á¤ÇÊÖ¤¹)

return

p_nf : ¿¹à¼°, p_true_nf : ¥ê¥¹¥È

poly

¿¹à¼°

plist,vlist

¥ê¥¹¥È

order

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

mod

ÁÇ¿ô

• `gr' ¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë.
• ¿¹à¼°¤Î, ¿¹à¼°¥ê¥¹¥È¤Ë¤è¤ëÀµµ¬·Á¤òµá¤á¤ë.
• dp_nf(), dp_true_nf(), dp_nf_mod(), dp_true_nf_mod ¤ËÂФ¹¤ë¥¤¥ó¥¿¥Õ¥§¡¼¥¹¤Ç¤¢¤ë.
• poly ¤ª¤è¤Ó plist ¤Ï, ÊÑ¿ô½ç½ø vlist ¤ª¤è¤Ó ÊÑ¿ô½ç½ø·¿ otype ¤Ë½¾¤Ã¤Æʬ»¶É½¸½Â¿¹à¼°¤ËÊÑ´¹¤µ¤ì, dp_nf(), dp_true_nf(), dp_nf_mod(), dp_true_nf_mod() ¤ËÅϤµ¤ì¤ë.
• dp_nf(), dp_true_nf(), dp_nf_mod(), dp_true_nf_mod() ¤Ï fullreduce ¤¬ 1 ¤Ç¸Æ¤Ó½Ð¤µ¤ì¤ë.
• ·ë²Ì¤Ï¿¹à¼°¤ËÊÑ´¹¤µ¤ì¤Æ½ÐÎϤµ¤ì¤ë.
• p_true_nf(), p_true_nf_mod() ¤Î½ÐÎϤ˴ؤ·¤Æ¤Ï, dp_true_nf(), dp_true_nf_mod() ¤Î¹à¤ò»²¾È.

[79] K = katsura(5)$
[80] V = [u5,u4,u3,u2,u1,u0]$
[81] G = hgr(K,V,2)$
[82] p_nf(K[1],G,V,2);
0
[83] L = p_true_nf(K[1]+1,G,V,2);
[-1503...,-1503...]
[84] L[0]/L[1];
1

»²¾È

section dp_ptod, section dp_dtop, section dp_ord, section dp_nf, dp_nf_mod, dp_true_nf, dp_true_nf_mod.

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