#include <algorithm>
#include <iostream>
#include <string>
#include <fstream>
#include <iomanip>
#include <iterator>
#include "linalg/clapack.h"
#include "sdpinclude.hpp"
#include "genekersdpa.hpp"

Classes
struct	Dlexpolprod< M >

Namespaces
	coinor

Macros
#define	NOSHORTS

Functions
template<typename typP , typename typPk , typename Base >
void	Crochetchoix (const typP &P, typPk &Pk, typPk &redspol, int k, Base &b)

template<typename typPk >
void	stab (typPk &Pk)

template<typename T >
void	my_merge (T &l1, const T &l2)

template<typename mon >
mon	lcm (const mon &m1, const mon &m2)

template<typename typppcm , typename Base >
int	compute_ppcm (typppcm &ppcm, const Base &b)

int	GB_stop (int k)

template<typename mon , typename Base , typename typppcm , typename typMk >
int	goodspol (const mon &m1, const mon &m2, typppcm &ppcm, const Base &b, const typMk &Spoldejavu)

template<typename typPk , typename Base , typename typMk >
typPk	Spolordsup (const typPk &Pk, const Base &b, const typMk &Spoldejavu)

template<typename typP >
int	minmaxdegP (typP P, int &maxdeg)

template<typename typP >
typP	Crochet (const typP &P, int k)

template<typename mon , typename T , typename monomial_server >
std::list< pol< mon, T > >	Crochet (const std::list< pol< mon, T > > &P, int k, monomial_server &serv)

template<typename typP , typename Base >
void	Setnbvars (const typP &tmpPk, Base &b)

template<typename typP >
int	Setnvars (const typP &tmpPk)

template<typename typP , typename typMk , typename Base , typename monomial_server >
void	DoBaseMk (const typP &tmpPk, typMk &Mk, Base &b, monomial_server &serv)

template<typename typPk , typename typMk , typename typmat >
typmat *	MatrixOf (const typPk &L, const typMk &lm, const typmat &mat)

template<typename typMat , typename typP , typename typPk , typename typMk , typename Base , typename typdump , class monomial_server , typename workspace >
void	init_algo (typP &P, int &nouveaumon, int &maxdeg, int &k, typPk &Pk, typMk &Mk, Base &b, typdump &dump, workspace &w, monomial_server &serv)

template<typename pol , typename coeff , typename workspace >
void	my_plus (pol &res, const pol &nf, const coeff toto, workspace *w)

template<typename pol , typename coeff >
void	my_plus (pol &res, const pol &nf, const coeff toto, int removeme)

template<typename mon , typename Base >
int	indice2 (int i, int j, const Base &b)

template<typename typpol , typename typdump , typename Base >
typpol	nf (int var, int indmon, const typdump &dump, const Base &b)

void	getperm (int perm, int sizeperm, int indextab)

template<typename typpol , typename typdump , typename Base , typename mon , typename workspace , typename monomial_server >
typpol	mult (int i, const typpol &pol, const typdump &dump, const Base &b, mon **exce, int &exsize, workspace &w, monomial_server &serv)

template<typename Mon , typename Base >
Mon	my_divmon (const Mon &mon, int i, const Base &b)

template<typename typmon , typename Base >
int	GoodDir (const typmon &m, int i, const Base &b)

template<typename typPk , typename typP , typename typexceed , typename typsize , typename Base , typename monomial_server >
void	conv_merge (typPk &Pk, typP &P, typexceed &ex, typsize &sizeex, const Base &b, monomial_server &serv)

template<typename typMk >
int	member (const typMk &tmpMk, const typename typMk::value_type mon)

template<typename typMat , typename typPk , typename typP , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >
int	newPkMkMatrixof (typMat &mat, typPk &Pk, typP &P, typMk &Mk, int &k, Base &b, typdump &dump, typrecall &recall, workspace &w, monomial_server &serv)

template<typename typdump , typename mon , typename pol >
void	findcorresppol (const mon &m, const typdump &dump, pol &res)

template<typename iterator , typename mon , typename Base >
void	varmult (iterator iter1, iterator iter2, mon &var1, mon &var2, const Base &b)

template<typename mon , typename pol , typename typdump , typename Base , typename monomial_server >
pol	halfred (const mon &targetind, const pol &p, const typdump &dump, const Base &b, monomial_server &serv)

template<typename typPk , typename typdump , typename Base , typename workspace , typename monomial_server >
void	ReduceSpol (typPk &S, const typdump &dump, typPk &redspol, const Base &b, workspace &w, monomial_server &serv)

template<typename typPk , typename monomial_server >
int	mindeg (const typPk &l, monomial_server &serv)

template<typename coeff , typename typiterpk , typename workspace >
void	update_crochetchoix (typiterpk &iterPk, typiterpk &iter, int tmpind, workspace &w)

template<typename typP , typename typPk , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >
void	NewCrochetchoix (typP &P, typPk &Pk, typMk &Mk, typPk &redspol, int &k, typdump &dump, Base &b, typrecall &recall, workspace &w, monomial_server &serv)

