include/mblad/bap.hpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : bap.hpp
* DESCRIPTION: wrapper of the bap 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_BAP_HPP
#define __MMX_BAP_HPP
#include <multimix/sparse_polynomial_integer.hpp>
#include <multimix/sparse_polynomial_rational.hpp>
#include <multimix/multivariate_coordinate.hpp>
#include <multimix/multivariate_polynomial.hpp>
#include <mblad/bav.hpp>

namespace mmx {
#define Coordinate multivariate_coordinate<>
#define Polynomial_Z multivariate<sparse_polynomial<integer> >
#define Polynomial_Q multivariate<sparse_polynomial<rational> >

void*
to_bap_polynomial_mpq (const blad_session* _blad, const Polynomial_Q& eqn);

Polynomial_Z
from_bap_polynomial_mpz (const blad_session* _blad, const void* pol);

#undef Coordinate
#undef Polynomial_Z
#undef Polynomial_Q
} // namespace mmx
#endif // __MMX_BAP_HPP

---