#include <unparametric-operations.h>

Inheritance diagram for UnparametricOperations< _Element >:

Public Types
typedef _Element	Element

typedef Element *	Element_ptr

typedef const Element	ConstElement

typedef const Element *	ConstElement_ptr

Public Member Functions
	UnparametricOperations ()

virtual	~UnparametricOperations ()

virtual bool	isZero (const Element &a) const =0

virtual bool	isOne (const Element &a) const =0

virtual bool	isMOne (const Element &a) const =0

virtual bool	isUnit (const Element &a) const =0

Data Object Management.
first argument is set and the value is also returned.
Element &	init (Element &x) const

Element &	assign (Element &x, const Element &y) const

Comparison Predicates
bool	areEqual (const Element &x, const Element &y) const
	x == y

Arithmetic Operations
The first argument is set and is also the return value.
Element &	add (Element &x, const Element &y, const Element &z) const
	x := y + z

Element &	sub (Element &x, const Element &y, const Element &z) const
	x := y - z

Element &	mul (Element &x, const Element &y, const Element &z) const
	x := y*z

Element &	div (Element &x, const Element &y, const Element &z) const
	x := y/z

Element &	mod (Element &x, const Element &y, const Element &z) const
	x := y mod z

Element &	neg (Element &x, const Element &y) const
	x := -y

Element &	inv (Element &x, const Element &y) const
	x := 1/y

Element &	axpy (Element &z, const Element &a, const Element &x, const Element &y) const
	z := a*x + y

Element &	axpyin (Element &z, const Element &a, const Element &x) const
	z := a*x + z

Element &	axmy (Element &z, const Element &a, const Element &x, const Element &y) const
	z := a*x - y

Element &	axmyin (Element &z, const Element &a, const Element &x) const
	z := a*x - z

Element &	maxpy (Element &z, const Element &a, const Element &x, const Element &y) const
	z := y - a*x

Element &	maxpyin (Element &z, const Element &a, const Element &x) const
	z := z - a*x

Inplace Arithmetic Operations
The first argument is modified and the result is the return value.
Element &	addin (Element &x, const Element &y) const
	x := x + y

Element &	subin (Element &x, const Element &y) const
	x := x - y

Element &	mulin (Element &x, const Element &y) const
	x := x*y

Element &	divin (Element &x, const Element &y) const
	x := x/y

Element &	modin (Element &x, const Element &y) const
	x := x mod y

Element &	negin (Element &x) const
	x := -x

Element &	invin (Element &x) const
	x := 1/x

Input/Output Operations
std::ostream &	write (std::ostream &os) const
	Print field.

std::ostream &	write (std::ostream &os, std::string F) const
	Read field.

std::istream &	read (std::istream &is) const
	Read field.

std::ostream &	write (std::ostream &os, const Element &x) const
	Print field element.

virtual std::istream &	read (std::istream &is, Element &x) const
	Read field element.

Member Typedef Documentation

◆ Element

template<class _Element>

typedef _Element Element

◆ Element_ptr

template<class _Element>

typedef Element* Element_ptr

inherited

◆ ConstElement

template<class _Element>

typedef const Element ConstElement

inherited

◆ ConstElement_ptr

template<class _Element>

typedef const Element* ConstElement_ptr

inherited

Constructor & Destructor Documentation

◆ UnparametricOperations()

template<class _Element>

UnparametricOperations ( )

inline

◆ ~UnparametricOperations()

template<class _Element>

virtual ~UnparametricOperations ( )

inlinevirtual

Member Function Documentation

◆ init()

template<class _Element>

Element & init ( Element & x ) const

inlinevirtual

Implements RingInterface< _Element >.

Reimplemented in UnparametricZRing< _Element >.

◆ assign()

template<class _Element>

Element & assign	(	Element &	x,
		const Element &	y ) const

inlinevirtual

Implements RingInterface< _Element >.

Reimplemented in UnparametricZRing< _Element >.

◆ areEqual()

template<class _Element>

bool areEqual	(	const Element &	x,
		const Element &	y ) const

inlinevirtual

x == y

Implements RingInterface< _Element >.

◆ add()

template<class _Element>

Element & add	(	Element &	x,
		const Element &	y,
		const Element &	z ) const

inlinevirtual

x := y + z

Implements RingInterface< _Element >.

◆ sub()

template<class _Element>

Element & sub	(	Element &	x,
		const Element &	y,
		const Element &	z ) const

inlinevirtual

x := y - z

Implements RingInterface< _Element >.

◆ mul()

template<class _Element>

Element & mul	(	Element &	x,
		const Element &	y,
		const Element &	z ) const

inlinevirtual

x := y*z

Implements RingInterface< _Element >.

◆ div()

template<class _Element>

Element & div	(	Element &	x,
		const Element &	y,
		const Element &	z ) const

inline

x := y/z

◆ mod()

template<class _Element>

Element & mod	(	Element &	x,
		const Element &	y,
		const Element &	z ) const

inline

x := y mod z

◆ neg()

template<class _Element>

Element & neg	(	Element &	x,
		const Element &	y ) const

inlinevirtual

x := -y

Implements RingInterface< _Element >.

◆ inv()

template<class _Element>

Element & inv	(	Element &	x,
		const Element &	y ) const

inline

x := 1/y

◆ axpy()

template<class _Element>

Element & axpy	(	Element &	z,
		const Element &	a,
		const Element &	x,
		const Element &	y ) const

inlinevirtual

