Results, Remarks, Conclusions
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.