src/bad.cpp File Reference

#include <mblad/bad.hpp>
#include <bad.h>

Go to the source code of this file.

Namespaces

• namespace mmx

Defines

• #define M   vector<nat>
• #define Monomial   monomial<M>
• #define Sparse_polynomial_Z   sparse_polynomial<integer>
• #define Sparse_polynomial   sparse_polynomial<rational>
• #define Coordinate   multivariate_coordinate<>
• #define Coordinates   multivariate_coordinates<>
• #define Polynomial_Z   multivariate<Sparse_polynomial_Z>
• #define Polynomial   multivariate<Sparse_polynomial>
• #define Regular_chain   regular_chain<Polynomial>

Functions

• vector< regular_chain
  < multivariate
  < sparse_polynomial< rational > > > > bad_rosenfeld_groebner (const vector< multivariate< sparse_polynomial< rational > > > &eqns, const vector< multivariate< sparse_polynomial< rational > > > &ineqns, const vector< multivariate_coordinate<> > &indeps, const vector< multivariate_coordinate<> > &deps)

---

Detailed Description

Definition in file bad.cpp.

---

Define Documentation

#define Coordinate   multivariate_coordinate<>

Definition at line 22 of file bad.cpp.

#define Coordinates   multivariate_coordinates<>

Definition at line 23 of file bad.cpp.

Referenced by mmx::to_bap_polynomial_mpq().

#define M   vector<nat>

Definition at line 18 of file bad.cpp.

Referenced by mmx::from_bap_polynomial_mpz(), and mmx::to_bap_polynomial_mpq().

#define Monomial   monomial<M>

Definition at line 19 of file bad.cpp.

Referenced by mmx::from_bap_polynomial_mpz().

#define Polynomial   multivariate<Sparse_polynomial>

Definition at line 25 of file bad.cpp.

#define Polynomial_Z   multivariate<Sparse_polynomial_Z>

Definition at line 24 of file bad.cpp.

#define Regular_chain   regular_chain<Polynomial>

Definition at line 26 of file bad.cpp.

#define Sparse_polynomial   sparse_polynomial<rational>

Definition at line 21 of file bad.cpp.

#define Sparse_polynomial_Z   sparse_polynomial<integer>

Definition at line 20 of file bad.cpp.

Referenced by mmx::from_bap_polynomial_mpz().