Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::algebra::IsAlgebraicallyClosed Concept Referenceexport
module dedekind.algebra

The "Soul" of the Field: Every polynomial has a root in the species. More...

Concept definition

template<typename X, typename Add std::plus<typename X::Domain>, typename Mult std::multiplies<typename X::Domain>>
concept dedekind::algebra::IsAlgebraicallyClosed = IsField<X, Add, Mult> && true
dedekind::algebra::IsAlgebraicallyClosed
The "Soul" of the Field: Every polynomial has a root in the species.
Definition field.cppm:257
dedekind::algebra::IsField
The set-indexed lift of the axiomatic category::IsField: a set object X whose carrier X::Domain is a ...
Definition field.cppm:179

Detailed Description

The "Soul" of the Field: Every polynomial has a root in the species.