[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.2.5 Gaussian Integers

274A9 (Z1Z0) (1,0)
27516 (Z0Z1) (0,1)
2754B (Z-1Z0) (-1,0)
2756C (Z1Z1) (1,1)
114007 ^TYPEGAUSSINT? ( ob → flag )
Checks if ob is Gaussian integer. First available in ROM 1.11.
115007 ^DTYPEGAUSSINT? ( ob → ob flag )
Checks if ob is Gaussian integer. First available in ROM 1.11.
116007 ^DUPTYPEGAUSSINT? ( ob → ob flag )
Checks if ob is Gaussian integer. First available in ROM 1.11.
187006 ^CK1Cext ( ob → flag )
Checks if object is integer or Gaussian integer.
15D006 ^CXRIext ( C → Zre Zim )
Returns real and imaginary part of Gaussian integer.
2B5006 ^CGCDext ( C2 C1 → C )
GCD for Gauss integers.
4D5006 ^CSQFFext ( C → { factor1 mult1 ... factn multn } )
Factorization of Gauss integers. This is not the complete factorization of C over Gauss integers since the GCD of the real part and imaginary part of c is factored only over R.
4D4006 ^SECOSQFFext ( :: x<< a b c x>> ; → { fact1 mult1 ... factn multn } )
Factorization of irrquads and Gauss integers.
4D6006 ^SUMSQRext ( Z → Z C )
Returns a Gauss integer C so that |C|^2=Z. Z must be 2 or so that Z=1 mod 4. If Z ≠ 1 mod 4, "Z is not 1 mod 4" error. Z should be prime to ensure the existence of a solution.
518006 ^CNORMext ( C → |C|^2 )
Square modulus of a Gauss integer.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by Carsten Dominik on May, 30 2005 using texi2html