include/mblad/bad.hpp File Reference

#include <mblad/bap.hpp>

Go to the source code of this file.

Classes

• struct regular_chain< R >

Namespaces

• namespace mmx

Defines

• #define Coordinate   multivariate_coordinate<>
• #define Polynomial   multivariate<sparse_polynomial<rational> >
• #define Regular_chain   regular_chain<Polynomial>

Functions

• WRAP_INDIRECT_IMPL (template< typename R > inline, regular_chain< R >) template< typename R > syntactic flatten(const regular_chain< R > &chain)
• 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)
• vector< regular_chain
  < multivariate
  < sparse_polynomial< rational > > > > bad_rosenfeld_groebner (const vector< multivariate< sparse_polynomial< rational > > > &eqns, const vector< multivariate_coordinate<> > &indeps, const vector< multivariate_coordinate<> > &deps)

---

Detailed Description

Definition in file bad.hpp.

---

Define Documentation

#define Coordinate   multivariate_coordinate<>

Definition at line 19 of file bad.hpp.

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

#define Polynomial   multivariate<sparse_polynomial<rational> >

Definition at line 20 of file bad.hpp.

#define Regular_chain   regular_chain<Polynomial>

Definition at line 21 of file bad.hpp.

Referenced by mmx::bad_rosenfeld_groebner().