Quantum_polynomial_ring loading ...