aerobus::IsEuclideanDomain Concept Reference

Concept to express R is an euclidean domain. More...

#include <aerobus.h>

Concept definition

template<typename R>
concept aerobus::IsEuclideanDomain =  IsRing<R> && requires {
        typename R::template div_t<typename R::one, typename R::one>;
        typename R::template mod_t<typename R::one, typename R::one>;
        typename R::template gcd_t<typename R::one, typename R::one>;
        typename R::template eq_t<typename R::one, typename R::one>;
        typename R::template pos_t<typename R::one>;
 
        R::template pos_v<typename R::one> == true;
        
        R::is_euclidean_domain == true;
    }

Detailed Description

Concept to express R is an euclidean domain.