An Experiment. Implementing abstract mathematics in Java from scratch.
Implement a class Ring. Methods which cannot be implemented are declared abstract.
Implement a polynomial ring using an abstract Ring as coefficient ring.
The polynomial ring is a child of the ring class.
Implement Z as a child of the Ring class.
- ? This generates a simple arithmetic for multivariate polynomials with integral coefficients.
See http://ring.perisic.com for a Java implementation.