newf4 Namespace Reference

Classes
class	Basis
class	GBF4Computation
class	GBF4Interface
class	MacaulayMatrix
struct	Column
struct	Row
class	MonomialHashFunction
struct	HashTableStats
class	MonomialHashTable
struct	MonomialInfo
class	MonomialLookupTable
class	MonomialView
class	PolynomialList
class	Polynomial
class	PolynomialListStreamCollector
	implements the stream functions for creating a PolynomialList from a stream More...
struct	SPair
class	SPairSet

Typedefs
using	Index = int32_t
using	MonomialIndex = int32_t
using	MonomialInt = int32_t
using	ComponentIndex = int32_t
using	HashInt = uint64_t
using	MonomialMask = uint64_t
using	Coefficient = int32_t
using	VarIndex = int32_t
using	Exponent = int32_t
using	Component = int32_t

Enumerations
enum class	GBPolyStatus {   Gen , MinGen , MinGB , NonMinGB ,   Retired }
enum class	Strategy { Normal }
enum class	SPairType { Ring , Exterior , SPair , Gen }

Functions
std::string	toString (GBPolyStatus status)
auto	createGBF4Interface (const Matrix *inputMatrix, const std::vector< int > &variableWeights, Strategy strategy, int numThreads) -> GBComputation *
void	populateComputation (const Matrix *M, GBF4Computation &C)
const Matrix *	toMatrix (const FreeModule *target, const PolynomialList &Fs)
template<typename S>
void	toStream (const PolynomialList &Fs, S &str)