#include <fstream>
#include <ctime>
#include <limits>
#include <realroot/GMP.hpp>
#include <realroot/Seq.hpp>
#include <realroot/polynomial_xml.hpp>
#include <realroot/solver_mv_monomial.hpp>
Macros | |
#define | SOL double |
#define | COEFF double |
Typedefs | |
typedef polynomial< COEFF, with< MonomialTensor > > | Polynomial |
typedef Polynomial | P |
Functions | |
template<class C > | |
void | writepoly_axel (std::ofstream &file, Seq< std::string > Sd, Seq< Interval< C > > dom) |
void | open_axel (std::ofstream &file, char *fname) |
void | close_axel (std::ofstream &file) |
template<class T > | |
void | write_axelb1 (std::ofstream &file, Seq< Seq< Interval< T > > > d) |
template<class T > | |
void | write_axelb2 (std::ofstream &file, Seq< Seq< Interval< T > > > d) |
template<class P , class T > | |
void | write_axel (std::ofstream &file, Seq< P > Sd, Seq< Interval< T > > dom) |
template<class P , class T > | |
void | write_axel_2 (std::ofstream &file, Seq< P > Sd, Seq< Interval< T > > dom) |
template<class C > | |
void | writecenters_axel (std::ofstream &file, Seq< Seq< Interval< C > > > boxes) |
int | main (int argc, char **argv) |
#define COEFF double |
#define SOL double |
typedef Polynomial P |
typedef polynomial< COEFF, with<MonomialTensor> > Polynomial |
void close_axel | ( | std::ofstream & | file | ) |
int main | ( | int | argc, |
char ** | argv | ||
) |
void open_axel | ( | std::ofstream & | file, |
char * | fname | ||
) |
void write_axel | ( | std::ofstream & | file, |
Seq< P > | Sd, | ||
Seq< Interval< T > > | dom | ||
) |
void write_axel_2 | ( | std::ofstream & | file, |
Seq< P > | Sd, | ||
Seq< Interval< T > > | dom | ||
) |
void writecenters_axel | ( | std::ofstream & | file, |
Seq< Seq< Interval< C > > > | boxes | ||
) |