imonorder.cpp File Reference

#include "imonorder.hpp"
#include "engine-includes.hpp"
#include <malloc.h>
#include "ExponentVector.hpp"
#include "overflow.hpp"

Go to the source code of this file.

Functions
std::vector< bool >	laurentVariables (const MonomialOrder *mo)
static void	mo_block_revlex (struct mo_block *b, int nvars)
static void	mo_block_grevlex (struct mo_block *b, int nvars)
static void	mo_block_grevlex2 (struct mo_block *b, int nvars)
static void	mo_block_grevlex4 (struct mo_block *b, int nvars)
static void	mo_block_grevlex_wts (struct mo_block *b, int nvars)
static void	mo_block_grevlex2_wts (struct mo_block *b, int nvars)
static void	mo_block_grevlex4_wts (struct mo_block *b, int nvars)
static void	mo_block_lex (struct mo_block *b, int nvars)
static void	mo_block_lex2 (struct mo_block *b, int nvars)
static void	mo_block_lex4 (struct mo_block *b, int nvars)
static void	mo_block_group_lex (struct mo_block *b, int nvars)
static void	mo_block_group_revlex (struct mo_block *b, int nvars)
static void	mo_block_wt_function (struct mo_block *b, int nvars, deg_t *wts)
MonomialOrder *	monomialOrderMake (const MonomialOrdering *mo)
void	monomialOrderFree (MonomialOrder *mo)
static void	MO_pack4 (int nvars, const int *expon, int *slots)
static void	MO_pack2 (int nvars, const int *expon, int *slots)
static void	MO_unpack4 (int nvars, const int *slots, int *expon)
static void	MO_unpack2 (int nvars, const int *slots, int *expon)
void	monomialOrderEncodeFromActualExponents (const MonomialOrder *mo, const_exponents expon, monomial result_psums)
void	monomialOrderDecodeToActualExponents (const MonomialOrder *mo, const_monomial psums, exponents_t expon)