order1: STS Unavailable

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

• is_Dedekind
• is_nonzero_divisor
• is_principal_ideal_domain
• order
• maximal_order
• is_maximal_order
• algebraic_integer
• number_field
• algebraic_number
• ring_integers
• primitive_element