943{
944 if (u3 == nullptr) return true;
945
946 if (level == 0)
947 {
948 long c = 0;
950 if (c == 0) return false;
953 }
954 else
955 {
956 TowerPolynomial c = nullptr;
958 if (c == nullptr) return false;
962 }
963 return true;
964}
void mult_by_coeff_0(TowerPolynomial &f, long b)
void mult_by_coeff_n(int level, TowerPolynomial &f, TowerPolynomial b)
void make_monic_n(int level, TowerPolynomial &f, TowerPolynomial &result_multiplier)
static void dealloc_poly(TowerPolynomial &f)
void make_monic_0(TowerPolynomial &f, long &result_multiplier)