module Algebra.Solver.Ring

import public Algebra.Ring
import public Algebra.Solver.Ring.Expr
import public Algebra.Solver.Ring.Prod
import public Algebra.Solver.Ring.SolvableRing
import public Algebra.Solver.Ring.Sum

%default total
