|
An ring element is said to be a square iff there exists a ring element
such
that . In case the ring is a UniqueFactorizationDomain,
is uniquely defined up to multiplication by units.
The function is_square is available if Algebraic_structure_traits::Is_square is not the CGAL::Null_functor.
#include <CGAL/number_utils.h>
|
| ||
|
|
| The result_type is convertible to bool. |
|
| ||
|
|
| The result_type is convertible to bool. |
UniqueFactorizationDomain
AlgebraicStructureTraits::IsSquare