Google

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


dp_mbase

dp_mbase(dplist)
:: monomial ´ðÄì¤Î·×»»
return
ʬ»¶É½¸½Â¿¹à¼°¤Î¥ê¥¹¥È
dplist
ʬ»¶É½¸½Â¿¹à¼°¤Î¥ê¥¹¥È
  • ¤¢¤ë½ç½ø¤Ç¥°¥ì¥Ö¥Ê´ðÄì¤È¤Ê¤Ã¤Æ¤¤¤ë¿¹à¼°½¸¹ç¤Î, ¤½¤Î½ç½ø¤Ë´Ø¤¹¤ëʬ»¶É½¸½ ¤Ç¤¢¤ë dplist ¤Ë¤Ä¤¤¤Æ, dplist ¤¬ K[X] Ãæ¤ÇÀ¸À®¤¹¤ë¥¤¥Ç¥¢¥ë I ¤¬ 0 ¼¡¸µ¤Î»þ, K ¾åÍ­¸Â¼¡¸µÀþ·Á¶õ´Ö¤Ç¤¢¤ë K[X]/I ¤Î monomial ¤Ë¤è¤ë´ðÄì¤òµá¤á¤ë.
  • ÆÀ¤é¤ì¤¿´ðÄì¤Î¸Ä¿ô¤¬, K[X]/I ¤Î K-Àþ·Á¶õ´Ö¤È¤·¤Æ¤Î¼¡¸µ¤ËÅù¤·¤¤.
[215] K=katsura(5)$
[216] V=[u5,u4,u3,u2,u1,u0]$
[217] G0=gr(K,V,0)$
[218] H=map(dp_ptod,G0,V)$
[219] map(dp_ptod,dp_mbase(H),V)$
[u0^5,u4*u0^3,u3*u0^3,u2*u0^3,u1*u0^3,u0^4,u3^2*u0,u2*u3*u0,u1*u3*u0,
u1*u2*u0,u1^2*u0,u4*u0^2,u3*u0^2,u2*u0^2,u1*u0^2,u0^3,u3^2,u2*u3,u1*u3,
u1*u2,u1^2,u4*u0,u3*u0,u2*u0,u1*u0,u0^2,u4,u3,u2,u1,u0,1]
»²¾È
section gr, hgr, gr_mod, dgr.


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