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.

Previous slide

Next slide

Back to first slide

View graphic version