field1: STS Unavailable

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

• field
• carrier
• multiplication
• minus
• inverse
• identity
• zero
• addition
• subtraction
• is_commutative
• is_subfield
• additive_group
• multiplicative_group
• subfield
• power
• expression