Quotient Types in C++

What it does

Values of a type T are grouped into equivalence classes with a function Eq, and the values of the new type of the equivalence classes of T.

Accomplishments that I'm proud of

Trivial instantiation of complex numbers and Galois fields with quotient type and polynomial type.

What's next for Quotient Types in C++

Refinement of the quotient template is necessary. The current code is very unrefined.

Built With

• c++