Affects Version/s: current
Fix Version/s: None
While writing code working with Polynomials<Rational>, one might be faced with the creation of monomials such as
Variable<Rational> x = new Variable.Local<Rational>("x");
Polynomial<Rational> p = Polynomial.valueOf(Rational.ONE, x);
This is fine, but suppose we now want to go generic, that is write something like
Variable<R> x = new Variable.Local<R>("x");
Polynomial<R> p = Polynomial.valueOf(R.ONE, x);
Then we are stuck, because R.ONE does not actually exist!
I propose to add three methods
1. To GroupAdditive<G>
2. To GroupMultiplicative<G>
2. To Ring<R>
This would solve the problem.