Linear_equation_over_a_ring loading ...