Aerobus v1.2
Loading...
Searching...
No Matches
aerobus::IsField Concept Reference

Concept to express R is a field. More...

#include <aerobus.h>

Concept definition

template<typename R>
concept aerobus::IsField = IsEuclideanDomain<R> && requires {
R::is_field == true;
}
Concept to express R is an euclidean domain.
Definition aerobus.h:82
Concept to express R is a field.
Definition aerobus.h:96

Detailed Description

Concept to express R is a field.