# Generated by tools/translator: qualified upstream name -> MoonBit name.
CONG_IPRODUCT cong_iproduct
COPRIME_IPRODUCT coprime_iproduct
INT_JACOBI_0 int_jacobi_0
INT_JACOBI_1 int_jacobi_1
INT_JACOBI_2 int_jacobi_2
INT_JACOBI_BOUND int_jacobi_bound
INT_JACOBI_CASES int_jacobi_cases
INT_JACOBI_CONG int_jacobi_cong
INT_JACOBI_EQ_0 int_jacobi_eq_0
INT_JACOBI_LMUL int_jacobi_lmul
INT_JACOBI_LNEG int_jacobi_lneg
INT_JACOBI_LPOW int_jacobi_lpow
INT_JACOBI_MINUS1 int_jacobi_minus1
INT_JACOBI_NUMS int_jacobi_nums
INT_JACOBI_OF_2 int_jacobi_of_2
INT_JACOBI_POW_2 int_jacobi_pow_2
INT_JACOBI_RABS int_jacobi_rabs
INT_JACOBI_REM int_jacobi_rem
INT_JACOBI_REM_GEN int_jacobi_rem_gen
INT_JACOBI_RMUL int_jacobi_rmul
INT_JACOBI_RNEG int_jacobi_rneg
INT_JACOBI_RPOW int_jacobi_rpow
INT_JACOBI_SQUARED int_jacobi_squared
JACOBI jacobi_v1
JACOBI_0 jacobi_0
JACOBI_1 jacobi_1
JACOBI_2 jacobi_2
JACOBI_2_CASES jacobi_2_cases
JACOBI_ALT jacobi_alt
JACOBI_BOUND jacobi_bound
JACOBI_CASES jacobi_cases
JACOBI_CONG jacobi_cong
JACOBI_EQ_0 jacobi_eq_0
JACOBI_EQ_1 jacobi_eq_1
JACOBI_EULER jacobi_euler
JACOBI_EULER_ALT jacobi_euler_alt
JACOBI_EXP_2 jacobi_exp_2
JACOBI_EXP_2_ALT jacobi_exp_2_alt
JACOBI_GAUSS_LEMMA jacobi_gauss_lemma
JACOBI_LEXP jacobi_lexp
JACOBI_LMUL jacobi_lmul
JACOBI_MINUS1 jacobi_minus1
JACOBI_MINUS1_CASES jacobi_minus1_cases
JACOBI_MOD jacobi_mod
JACOBI_MOD_GEN jacobi_mod_gen
JACOBI_NE_MINUS1 jacobi_ne_minus1
JACOBI_NPRODUCT_LEFT jacobi_nproduct_left
JACOBI_NPRODUCT_RIGHT jacobi_nproduct_right
JACOBI_OF_2 jacobi_of_2
JACOBI_OF_2_CASES jacobi_of_2_cases
JACOBI_PRIME jacobi_prime
JACOBI_RECIPROCITY jacobi_reciprocity
JACOBI_RECIPROCITY_ALT jacobi_reciprocity_alt
JACOBI_REXP jacobi_rexp
JACOBI_RMUL jacobi_rmul
JACOBI_SQUARED jacobi_squared
JACOBI_ZERO jacobi_zero
int_jacobi int_jacobi
jacobi jacobi
