BPASIntegralDomain< Derived > Class Template Reference

An abstract class defining the interface of an integral domain. More...

#include <BPASIntegralDomain.hpp>

Simplified semantic inheritance diagram for BPASIntegralDomain< Derived >:

 Full inheritance diagram for BPASIntegralDomain< Derived >:

Public Member Functions
virtual Derived	operator/ (const Derived &d) const =0
	Exact division. More...
virtual Derived &	operator/= (const Derived &d)=0
	Exact division assignment. More...
Public Member Functions inherited from BPASRing< Derived >
virtual mpz_class	getCharacteristic () const
	The characteristic of this ring class.
virtual bool	isZero () const =0
	Determine if *this ring element is zero, that is the additive identity. More...
virtual void	zero ()=0
	Make *this ring element zero.
virtual bool	isOne () const =0
	Determine if *this ring element is one, that is the multiplication identity. More...
virtual void	one ()=0
	Make *this ring element one.
virtual Derived	unitCanonical (Derived *u=NULL, Derived *v=NULL) const =0
	Obtain the unit normal (a.k.a canonical associate) of an element. More...
virtual Derived &	operator= (const Derived &)=0
	Copy assignment.
virtual Derived	operator+ (const Derived &) const =0
	Addition.
virtual Derived &	operator+= (const Derived &)=0
	Addition assignment.
virtual Derived	operator- (const Derived &) const =0
	Subtraction.
virtual Derived &	operator-= (const Derived &)=0
	Subtraction assignment.
virtual Derived	operator- () const =0
	Negation.
virtual Derived	operator* (const Derived &) const =0
	Multiplication.
virtual Derived &	operator*= (const Derived &)=0
	Multiplication assignment.
virtual Derived	operator^ (long long int e) const =0
	Exponentiation.
virtual Derived &	operator^= (long long int e)=0
	Exponentiation assignment.
virtual bool	operator== (const Derived &) const =0
	Equality test,. More...
virtual bool	operator!= (const Derived &) const =0
	Inequality test,. More...
virtual void	print (std::ostream &ostream) const
	Print the Ring element. More...
virtual std::string	toString () const
	Convert the Ring element to a string. More...
Public Member Functions inherited from ExpressionTreeConvert
virtual ExpressionTree	convertToExpressionTree () const =0
	Convert this to an expression tree. More...

Detailed Description

template<class Derived>
class BPASIntegralDomain< Derived >

An abstract class defining the interface of an integral domain.

Member Function Documentation

operator/()

template<class Derived>

virtual Derived BPASIntegralDomain< Derived >::operator/ ( const Derived &  d ) const

pure virtual

Exact division.

Parameters

d	the divisor.

Returns

the equotient.

Implemented in DenseUnivariatePolynomial< Field >, SmallPrimeField, SmallPrimeFieldDistributedDenseMultivariateModularPolynomial, GeneralizedFermatPrimeField, UnivariateRationalFunction< UnivariatePolynomialOverField, Field >, BigPrimeField, Integer, ComplexRationalNumber, RationalNumber, SmartFraction< Domain >, and Fraction< Domain >.

operator/=()

template<class Derived>

virtual Derived& BPASIntegralDomain< Derived >::operator/= ( const Derived &  d )

pure virtual

Exact division assignment.

Parameters

d	the divisor.

Returns

a reference to this after assignment.

Implemented in DenseUnivariatePolynomial< Field >, SmallPrimeField, SmallPrimeFieldDistributedDenseMultivariateModularPolynomial, GeneralizedFermatPrimeField, BigPrimeField, UnivariateRationalFunction< UnivariatePolynomialOverField, Field >, Integer, ComplexRationalNumber, RationalNumber, SmartFraction< Domain >, and Fraction< Domain >.

---

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

• include/Ring/BPASIntegralDomain.hpp