Factorial_Ring

Euclidean_Algorithm

Polynomial

Formal_Power_Series

Polynomial_FPS

Formal_Laurent_Series

Fraction_Field

Fundamental_Theorem_Algebra

Group_Closure

Normalized_Fraction

Primes

Nth_Powers

Polynomial_Factorial

Squarefree

Computational_Algebra

Field_as_Ring