solver_opt.cpp File Reference

#include "borderbasix/borderbasix-config.hpp"
#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 <sys/time.h>
#include "borderbasix/dlexorder.hpp"
#include "borderbasix/general.h"
#include "borderbasix/arithm/zpspecial.hpp"
#include "borderbasix/post_treatment/resolve2.hpp"

Macros
#define	WITH_TIMING
#define	nored
#define	RATIONAL
#define	REALSOLVE
#define	unimul
#define	uninf
#define	choice_grevlex   choice
#define	COMPUTE_MAT
#define	NBDIGITS   160
#define	MON_PREMIER   32051
#define	COEFF   RR
#define	PETITFERMAT
#define	NEED_INIT_ELEM
#define	sdp   sdp
#define	WORKSPACE
#define	SDPA
#define	DECOM
#define	MINMarta

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	marta_tempsdssdp =0
double	tempsdssdp =0
double	tempsCDSP =0

Macro Definition Documentation

#define choice_grevlex   choice

#define COEFF   RR

#define COMPUTE_MAT

#define DECOM

#define MINMarta

#define MON_PREMIER   32051

#define NBDIGITS   160

#define NEED_INIT_ELEM

#define nored

#define PETITFERMAT

#define RATIONAL

#define REALSOLVE

#define sdp   sdp

#define SDPA

#define unimul

#define uninf

#define WITH_TIMING

#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 marta_tempsdssdp =0

double tempsCDSP =0

double tempsdssdp =0

struct timeval initclock tmpclock