All Classes Functions Friends
Public Member Functions | Static Public Attributes | List of all members
Integer Class Reference
The concrete class Integer inherits from BPASRing and mpz_class (from the GMP library). It overrides BPASRing's pure virtual member functions and inherits mpz_class's arithmetic operations (addition, subtraction, multiplication and division). One can construct an Integer object from a machine integer, a mpz_class object or another Integer object. Further, other operations include gcd and exponentiation (^).
Inheritance diagram for Integer:
BPASRing

Public Member Functions

 Integer (int a)
 
 Integer (mpz_class a)
 
 Integer (const Integer &a)
 
 Integer (RationalNumber a)
 
 Integer (ComplexRationalNumber a)
 
 Integer (DenseUnivariateIntegerPolynomial a)
 
 Integer (DenseUnivariateRationalPolynomial a)
 
 Integer (SparseUnivariatePolynomial< Integer > a)
 
 Integer (SparseUnivariatePolynomial< RationalNumber > a)
 
 Integer (SparseUnivariatePolynomial< ComplexRationalNumber > a)
 
template<class Ring >
 Integer (SparseUnivariatePolynomial< Ring > a)
 
Integeroperator= (const Integer &a)
 
mpz_class get_mpz ()
 
bool isZero ()
 
void zero ()
 
bool isOne ()
 
void one ()
 
bool isNegativeOne ()
 
void negativeOne ()
 
int isConstant ()
 
Integer gcd (Integer b)
 
Integer operator^ (int e)
 

Static Public Attributes

static int characteristic
 
static bool isPrimeField
 
static bool isComplexField
 
- Static Public Attributes inherited from BPASRing
static int characteristic
 
static bool isPrimeField
 
static bool isComplexField
 

Member Function Documentation

Integer Integer::gcd ( Integer  b)
inline

GCD (a, b)

Parameters
b,:The other integer
int Integer::isConstant ( )
inlinevirtual

Is a constant

Parameters

Implements BPASRing.

bool Integer::isNegativeOne ( )
inlinevirtual

Is a -1

Parameters

Implements BPASRing.

bool Integer::isOne ( )
inlinevirtual

Is a 1

Parameters

Implements BPASRing.

bool Integer::isZero ( )
inlinevirtual

Is a zero

Parameters

Implements BPASRing.

void Integer::negativeOne ( )
inlinevirtual

Assign to negative one

Parameters

Implements BPASRing.

void Integer::one ( )
inlinevirtual

Assign to one

Parameters

Implements BPASRing.

Integer Integer::operator^ ( int  e)
inline

Overload operator ^ replace xor operation by exponentiation

Parameters
e,:The exponentiation
void Integer::zero ( )
inlinevirtual

Assign to zero

Parameters

Implements BPASRing.


The documentation for this class was generated from the following file: