sequoia::maths::weak_field Concept Reference

concept representing reasonable approximations to a field. More...

#include <Spaces.hpp>

Concept definition

template<class T>
concept sequoia::maths::weak_field =  weak_commutative_ring<T> && weakly_abelian_group_under_multiplication_v<T> && is_divisible_v<T>

Detailed Description

concept representing reasonable approximations to a field.