#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

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

const int	OPT__LEAD2SYZ
	?

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

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

const int	OPT__IGNORETAILS
	ignore tails and compute the pure Schreyer frame

int	OPT__SYZNUMBER
	Syzygy level (within a resolution)

const int	OPT__TREEOUTPUT
	output lifting tree

const int	OPT__SYZCHECK
	CheckSyzygyProperty: TODO.

const bool	OPT__PROT
	TEST_OPT_PROT.

const int	OPT__NOCACHING
	no caching/stores/lookups

const ring	m_rBaseRing
	global base ring

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.

private

number of ring variables

Definition at line 210 of file syzextra.h.

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