CECCO::details::coefficient_of< T > Struct Template Reference

Coefficient type of a Polynomial; identity for all other types. More...

#include <field_concepts_traits.hpp>

Inheritance diagram for CECCO::details::coefficient_of< T >:

Public Types
using	type = T

Detailed Description

template<typename T>
struct CECCO::details::coefficient_of< T >

Coefficient type of a Polynomial; identity for all other types.

Template Parameters

T

Any type

coefficient_of_t<Polynomial<C>> is C, and coefficient_of_t<T> is T for every non-polynomial T. Lets a concept apply one scalar-level test uniformly to scalars and to polynomials over scalars (see CECCO::ReliablyComparableType).

Definition at line 220 of file field_concepts_traits.hpp.

Member Typedef Documentation

type

template<typename T>

using CECCO::details::coefficient_of< T >::type = T

Definition at line 221 of file field_concepts_traits.hpp.

---

The documentation for this struct was generated from the following file:

• field_concepts_traits.hpp