AlgebraicStructureTraits_::IsInvertible Concept Reference

Definition

AdaptableUnaryFunction, returns true in case the argument is invertible in the ring.

Refines

AdaptableUnaryFunction

See also

AlgebraicStructureTraits

Types
typedef unspecified_type	result_type
	Is AlgebraicStructureTraits::Boolean.
typedef unspecified_type	argument_type
	Is AlgebraicStructureTraits::Type.

Operations
result_type	operator() (argument_type x)
	returns true in case there exists an element \( y\) in the ring such that \( x * y \) is the one of the ring.