#include <syzextra.h>

Public Member Functions
	CLCM (const ideal &L, const SchreyerSyzygyComputationFlags &flags)

bool	Check (const poly m) const

Public Member Functions inherited from SchreyerSyzygyComputationFlags
	SchreyerSyzygyComputationFlags (idhdl rootRingHdl)

	SchreyerSyzygyComputationFlags (const SchreyerSyzygyComputationFlags &attr)

void	nextSyzygyLayer () const

Private Attributes
bool	m_compute

const unsigned int	m_N
	number of ring variables More...

Additional Inherited Members
Data Fields inherited from SchreyerSyzygyComputationFlags
const int	OPT__DEBUG
	output all the intermediate states More...

const int	OPT__LEAD2SYZ
	? More...

const int	OPT__TAILREDSYZ
	Reduce syzygy tails wrt the leading syzygy terms. More...

const int	OPT__HYBRIDNF
	Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection! More...

const int	OPT__IGNORETAILS
	ignore tails and compute the pure Schreyer frame More...

int	OPT__SYZNUMBER
	Syzygy level (within a resolution) More...

const int	OPT__TREEOUTPUT
	output lifting tree More...

const int	OPT__SYZCHECK
	CheckSyzygyProperty: TODO. More...

const bool	OPT__PROT
	TEST_OPT_PROT. More...

const int	OPT__NOCACHING
	no caching/stores/lookups More...

const ring	m_rBaseRing
	global base ring More...

Detailed Description

Definition at line 200 of file syzextra.h.

Constructor & Destructor Documentation

CLCM::CLCM	(	const ideal &	L,
		const SchreyerSyzygyComputationFlags &	flags
	)

bool CLCM::Check ( const poly m ) const

bool CLCM::m_compute

private

Definition at line 208 of file syzextra.h.

const unsigned int CLCM::m_N

private

number of ring variables

Definition at line 210 of file syzextra.h.

The documentation for this class was generated from the following file: