# Generated by tools/translator: qualified upstream name -> MoonBit name.
FIELD_NONZERO_PRODUCT_PERMUTE field_nonzero_product_permute
FIELD_ROOTS_BOUND field_roots_bound
FINITE_FIELD_CARD_CHAR_POWER finite_field_card_char_power
FINITE_FIELD_ELEMENT_POW finite_field_element_pow
FINITE_FIELD_POW_ITERATE finite_field_pow_iterate
IRREDUCIBLE_DIVIDES_DEGREE irreducible_divides_degree
IRREDUCIBLE_DIVIDES_DEGREE_BOUND irreducible_divides_degree_bound
IRREDUCIBLE_DIVIDES_XQ_MINUS_X irreducible_divides_xq_minus_x
IRREDUCIBLE_DIVIDES_XQ_MINUS_X_GEN irreducible_divides_xq_minus_x_gen
POLY_NONUNIT_DEGREE_GE_1 poly_nonunit_degree_ge_1
QUOTIENT_POLY_RING_FINITE_CARD quotient_poly_ring_finite_card
RABIN_IRREDUCIBILITY_NECESSARY rabin_irreducibility_necessary
RABIN_IRREDUCIBILITY_SUFFICIENT rabin_irreducibility_sufficient
RABIN_IRREDUCIBILITY_TEST rabin_irreducibility_test
RING_DIVIDES_POW_ITERATE ring_divides_pow_iterate
RING_DIVIDES_REDUCE ring_divides_reduce
RING_ENDOMORPHISM_FROBENIUS_ITERATE ring_endomorphism_frobenius_iterate