z := a*x + y

Implements RingInterface< _Element >.

◆ axpyin()

template<class _Element>

Element & axpyin	(	Element &	z,
		const Element &	a,
		const Element &	x ) const

inlinevirtual

z := a*x + z

Implements RingInterface< _Element >.

◆ axmy()

template<class _Element>

Element & axmy	(	Element &	z,
		const Element &	a,
		const Element &	x,
		const Element &	y ) const

inlinevirtual

z := a*x - y

Implements RingInterface< _Element >.

◆ axmyin()

template<class _Element>

Element & axmyin	(	Element &	z,
		const Element &	a,
		const Element &	x ) const

inlinevirtual

z := a*x - z

Implements RingInterface< _Element >.

◆ maxpy()

template<class _Element>

Element & maxpy	(	Element &	z,
		const Element &	a,
		const Element &	x,
		const Element &	y ) const

inlinevirtual

z := y - a*x

Implements RingInterface< _Element >.

◆ maxpyin()

template<class _Element>

Element & maxpyin	(	Element &	z,
		const Element &	a,
		const Element &	x ) const

inlinevirtual

z := z - a*x

Implements RingInterface< _Element >.

◆ addin()

template<class _Element>

Element & addin	(	Element &	x,
		const Element &	y ) const

inlinevirtual

x := x + y

Implements RingInterface< _Element >.

◆ subin()

template<class _Element>

Element & subin	(	Element &	x,
		const Element &	y ) const

inlinevirtual

x := x - y

Implements RingInterface< _Element >.

◆ mulin()

template<class _Element>

Element & mulin	(	Element &	x,
		const Element &	y ) const

inlinevirtual

x := x*y

Implements RingInterface< _Element >.

◆ divin()

template<class _Element>

Element & divin	(	Element &	x,
		const Element &	y ) const

inline

x := x/y

◆ modin()

template<class _Element>

Element & modin	(	Element &	x,
		const Element &	y ) const

inline

x := x mod y

◆ negin()

template<class _Element>

Element & negin ( Element & x ) const

inlinevirtual

x := -x

Implements RingInterface< _Element >.

◆ invin()

template<class _Element>

Element & invin ( Element & x ) const

inline

x := 1/x

◆ write() [1/3]

template<class _Element>

std::ostream & write ( std::ostream & os ) const

inlinevirtual

Print field.

Returns: output stream to which field is written.

Parameters

os	output stream to which field is written.

Implements RingInterface< _Element >.

Reimplemented in UnparametricZRing< _Element >, UnparametricZRing< Element >, UnparametricZRing< Element >, UnparametricZRing< Integer >, and UnparametricZRing< Integer >.

◆ write() [2/3]

template<class _Element>

std::ostream & write	(	std::ostream &	os,
		std::string	F ) const

inline

Read field.

Returns: input stream from which field is read.

Parameters

is	input stream from which field is read.

◆ read() [1/2]

template<class _Element>

std::istream & read ( std::istream & is ) const

inline

Read field.

Returns: input stream from which field is read.

Parameters

is	input stream from which field is read.

◆ write() [3/3]

template<class _Element>

std::ostream & write	(	std::ostream &	os,
		const Element &	x ) const

inlinevirtual

Print field element.

Returns: output stream to which field element is written.

Parameters

os	output stream to which field element is written.
x	field element.

Implements RingInterface< _Element >.

Reimplemented in UnparametricZRing< _Element >.

◆ read() [2/2]

template<class _Element>

virtual std::istream & read	(	std::istream &	is,
		Element &	x ) const

inlinevirtual

Read field element.

Returns: input stream from which field element is read.

Parameters

is	input stream from which field element is read.
x	field element.

Implements RingInterface< _Element >.

Reimplemented in UnparametricZRing< _Element >, UnparametricZRing< Element >, and UnparametricZRing< Element >.

◆ isZero()

template<class _Element>

virtual bool isZero ( const Element & a ) const

pure virtualinherited

Implemented in UnparametricZRing< _Element >.

◆ isOne()

template<class _Element>

virtual bool isOne ( const Element & a ) const

pure virtualinherited

Implemented in UnparametricZRing< _Element >.

◆ isMOne()

template<class _Element>

virtual bool isMOne ( const Element & a ) const

pure virtualinherited

Implemented in UnparametricZRing< _Element >.

◆ isUnit()

template<class _Element>

virtual bool isUnit ( const Element & a ) const

pure virtualinherited

Implemented in UnparametricZRing< _Element >.

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

unparametric-operations.h

Public Types

Public Member Functions

Member Typedef Documentation

◆ Element

◆ Element_ptr

◆ ConstElement

◆ ConstElement_ptr

Constructor & Destructor Documentation

◆ UnparametricOperations()

◆ ~UnparametricOperations()

Member Function Documentation

◆ init()

◆ assign()

◆ areEqual()

◆ add()

◆ sub()

◆ mul()

◆ div()

◆ mod()

◆ neg()

◆ inv()

◆ axpy()

◆ axpyin()

◆ axmy()

◆ axmyin()

◆ maxpy()

◆ maxpyin()

◆ addin()

◆ subin()

◆ mulin()

◆ divin()

◆ modin()

◆ negin()

◆ invin()

◆ write() [1/3]

◆ write() [2/3]

◆ read() [1/2]

◆ write() [3/3]

◆ read() [2/2]

◆ isZero()

◆ isOne()

◆ isMOne()

◆ isUnit()