dp_red, dp_red_mod

dp_red(dpoly1,dpoly2,dpoly3)

dp_red_mod(dpoly1,dpoly2,dpoly3,mod)

:: °ì²ó¤Î´ÊÌóÁàºî

return

¥ê¥¹¥È

dpoly1, dpoly2, dpoly3

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

vlist

¥ê¥¹¥È

mod

ÁÇ¿ô

• dpoly1 + dpoly2 ¤Ê¤ëʬ»¶É½¸½Â¿¹à¼°¤ò dpoly3 ¤Ç 1 ²ó´ÊÌ󤹤ë.
• dp_red_mod() ¤ÎÆþÎϤÏ, Á´¤ÆÍ­¸ÂÂη¸¿ô¤ËÊÑ´¹¤µ¤ì¤Æ¤¤¤ëɬÍפ¬¤¢¤ë.
• ´ÊÌ󤵤ì¤ë¹à¤Ï dpoly2 ¤ÎƬ¹à¤Ç¤¢¤ë. ½¾¤Ã¤Æ, dpoly2 ¤Î Ƭ¹à¤¬ dpoly3 ¤ÎƬ¹à¤Ç³ä¤êÀÚ¤ì¤ë¤³¤È¤¬¤¢¤é¤«¤¸¤á¤ï¤«¤Ã¤Æ¤¤¤Ê¤±¤ì¤Ð ¤Ê¤é¤Ê¤¤.
• °ú¿ô¤¬À°¿ô·¸¿ô¤Î»þ, ´ÊÌó¤Ï, ʬ¿ô¤¬¸½¤ì¤Ê¤¤¤è¤¦, À°¿ô a, b, ¹à t ¤Ë¤è¤ê a(dpoly1 + dpoly2)-bt dpoly3 ¤È¤·¤Æ·×»»¤µ¤ì¤ë.
• ·ë²Ì¤Ï, [a dpoly1,a dpoly2 - bt dpoly3] ¤Ê¤ë¥ê¥¹¥È¤Ç¤¢¤ë.

[157] D=(3)*<<2,1,0,0,0>>+(3)*<<1,2,0,0,0>>+(1)*<<0,3,0,0,0>>;
(3)*<<2,1,0,0,0>>+(3)*<<1,2,0,0,0>>+(1)*<<0,3,0,0,0>>
[158] R=(6)*<<1,1,1,0,0>>;                                    
(6)*<<1,1,1,0,0>>
[159] C=12*<<1,1,1,0,0>>+(1)*<<0,1,1,1,0>>+(1)*<<1,1,0,0,1>>; 
(12)*<<1,1,1,0,0>>+(1)*<<0,1,1,1,0>>+(1)*<<1,1,0,0,1>>
[160] dp_red(D,R,C);                                         
[(6)*<<2,1,0,0,0>>+(6)*<<1,2,0,0,0>>+(2)*<<0,3,0,0,0>>,(-1)*<<0,1,1,1,0>>
+(-1)*<<1,1,0,0,1>>]

»²¾È

section dp_mod, dp_rat.

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