sp_norm

sp_norm(alg,var,poly,alglist)

:: Âå¿ôÂξå¤Ç¤Î¥Î¥ë¥à¤Î·×»»

return

¿¹à¼°

var

poly ¤Î¼çÊÑ¿ô

poly

1 ÊÑ¿ô¿¹à¼°

alg

root

alglist

root ¤Î¥ê¥¹¥È

• `sp' ¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë.
• poly ¤Î, alg ¤Ë´Ø¤¹¤ë¥Î¥ë¥à¤ò¤È¤ë. ¤¹¤Ê¤ï¤Á, K = Q(alglist \ {alg}) ¤È¤¹¤ë¤È¤­, poly ¤Ë¸½¤ì¤ë alg ¤ò, alg ¤Î K ¾å¤Î¶¦Ìò¤ËÃÖ¤­´¹¤¨¤¿¤â¤Î Á´¤Æ¤ÎÀѤòÊÖ¤¹.
• ·ë²Ì¤Ï K ¾å¤Î¿¹à¼°¤È¤Ê¤ë.
• ¼ÂºÝ¤Ë¤ÏÆþÎϤˤè¤ê¾ì¹ç¤ï¤±¤¬¹Ô¤ï¤ì, ½ª·ë¼°¤ÎľÀÜ·×»»¤äÃæ¹ñ¾ê;ÄêÍý¤Ë ¤è¤ê·×»»¤µ¤ì¤ë¤¬, ºÇŬ¤ÊÁªÂò¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë¤È¤Ï¸Â¤é¤Ê¤¤. Âç°èÊÑ¿ô USE_RES ¤ò 1 ¤ËÀßÄꤹ¤ë¤³¤È¤Ë¤è¤ê, ¾ï¤Ë½ª·ë¼°¤Ë¤è¤ê·×»» ¤µ¤»¤ë¤³¤È¤¬¤Ç¤­¤ë.

[0] load("sp")$
[39] A0=newalg(x^2+1)$                 
[40] A1=newalg(x^2+A0)$
[41] sp_norm(A1,x,x^3+A0*x+A1,[A1,A0]);
x^6+(2*#0)*x^4+(#0^2)*x^2+(#0)
[42] sp_norm(A0,x,@@,[A0]);            
x^12+2*x^8+5*x^4+1

»²¾È

section res, section asq, af, af_noalg

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