include/mblad/bad.hpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : bad.hpp
* DESCRIPTION: wrapper of the bad library
* COPYRIGHT  : (C) 2012  Gregoire Lecerf
*******************************************************************************
* This software falls under the GNU general public license and comes WITHOUT
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
* If you don't have this file, write to the Free Software Foundation, Inc.,
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************/

#ifndef __MMX_BAD_HPP
#define __MMX_BAD_HPP
#include <mblad/bap.hpp>

namespace mmx {
#define Coordinate multivariate_coordinate<>
#define Polynomial multivariate<sparse_polynomial<rational> >
#define Regular_chain regular_chain<Polynomial>

// Regular chain
template<typename R>
struct regular_chain {
MMX_ALLOCATORS;
  pair<vector<R>, vector<generic> > rep;
  inline regular_chain () {}
  inline regular_chain (const pair<vector<R>, vector<generic> >& rep2) :
    rep (rep2) {}
  inline regular_chain (const regular_chain<R>& chain) :
    rep (*chain) {}
  inline regular_chain (const vector<R>& decision_system,
                        const vector<generic>& attrib) :
    rep (decision_system, attrib) {}
  inline pair<vector<R>, vector<generic> > operator * () const {
    return rep; }
};

WRAP_INDIRECT_IMPL(template<typename R> inline,regular_chain<R>)

template<typename R> syntactic
flatten (const regular_chain<R>& chain) {
  return flatten (*chain); }

// Top level functions
vector<Regular_chain>
bad_rosenfeld_groebner (const vector<Polynomial>& eqns,
                        const vector<Polynomial>& ineqns,
                        const vector<Coordinate>& indeps,
                        const vector<Coordinate>& deps);

inline vector<Regular_chain>
bad_rosenfeld_groebner (const vector<Polynomial>& eqns,
                        const vector<Coordinate>& indeps,
                        const vector<Coordinate>& deps) {
  return bad_rosenfeld_groebner (eqns, vec<Polynomial> (), indeps, deps); }

#undef Coordinate
#undef Polynomial
} // namespace mmx
#endif // __MMX_BAD_HPP

---