AlgebraicStructureTraits::IsOne

Definition

AdaptableUnaryFunction, returns true in case the argument is the one of the ring.

Refines

AdaptableUnaryFunction

Types

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


AlgebraicStructureTraits::IsOne::argument_type
Is AlgebraicStructureTraits::Type.

Operations

result_type is_one ( argument_type x ) returns true in case x is the one of the ring.

See Also

AlgebraicStructureTraits