class POLYM_INTI < $IS_LT{POLYM_INTI},$STR |
---|
$STR | $IS_LT{_} | $IS_EQ |
S_poly_PID(g:SAME):SAME |
---|
S_poly_Zp(prime:INTI, g:SAME):SAME |
---|
divmod_Zp(prime:INTI,divisors:ARRAY{SAME},out q:ARRAY{SAME},out r:SAME) |
---|
**** | Do mod(prime) before use this. Multiple division. |
divmod_Zp_lt(prime:INTI,divisors:ARRAY{SAME},out q:ARRAY{SAME},out r:SAME) |
---|
**** | Do mod(prime) before use this. Multiple division. |
gcd_coeff_num:INTI |
---|
**** | gcd of numerator of coefficients as Rational |
init |
---|
mod(n:INTI):SAME |
---|
polym_rat:POLYM_RAT |
---|