20#ifndef MPS_FORMAL_POLYNOMIAL_H_
21#define MPS_FORMAL_POLYNOMIAL_H_
25struct mps_formal_polynomial;
27typedef struct mps_formal_polynomial mps_formal_polynomial;
29mps_formal_polynomial * mps_formal_polynomial_new_with_monomial (mps_formal_monomial *);
31mps_formal_polynomial * mps_formal_polynomial_sum_eq (mps_formal_polynomial * p,
32 mps_formal_monomial * m);
34mps_formal_polynomial * mps_formal_polynomial_sub_eq (mps_formal_polynomial * p,
35 mps_formal_monomial * m);
37mps_formal_polynomial * mps_formal_polynomial_sum_eq_p (mps_formal_polynomial * p,
38 mps_formal_polynomial * m);
40mps_formal_polynomial * mps_formal_polynomial_sub_eq_p (mps_formal_polynomial * p,
41 mps_formal_polynomial * m);
43mps_monomial_poly * mps_formal_polynomial_create_monomial_poly (mps_formal_polynomial * p,
46mps_formal_polynomial * mps_formal_polynomial_mul (mps_formal_polynomial * p,
47 mps_formal_polynomial * q);
49mps_formal_polynomial * mps_formal_polynomial_mul_eq (mps_formal_polynomial * p,
50 mps_formal_polynomial * q);
52void mps_formal_polynomial_print (mps_formal_polynomial * p);
54void mps_formal_polynomial_free (mps_formal_polynomial * p);
154 std::vector<Monomial> mMonomials;
159 std::ostream& operator<<(std::ostream& os,
const Polynomial& p);
this struct holds the state of the mps computation
Definition: context.h:55
Data regarding a polynomial represented in the monomial base.
Definition: monomial-poly.h:44