dp_nf, dp_nf_mod, dp_true_nf, dp_true_nf_mod

dp_nf(indexlist,dpoly,dpolyarray,fullreduce)

dp_nf_mod(indexlist,dpoly,dpolyarray,fullreduce,mod)

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

dp_true_nf(indexlist,dpoly,dpolyarray,fullreduce)

dp_true_nf_mod(indexlist,dpoly,dpolyarray,fullreduce,mod)

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

return

dp_nf() : ʬ»¶É½¸½Â¿¹à¼°, dp_true_nf() : ¥ê¥¹¥È

indexlist

¥ê¥¹¥È

dpoly

ʬ»¶É½¸½Â¿¹à¼°

dpolyarray

ÇÛÎó

fullreduce

¥Õ¥é¥°

mod

ÁÇ¿ô

• ʬ»¶É½¸½Â¿¹à¼° dpoly ¤ÎÀµµ¬·Á¤òµá¤á¤ë.
• dp_nf_mod(), dp_true_nf_mod() ¤ÎÆþÎϤÏ, dp_mod() ¤Ê¤É ¤Ë¤è¤ê, Í­¸ÂÂξå¤Îʬ»¶É½¸½Â¿¹à¼°¤Ë¤Ê¤Ã¤Æ¤¤¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤.
• ·ë²Ì¤ËÍ­Íý¿ô, Í­Íý¼°¤¬´Þ¤Þ¤ì¤ë¤Î¤òÈò¤±¤ë¤¿¤á, dp_nf() ¤Ï ¿¿¤ÎÃͤÎÄê¿ôÇܤÎÃͤòÊÖ¤¹. Í­Íý¼°·¸¿ô¤Î¾ì¹ç¤Î dp_nf_mod() ¤âƱÍÍ ¤Ç¤¢¤ë¤¬, ·¸¿ôÂΤ¬Í­¸ÂÂΤξì¹ç dp_nf_mod() ¤Ï¿¿¤ÎÃͤòÊÖ¤¹.
• dp_true_nf(), dp_true_nf_mod() ¤Ï, [nm,dn] ¤Ê¤ë·Á¤Î¥ê¥¹¥È¤òÊÖ¤¹. ¤¿¤À¤·, nm ¤Ï·¸¿ô¤Ëʬ¿ô, Í­Íý¼°¤ò´Þ¤Þ¤Ê¤¤Ê¬»¶É½¸½Â¿¹à¼°, dn ¤Ï ¿ô¤Þ¤¿¤Ï¿¹à¼°¤Ç nm/dn ¤¬¿¿¤ÎÃͤȤʤë.
• dpolyarray ¤Ïʬ»¶É½¸½Â¿¹à¼°¤òÍ×ÁǤȤ¹¤ë¥Ù¥¯¥È¥ë, indexlist ¤ÏÀµµ¬²½·×»»¤ËÍѤ¤¤ë dpolyarray ¤ÎÍ×ÁǤΥ¤¥ó¥Ç¥Ã¥¯¥¹ ¤Î¥ê¥¹¥È.
• fullreduce ¤¬ 0 ¤Ç¤Ê¤¤¤È¤­Á´¤Æ¤Î¹à¤ËÂФ·¤Æ´ÊÌó¤ò¹Ô¤¦. fullreduce ¤¬ 0 ¤Î¤È¤­Æ¬¹à¤Î¤ß¤ËÂФ·¤Æ´ÊÌó¤ò¹Ô¤¦.
• indexlist ¤Ç»ØÄꤵ¤ì¤¿Â¿¹à¼°¤Ï, Á°¤ÎÊý¤Î¤â¤Î¤¬Í¥ÀèŪ¤Ë»È¤ï¤ì¤ë.
• °ìÈÌ¤Ë¤Ï indexlist ¤ÎÍ¿¤¨Êý¤Ë¤è¤êÈ¡¿ô¤ÎÃͤϰۤʤë²ÄǽÀ­¤¬¤¢¤ë¤¬, ¥°¥ì¥Ö¥Ê´ðÄì¤ËÂФ·¤Æ¤Ï°ì°ÕŪ¤ËÄê¤Þ¤ë.
• ʬ»¶É½¸½¤Ç¤Ê¤¤¸ÇÄꤵ¤ì¤¿Â¿¹à¼°½¸¹ç¤Ë¤è¤ëÀµµ¬·Á¤ò¿¿ôµá¤á¤ëɬÍפ¬¤¢¤ë¾ì¹ç ¤ËÊØÍø¤Ç¤¢¤ë. ñ°ì¤Î±é»»¤Ë´Ø¤·¤Æ¤Ï, p_nf, p_true_nf ¤ò ÍѤ¤¤ë¤È¤è¤¤.

[0] load("gr")$
[64] load("katsura")$
[69] K=katsura(4)$
[70] dp_ord(2)$
[71] V=[u0,u1,u2,u3,u4]$
[72] DP1=newvect(length(K),map(dp_ptod,K,V))$
[73] G=gr(K,V,2)$
[74] DP2=newvect(length(G),map(dp_ptod,G,V))$
[75] T=dp_ptod((u0-u1+u2-u3+u4)^2,V)$
[76] dp_dtop(dp_nf([0,1,2,3,4],T,DP1,1),V);
u4^2+(6*u3+2*u2+6*u1-2)*u4+9*u3^2+(6*u2+18*u1-6)*u3+u2^2+(6*u1-2)*u2+9*u1^2-6*u1+1
[77] dp_dtop(dp_nf([4,3,2,1,0],T,DP1,1),V);
-5*u4^2+(-4*u3-4*u2-4*u1)*u4-u3^2-3*u3-u2^2+(2*u1-1)*u2-2*u1^2-3*u1+1
[78] dp_dtop(dp_nf([0,1,2,3,4],T,DP2,1),V);
-1138087976845165778088612297273078520347097001020471455633353049221045677593
0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
[79] dp_dtop(dp_nf([4,3,2,1,0],T,DP2,1),V);
-1138087976845165778088612297273078520347097001020471455633353049221045677593
0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
[80] @78==@79;
1

»²¾È

section dp_dtop, section dp_ord, section dp_mod, dp_rat, section p_nf, p_nf_mod, p_true_nf, p_true_nf_mod.

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