Trait for specifying whether a type behaves (appoximately) as an abelian group under multiplication. More...

#include <Spaces.hpp>

Inheritance diagram for sequoia::maths::weakly_abelian_group_under_multiplication< T >:

Detailed Description

template<class T>
struct sequoia::maths::weakly_abelian_group_under_multiplication< T >

Trait for specifying whether a type behaves (appoximately) as an abelian group under multiplication.

The floating-point types are taken to weakly model an abelian group under multiplication, since they attempt to approximate the reals.

The only integral type modelling this (exactly, as it transpires) is bool. It is the only type in C++ modelling Z/Zn where n is a prime. The other integral types do not model this even in an approximate sense.

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

C:/Users/olive/sequoia/Source/sequoia/Maths/Geometry/Spaces.hpp