solver_bb_floating.cpp File Reference

#include <sys/time.h>
#include <gmpxx.h>
#include "borderbasix/arithm/bignum.hpp"
#include "borderbasix/arithm/Zp.hpp"
#include <iostream>
#include <stdio.h>
#include <list>
#include <vector>
#include <map>
#include "borderbasix/mpoly.hpp"
#include <time.h>
#include "borderbasix/dlexorder.hpp"
#include "borderbasix/general.h"
#include "borderbasix/arithm/zpspecial.hpp"
#include "borderbasix/post_treatment/resolve2.hpp"

Macros
#define	nored
#define	REALSOLVE
#define	unimul
#define	uninf
#define	choice_fall   choice
#define	COMPUTE_MAT
#define	NBDIGITS   160
#define	COEFF   RR
#define	PETITFERMAT
#define	NEED_INIT_ELEM
#define	sparse2
#define	GOTZMANN
#define	WORKSPACE

Typedefs
typedef Monom< COEFF, dynamicexp<'x'> >	Mon
typedef Mon	mon
typedef MPoly< vector< Mon >, my_Dlex< Mon > >	Poly
typedef Base< predicat< mon > >	typB
typedef predicat< mon >	typpredicat

Functions
int	main (int argc, char **argv)

Variables
struct timeval initclock	tmpclock
double	tempsdssdp =0
double	tempsCDSP =0

Macro Definition Documentation

#define choice_fall   choice

#define COEFF   RR

#define COMPUTE_MAT

#define GOTZMANN

#define NBDIGITS   160

#define NEED_INIT_ELEM

#define nored

#define PETITFERMAT

#define REALSOLVE

#define sparse2

#define unimul

#define uninf

#define WORKSPACE

Typedef Documentation

typedef Monom<COEFF , dynamicexp<'x'> > Mon

typedef Mon mon

typedef MPoly<vector<Mon>, my_Dlex<Mon> > Poly

typedef Base<predicat<mon> > typB

typedef predicat<mon> typpredicat

Function Documentation

int main	(	int	argc,
		char **	argv
	)

Variable Documentation

double tempsCDSP =0

double tempsdssdp =0

struct timeval initclock tmpclock