template<typename typPk >
void	NewDestroyredspol (typPk &redspol, const typPk &Pk)

template<typename typMk >
void	Listedejafait (const typMk &Mk, typMk &Spoldejavu)

template<typename Base , typename typstock , typename typdump >
void	enumeratemon (typstock &stockmon, int k, const Base &b, const typdump &dump)

template<typename typprod , typename Base , typename typstock , typename typdump >
void	computeprod (typprod &prod, typstock &stockmon, Base &b, typdump &dump)

template<typename T >
int	dgesvd_ (char jobu, char jobvt, long m, long n, T a, long lda, T s, T u, long ldu, T vt, long ldvt, T work, long lwork, long info)

template<typename typP , typename typdump , typename Base , typename typserv >
void	generickernel (typP &newpol, int k, const typdump &dump, Base &b, typserv &serv)

template<typename typmatmap , typename typserv >
void	write_to_sdpa_fic (typmatmap &matrixmap, int &dim, typserv &serv, int d)

template<typename typmatmap , typename coeff , typename typserv >
void	read_sol_from_sdpa (coeff *&sol, typmatmap &matmap, int dim, typserv &serv)

template<typename typP , typename typdump , typename Base , typename typserv >
void	generickernelsdpa (typP &newpol, int k, const typdump &dump, Base &b, typserv &serv)

template<typename typdump , typename Base , typename typserv >
int	testsdp (int k, const typdump &dump, const Base &b, const typserv &serv)

template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >
void	algo (typP P, typdump &dump, Base &b, monomial_server &serv)

template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >
void	algo (typP P, typdump &dump, Base &b, monomial_server &serv, typP F)

Macro Definition Documentation

#define NOSHORTS

Function Documentation

template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >

void algo	(	typP	P,
		typdump &	dump,
		Base &	b,
		monomial_server &	serv
	)

template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >

void algo	(	typP	P,
		typdump &	dump,
		Base &	b,
		monomial_server &	serv,
		typP	F
	)

template<typename typppcm , typename Base >

int compute_ppcm	(	typppcm &	ppcm,
		const Base &	b
	)

template<typename typprod , typename Base , typename typstock , typename typdump >

void computeprod	(	typprod &	prod,
		typstock &	stockmon,
		Base &	b,
		typdump &	dump
	)

template<typename typPk , typename typP , typename typexceed , typename typsize , typename Base , typename monomial_server >

void conv_merge	(	typPk &	Pk,
		typP &	P,
		typexceed &	ex,
		typsize &	sizeex,
		const Base &	b,
		monomial_server &	serv
	)

template<typename typP >

typP Crochet	(	const typP &	P,
		int	k
	)

template<typename mon , typename T , typename monomial_server >

std::list<pol<mon,T> > Crochet	(	const std::list< pol< mon, T > > &	P,
		int	k,
		monomial_server &	serv
	)

template<typename typP , typename typPk , typename Base >

void Crochetchoix	(	const typP &	P,
		typPk &	Pk,
		typPk &	redspol,
		int	k,
		Base &	b
	)

template<typename T >

int dgesvd_	(	char *	jobu,
		char *	jobvt,
		long *	m,
		long *	n,
		T *	a,
		long *	lda,
		T *	s,
		T *	u,
		long *	ldu,
		T *	vt,
		long *	ldvt,
		T *	work,
		long *	lwork,
		long *	info
	)

template<typename typP , typename typMk , typename Base , typename monomial_server >

void DoBaseMk	(	const typP &	tmpPk,
		typMk &	Mk,
		Base &	b,
		monomial_server &	serv
	)

template<typename Base , typename typstock , typename typdump >

void enumeratemon	(	typstock &	stockmon,
		int	k,
		const Base &	b,
		const typdump &	dump
	)

template<typename typdump , typename mon , typename pol >

void findcorresppol	(	const mon &	m,
		const typdump &	dump,
		pol &	res
	)

int GB_stop ( int k )

template<typename typP , typename typdump , typename Base , typename typserv >

void generickernel	(	typP &	newpol,
		int	k,
		const typdump &	dump,
		Base &	b,
		typserv &	serv
	)

template<typename typP , typename typdump , typename Base , typename typserv >

void generickernelsdpa	(	typP &	newpol,
		int	k,
		const typdump &	dump,
		Base &	b,
		typserv &	serv
	)

void getperm	(	int *	perm,
		int	sizeperm,
		int *	indextab
	)

template<typename typmon , typename Base >

int GoodDir	(	const typmon &	m,
		int	i,
		const Base &	b
	)

template<typename mon , typename Base , typename typppcm , typename typMk >

int goodspol	(	const mon &	m1,
		const mon &	m2,
		typppcm &	ppcm,
		const Base &	b,
		const typMk &	Spoldejavu
	)

template<typename mon , typename pol , typename typdump , typename Base , typename monomial_server >

