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