All types that represent a field are marked with is_field_type. More...

Collaboration diagram for is_field_type:

Data Structures
struct	carl::is_field_type< T >
	States if a type is a field. More...

struct	carl::is_field_type< GFNumber< C > >
	States that a Gallois field is a field. More...

Detailed Description

All types that represent a field are marked with is_field_type.

To be a field, the type must satisfy the common axioms for fields (and their technical interpretation):

It represents some (not empty) set of numbers.
It defines the basic operators $+,-,\cdot,/$ , implemented as operator+(), operator-(), operator*(), operator/(). The result of these operators is of the same type, i.e. the type is closed under the given operations.
It's operations are associative and commutative. Multiplication and addition are distributive.
There are identity elements for addition and multiplication.
For every element of the type, there are inverse elements for addition and multiplication.

All types that are marked with is_rational_type represent a field.

Data Structure Documentation

struct carl::is_field_type

States if a type is a field.

Default is true for rationals, false otherwise.

Definition at line 132 of file typetraits.h.

Inheritance diagram for carl::is_field_type< T >:

[legend]

Collaboration diagram for carl::is_field_type< T >:

[legend]

struct carl::is_field_type< GFNumber< C > >

States that a Gallois field is a field.

Definition at line 138 of file typetraits.h.

Inheritance diagram for carl::is_field_type< GFNumber< C > >:

[legend]

Collaboration diagram for carl::is_field_type< GFNumber< C > >:

[legend]