dedekind::algebra::detail_canonical::AtomAt< P, K, Lift > Struct Template Reference

The dispatch of an atom's normal form to its sort: a comparison of two constants decided in it, any other atom in the polynomials over a carrier of the points where + and · are total on it, and on a carrier without them (𝔹, K₃) kept as written: equal forms still cut out equal sets, and different ones decide nothing. More...

Public Member Functions
template<typename C>
dedekind::sets::Pred< K >	operator() (std::type_identity< C >) const

Public Attributes
const dedekind::sets::Pred< K > &	p
const Lift &	lift

Detailed Description

template<typename P, typename K, typename Lift>
struct dedekind::algebra::detail_canonical::AtomAt< P, K, Lift >

The dispatch of an atom's normal form to its sort: a comparison of two constants decided in it, any other atom in the polynomials over a carrier of the points where + and · are total on it, and on a carrier without them (𝔹, K₃) kept as written: equal forms still cut out equal sets, and different ones decide nothing.

Template Parameters

P	the point type.

---

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

• src/main/modules/dedekind/algebra/polynomial.cppm