finfield1: STS Unavailable

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

• is_primitive
• field_by_conway
• primitive_element
• is_primitive_poly
• conway_polynomial
• field_by_conway
• minimal_polynomial
• discrete_log