dp_gr_main, dp_gr_mod_main

dp_gr_main(plist,vlist,homo,modular,order)

dp_gr_mod_main(plist,vlist,homo,modular,order)

:: ¥°¥ì¥Ö¥Ê´ðÄì¤Î·×»» (ÁȤ߹þ¤ßÈ¡¿ô)

return

¥ê¥¹¥È

plist, vlist

¥ê¥¹¥È

order

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

homo

¥Õ¥é¥°

modular

¥Õ¥é¥°¤Þ¤¿¤ÏÁÇ¿ô

• ¤³¤ì¤é¤ÎÈ¡¿ô¤Ï, ¥°¥ì¥Ö¥Ê´ðÄì·×»»¤Î´ðËÜŪÁȤ߹þ¤ßÈ¡¿ô¤Ç¤¢¤ê, gr(), hgr(), gr_mod() ¤Ê¤É¤Ï¤¹¤Ù¤Æ¤³¤ì¤é¤ÎÈ¡¿ô¤ò¸Æ¤Ó½Ð¤·¤Æ·×»» ¤ò¹Ô¤Ã¤Æ¤¤¤ë.
• ¥Õ¥é¥° homo ¤¬ 0 ¤Ç¤Ê¤¤»þ, ÆþÎϤòÀƼ¡²½¤·¤Æ¤«¤é Buchberger ¥¢¥ë¥´¥ê¥º¥à ¤ò¼Â¹Ô¤¹¤ë.
• dp_gr_mod_main() ¤ËÂФ·¤Æ¤Ï, modular ¤Ï, GF(modular) ¾å ¤Ç¤Î·×»»¤ò°ÕÌ£¤¹¤ë. dp_gr_main() ¤ËÂФ·¤Æ¤Ï, modular ¤Ï¼¡¤Î¤è¤¦¤Ê°ÕÌ£¤ò»ý¤Ä.
  1. modular ¤¬ 1 ¤Î»þ, trace-lifting ¤Ë¤è¤ë·×»»¤ò¹Ô¤¦. ÁÇ¿ô¤Ï lprime(0) ¤«¤é½ç¤ËÀ®¸ù¤¹¤ë¤Þ¤Ç lprime() ¤ò¸Æ¤Ó½Ð¤·¤ÆÀ¸À®¤¹¤ë.
  2. modular ¤¬ 2 °Ê¾å¤Î¼«Á³¿ô¤Î»þ, ¤½¤ÎÃͤòÁÇ¿ô¤È¤ß¤Ê¤·¤Æ trace-lifting ¤ò¹Ô¤¦. ¤½¤ÎÁÇ¿ô¤Ç¼ºÇÔ¤·¤¿¾ì¹ç, 0 ¤òÊÖ¤¹.
  3. modular ¤¬Éé¤Î¾ì¹ç, -modular ¤ËÂФ·¤Æ¾å½Ò¤Îµ¬Â§¤¬Å¬ÍѤµ¤ì¤ë¤¬, trace-lifting ¤ÎºÇ½ª Ãʳ¬¤Î¥°¥ì¥Ö¥Ê´ðÄì¥Á¥§¥Ã¥¯¤È¥¤¥Ç¥¢¥ë¥á¥ó¥Ð¥·¥Ã¥×¥Á¥§¥Ã¥¯¤¬¾Êά¤µ¤ì¤ë.
• gr(P,V,O) ¤Ï dp_gr_main(P,V,0,1,O), hgr(P,V,O) ¤Ï dp_gr_main(P,V,1,1,O), gr_mod(P,V,O,M) ¤Ï dp_gr_mod_main(P,V,0,M,O) ¤ò¤½¤ì¤¾¤ì¼Â¹Ô¤¹¤ë.
• homo, modular ¤Î¾¤Ë, dp_gr_flags() ¤ÇÀßÄꤵ¤ì¤ë ¤µ¤Þ¤¶¤Þ¤Ê¥Õ¥é¥°¤Ë¤è¤ê·×»»¤¬À©¸æ¤µ¤ì¤ë.

»²¾È

section dp_ord, section dp_gr_flags, dp_gr_print, section gr, hgr, gr_mod, dgr, section ·×»»¤ª¤è¤Óɽ¼¨¤ÎÀ©¸æ.

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