franzi-interface.cpp File Reference

#include "franzi-brp.hpp"
#include "matrix-con.hpp"
#include "matrix.hpp"

Go to the source code of this file.

Functions
void	testSPolynomial ()
void	gb (IntermediateBasis &F, int n)
brMonomial	exponentsToLong (int nvars, const_exponents exp)
void	longToExponents (int nvars, brMonomial mono, exponents_t exp)
IntermediateBasis	BRPSfromMatrix (const Matrix *m)
const Matrix *	BRPStoMatrix (const PolynomialRing *P, const IntermediateBasis &F)
const Matrix *	rawGbBoolean (const Matrix *m)