ring3: STS Unavailable

ring3 defines the following Names, but STS signatures are not currently available.

• is_ideal
• ideal
• kernel
• principal_ideal
• free_ring
• poly_ring
• m_poly_ring
• matrix_ring
• direct_product
• direct_power
• quotient_ring
• multiplicative_group
• invertibles
• integers