28 std::deque<Monomial*>
mon;
73 std::deque<Monomial*>::const_iterator
mon_begin()
const {
return mon.begin();};
80 std::deque<Monomial*>::const_iterator
mon_end()
const {
return mon.end();};
115 void print(FILE * file,
bool end = 1)
const;
mpz_t mod_coeff
gmp for 2^NN
Definition: polynomial.cpp:392
Term * get_lt() const
Definition: polynomial.h:100
void mon_push_back(Monomial *m)
Definition: polynomial.h:87
void enlarge_mstack()
Definition: polynomial.cpp:96
Polynomial * multiply_poly(const Polynomial *p1, const Polynomial *p2)
Definition: polynomial.cpp:304
int min_term_size() const
Definition: polynomial.cpp:74
void push_mstack_end(Monomial *t)
Definition: polynomial.cpp:118
mpz_t minus_one
gmp for -1
Definition: polynomial.cpp:390
void deallocate_mstack()
Definition: polynomial.cpp:112
void set_level(int level_)
Definition: polynomial.h:66
int level
level of polynomials needed for certificates
Definition: polynomial.h:26
bool mstack_is_empty()
Definition: polynomial.cpp:116
Polynomial * copy() const
Definition: polynomial.cpp:17
std::deque< Monomial * >::const_iterator mon_end() const
Definition: polynomial.h:80
void print(FILE *file, bool end=1) const
Definition: polynomial.cpp:30
bool is_constant_one_poly() const
Definition: polynomial.cpp:62
int get_idx() const
Definition: polynomial.h:46
void push_mstack(Monomial *t)
Definition: polynomial.cpp:133
void clear_mstack()
Definition: polynomial.cpp:108
int idx
index as used in pac proofs
Definition: polynomial.h:24
mpz_t base
gmp for 2
Definition: polynomial.cpp:391
int get_level() const
Definition: polynomial.h:59
~Polynomial()
Definition: polynomial.cpp:47
Definition: monomial.h:23
void init_mpz(unsigned exp)
Definition: polynomial.cpp:396
std::deque< Monomial * > mon
sorted deque of monomials
Definition: polynomial.h:28
Polynomial * multiply_poly_with_constant(const Polynomial *p1, mpz_t c)
Definition: polynomial.cpp:337
Polynomial * build_poly()
Definition: polynomial.cpp:212
std::deque< Monomial * >::const_iterator mon_begin() const
Definition: polynomial.h:73
Polynomial * divide_by_term(const Polynomial *p1, const Term *t)
Definition: polynomial.cpp:359
contains the class Monomial and further functions to manipulate monomials
Definition: polynomial.h:23
Polynomial()
Definition: polynomial.cpp:12
void set_idx(int idx_)
Definition: polynomial.h:53
Polynomial * add_poly(const Polynomial *p1, const Polynomial *p2)
Definition: polynomial.cpp:224
void clear_mpz()
Definition: polynomial.cpp:407
void mon_push_front(Monomial *m)
Definition: polynomial.h:94
mpz_t one
gmp for 1
Definition: polynomial.cpp:389
bool is_constant_zero_poly() const
Definition: polynomial.cpp:56