0 | module Algebra.Solver.Ring 1 | 2 | import public Algebra.Ring 3 | import public Algebra.Solver.Ring.Expr 4 | import public Algebra.Solver.Ring.Prod 5 | import public Algebra.Solver.Ring.SolvableRing 6 | import public Algebra.Solver.Ring.Sum 7 | 8 | %default total 9 |