·×»»·ë²Ì, Æüì¤Ê¿ô

@ ¤Ï¥¨¥¹¥±¡¼¥×ʸ»ú¤È¤·¤Æ»ÈÍѤµ¤ì¤ë. ¸½ºß¼¡¤Î¤è¤¦¤Êµ¬Ä꤬¤¢¤ë.

@n

n ÈÖÌܤη׻»·ë²Ì.

@@

ľÁ°¤Î·×»»·ë²Ì.

@i

µõ¿ôñ°Ì.

@pi

±ß¼þΨ.

@e

¼«Á³Âпô¤ÎÄì.

@

2 ¸µÂÎ GF(2) ¾å¤Î°ìÊÑ¿ô¿¹à¼°¤ÎÊÑ¿ô (ÉÔÄ긵).

@>, @<, @>=, @<=, @==, @&&, @||

quantifier elimination ¤Ë¤ª¤±¤ë, °ì³¬½Ò¸ìÏÀÍý±é»»»Ò

[0] fctr(x^10-1);     
[[1,1],[x-1,1],[x+1,1],[x^4+x^3+x^2+x+1,1],[x^4-x^3+x^2-x+1,1]]
[1] @@[3];            
[x^4+x^3+x^2+x+1,1]
[2] eval(sin(@pi/2)); 
1.000000000000000000000000000000000000000000000000000000000
[3] eval(log(@e),20);
0.99999999999999999999999999998
[4] @0[4][0];
x^4-x^3+x^2-x+1
[5] (1+@i)^5;
(-4-4*@i)
[6] eval(exp(@pi*@i));
-1.0000000000000000000000000000
[7] (@+1)^9;
(@^9+@^8+@+1)

¥È¥Ã¥×¥ì¥Ù¥ë¤Ç·×»»¤µ¤ì¤¿ÃͤϤ³¤Î¤è¤¦¤Ë¥Ò¥¹¥È¥ê¤È¤·¤Æ¼è¤ê½Ð¤·²Äǽ¤Ç¤¢¤ë¤¬, ¤³¤Î¤³¤È¤Ï, ¥¬¥Ù¡¼¥¸¥³¥ì¥¯¥¿¤Ë¤È¤Ã¤Æ¤ÏÉéô¤ò¤â¤¿¤é¤¹²ÄǽÀ­¤¬¤¢¤ë. ÆäË, Â礭¤Ê¼°¤ò¥È¥Ã¥×¥ì¥Ù¥ë¤Ç·×»»¤·¤¿¾ì¹ç, ¤½¤Î¸å¤Î GC »þ´Ö¤¬µÞ®¤ËÁýÂ礹¤ë²Ä ǽÀ­¤¬¤¢¤ë. ¤³¤Î¤è¤¦¤Ê¾ì¹ç, delete_history() (see section delete_history) ¤¬Í­¸ú¤Ç¤¢¤ë.

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