Navigation: Up, Table of Contents,  Package Overview,  Bibliography,  Index,  Title Page , Acknowledging CGAL

AlgebraicStructureTraits::IsSquare

Definition

AdaptableBinaryFunction providing an integral square root.

An ring element x is said to be a square iff there exists a ring element y such that x= y*y. In case the ring is a UniqueFactorizationDomain, y is uniquely defined up to multiplication by units.

Refines

AdaptableBinaryFunction

Types

AlgebraicStructureTraits::IsSquare::result_type
Type convertible to bool.

AlgebraicStructureTraits::IsSquare::first_argument
Is AlgebraicStructureTraits::Type.

AlgebraicStructureTraits::IsSquare::second_argument
Is AlgebraicStructureTraits::Type&.

Operations

result_type is_square ( first_argument_type x , second_argument_type y )
returns true in case x is a square, i.e. x = y*y.
Postcondition: unit_part(y) == 1.

result_type is_square ( first_argument_type x )
returns true in case x is a square.

See Also

AlgebraicStructureTraits

Next: AlgebraicStructureTraits::Gcd
Navigation: Up, Table of Contents,  Package Overview,  Bibliography,  Index,  Title Page , Acknowledging CGAL
CGAL Open Source Project. Release 3.3.1. 25 August 2007.