|
|
|
|
|
|
|
|
|
Arithmetic of Gaussian Integers
|
|
|
|
|
|
Organization: | Institute of Computer Science of the Academy of Sciences of the Czech Republic, Prague |
|
|
|
|
|
|
International Mathematica User Conference 2008
|
|
|
|
|
|
Champaign, IL
|
|
|
|
|
|
A Gaussian integer is an expression of the form x+yⅉ, where x and y are (rational) integers, and ⅉ is defined by ⅉ2=-1. The Gaussian integers form the ring ℤ[ⅉ]={x+yⅉ:x,y ∈ ℤ}=ℤ+ⅉℤ, with ordinary addition and multiplication of complex numbers. ℤ[ⅉ] is a Euclidean domain with respect to the absolute value |⋅|, where the Euclidean steps can be computed as least remainder divisions. This is probably base for some Mathematica commands as PrimeQ, FactorInteger, Divisors, and GCD which work when GaussianIntegers options is turned on. In the talk we shall implement algorithms for Gaussian integers for less common complete residue systems, division algorithms, Gaussian numeration systems, or for doing arithmetic without separation into real and imaginary part, and several forms of the GCD.
|
|
|
|
|
|
|
|
|
|
|
|
http://www.wolfram.com/news/events/userconf2008
|
|
|
|
|
|
| ArithmeticOfGaussianIntegers_Abstract.nb (252.8 KB) - Mathematica Notebook | | ArithmeticOfGaussianIntegers_Presentation.nb (909.9 KB) - Mathematica Notebook |
|
|
|
|
|
|
|
| | | | | |
|