## It is possible to work with abstract structures!

- E.g. Modular Ring R/p(x), where R is abstract.
- E.g. Quotient Field Quot(R), where R is abstract.
- Same amount of work as implementing Z/mZ or Q.

## Multivariate polynomials can be used although only univariate polynomials have been implemented (over R).

## Complex structures can easily be derived as child classes:

- Cyclotomic fields, complex numbers, rational function fields, ...

## Concepts for automatic mapping from one ring to another.

Previous slide | Next slide | Back to first slide | View graphic version |