Field Class Reference

#include <Concepts/Field.h>

Definition

A model of Field is an IntegralDomain in which every non-zero element has a multiplicative inverse. Thus, one can divide by any non-zero element. Hence division is defined for any divisor != 0. For a Field, we require this division operation to be available through operators / and /=.

Moreover, CGAL::Algebraic_structure_traits< Field > is a model of AlgebraicStructureTraits providing:

• CGAL::Algebraic_structure_traits< Field >::Algebraic_category derived from CGAL::Field_tag

• CGAL::Algebraic_structure_traits< FieldWithSqrt >::Inverse which is a model of AlgebraicStructureTraits_::Inverse

  Refines:

  IntegralDomain

See also

IntegralDomainWithoutDivision

IntegralDomain

UniqueFactorizationDomain

EuclideanRing

Field

FieldWithSqrt

FieldWithKthRoot

FieldWithRootOf

AlgebraicStructureTraits

Operations
Field	operator/ (const Field &a, const Field &b)
Field	operator/= (const Field &b)

Member Function Documentation

operator/()

Field Field::operator/	(	const Field &	a,
		const Field &	b
	)

operator/=()

Field Field::operator/=

(

const Field &

b

)