pol halfred	(	const mon &	targetind,
		const pol &	p,
		const typdump &	dump,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename Base >

int indice2	(	int	i,
		int	j,
		const Base &	b
	)

template<typename typMat , typename typP , typename typPk , typename typMk , typename Base , typename typdump , class monomial_server , typename workspace >

void init_algo	(	typP &	P,
		int &	nouveaumon,
		int &	maxdeg,
		int &	k,
		typPk &	Pk,
		typMk &	Mk,
		Base &	b,
		typdump &	dump,
		workspace &	w,
		monomial_server &	serv
	)

template<typename mon >

mon lcm	(	const mon &	m1,
		const mon &	m2
	)

template<typename typMk >

void Listedejafait	(	const typMk &	Mk,
		typMk &	Spoldejavu
	)

template<typename typPk , typename typMk , typename typmat >

typmat* MatrixOf	(	const typPk &	L,
		const typMk &	lm,
		const typmat &	mat
	)

template<typename typMk >

int member	(	const typMk &	tmpMk,
		const typename typMk::value_type	mon
	)

template<typename typPk , typename monomial_server >

int mindeg	(	const typPk &	l,
		monomial_server &	serv
	)

template<typename typP >

int minmaxdegP	(	typP	P,
		int &	maxdeg
	)

template<typename typpol , typename typdump , typename Base , typename mon , typename workspace , typename monomial_server >

typpol mult	(	int	i,
		const typpol &	pol,
		const typdump &	dump,
		const Base &	b,
		mon **	exce,
		int &	exsize,
		workspace &	w,
		monomial_server &	serv
	)

inline

template<typename Mon , typename Base >

Mon my_divmon	(	const Mon &	mon,
		int	i,
		const Base &	b
	)

template<typename T >

void my_merge	(	T &	l1,
		const T &	l2
	)

template<typename pol , typename coeff , typename workspace >

void my_plus	(	pol &	res,
		const pol &	nf,
		const coeff	toto,
		workspace *	w
	)

inline

template<typename pol , typename coeff >

void my_plus	(	pol &	res,
		const pol &	nf,
		const coeff	toto,
		int	removeme
	)

inline

template<typename typP , typename typPk , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >

void NewCrochetchoix	(	typP &	P,
		typPk &	Pk,
		typMk &	Mk,
		typPk &	redspol,
		int &	k,
		typdump &	dump,
		Base &	b,
		typrecall &	recall,
		workspace &	w,
		monomial_server &	serv
	)

template<typename typPk >

void NewDestroyredspol	(	typPk &	redspol,
		const typPk &	Pk
	)

template<typename typMat , typename typPk , typename typP , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >

int newPkMkMatrixof	(	typMat &	mat,
		typPk &	Pk,
		typP &	P,
		typMk &	Mk,
		int &	k,
		Base &	b,
		typdump &	dump,
		typrecall &	recall,
		workspace &	w,
		monomial_server &	serv
	)

!! ATTENTION C VITAL DE PAS FAIRE N'IMPORTE QUOI AVEC LES IND

template<typename typpol , typename typdump , typename Base >

typpol nf	(	int	var,
		int	indmon,
		const typdump &	dump,
		const Base &	b
	)

template<typename typmatmap , typename coeff , typename typserv >

void read_sol_from_sdpa	(	coeff *&	sol,
		typmatmap &	matmap,
		int	dim,
		typserv &	serv
	)

template<typename typPk , typename typdump , typename Base , typename workspace , typename monomial_server >

void ReduceSpol	(	typPk &	S,
		const typdump &	dump,
		typPk &	redspol,
		const Base &	b,
		workspace &	w,
		monomial_server &	serv
	)

template<typename typP , typename Base >

void Setnbvars	(	const typP &	tmpPk,
		Base &	b
	)

template<typename typP >

int Setnvars ( const typP & tmpPk )

template<typename typPk , typename Base , typename typMk >

typPk Spolordsup	(	const typPk &	Pk,
		const Base &	b,
		const typMk &	Spoldejavu
	)

template<typename typPk >

void stab ( typPk & Pk )

template<typename typdump , typename Base , typename typserv >

int testsdp	(	int	k,
		const typdump &	dump,
		const Base &	b,
		const typserv &	serv
	)

template<typename coeff , typename typiterpk , typename workspace >

void update_crochetchoix	(	typiterpk &	iterPk,
		typiterpk &	iter,
		int	tmpind,
		workspace &	w
	)

inline

template<typename iterator , typename mon , typename Base >

void varmult	(	iterator	iter1,
		iterator	iter2,
		mon &	var1,
		mon &	var2,
		const Base &	b
	)

template<typename typmatmap , typename typserv >

void write_to_sdpa_fic	(	typmatmap &	matrixmap,
		int &	dim,
		typserv &	serv,
		int	d
	)

Classes

Namespaces

Macros

Functions

Macro Definition Documentation

Function Documentation