SchreyerSyzygyComputationFlags Struct Reference

Computation attribute storage. More...

#include <syzextra.h>

Public Member Functions
	SchreyerSyzygyComputationFlags (idhdl rootRingHdl)
	SchreyerSyzygyComputationFlags (const SchreyerSyzygyComputationFlags &attr)
void	nextSyzygyLayer () const

Data Fields
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

Computation attribute storage.

Definition at line 189 of file syzextra.h.

Constructor & Destructor Documentation

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags

(

idhdl

rootRingHdl

)

Definition at line 2034 of file syzextra.cc.

                                                                               :
    OPT__DEBUG( atGetInt(rootRingHdl,"DEBUG", 0) ),
    OPT__LEAD2SYZ( atGetInt(rootRingHdl, "LEAD2SYZ", 0) ),
    OPT__TAILREDSYZ( atGetInt(rootRingHdl, "TAILREDSYZ", 1) ),
    OPT__HYBRIDNF( atGetInt(rootRingHdl, "HYBRIDNF", 0) ),
    OPT__IGNORETAILS( atGetInt(rootRingHdl, "IGNORETAILS", 0) ),
    OPT__SYZNUMBER( atGetInt(rootRingHdl, "SYZNUMBER", 0) ),
    OPT__TREEOUTPUT( atGetInt(rootRingHdl, "TREEOUTPUT", 0) ),
    OPT__SYZCHECK( atGetInt(rootRingHdl, "SYZCHECK", 0) ),
    OPT__PROT(TEST_OPT_PROT),
    OPT__NOCACHING( atGetInt(rootRingHdl, "NOCACHING", 0) ),
    m_rBaseRing( rootRingHdl->data.uring )
{
#ifndef SING_NDEBUG
  if( OPT__DEBUG & 0 )
  {
    PrintS("SchreyerSyzygyComputationFlags: \n");
    Print("        DEBUG: \t%d\n", OPT__DEBUG);
//    Print("   SYZCHECK  : \t%d\n", OPT__SYZCHECK);
    Print("     LEAD2SYZ: \t%d\n", OPT__LEAD2SYZ);
    Print("   TAILREDSYZ: \t%d\n", OPT__TAILREDSYZ);
    Print("  IGNORETAILS: \t%d\n", OPT__IGNORETAILS);
    Print("   TREEOUTPUT: \t%d\n", OPT__TREEOUTPUT);
    Print("     SYZCHECK: \t%d\n", OPT__SYZCHECK);
  }
#endif

  // TODO: just current setting!
  assume( rootRingHdl == currRingHdl );
  assume( rootRingHdl->typ == RING_CMD );
  assume( m_rBaseRing == currRing );
  // move the global ring here inside???
}

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( const SchreyerSyzygyComputationFlags &  attr )

inline

Definition at line 193 of file syzextra.h.

                                                                              :
        OPT__DEBUG(attr.OPT__DEBUG),
        OPT__LEAD2SYZ(attr.OPT__LEAD2SYZ),  OPT__TAILREDSYZ(attr.OPT__TAILREDSYZ),
        OPT__HYBRIDNF(attr.OPT__HYBRIDNF), OPT__IGNORETAILS(attr.OPT__IGNORETAILS),
        OPT__SYZNUMBER(attr.OPT__SYZNUMBER), OPT__TREEOUTPUT(attr.OPT__TREEOUTPUT),
        OPT__SYZCHECK(attr.OPT__SYZCHECK), OPT__PROT(attr.OPT__PROT),
        OPT__NOCACHING(attr.OPT__NOCACHING),
        m_rBaseRing(attr.m_rBaseRing)
    {}

Member Function Documentation

void SchreyerSyzygyComputationFlags::nextSyzygyLayer ( ) const

inline

Definition at line 223 of file syzextra.h.

  {
     OPT__SYZNUMBER++;
  }

Field Documentation

const ring SchreyerSyzygyComputationFlags::m_rBaseRing

global base ring

Definition at line 241 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__DEBUG

output all the intermediate states

Definition at line 204 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__HYBRIDNF

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

Definition at line 214 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS

ignore tails and compute the pure Schreyer frame

Definition at line 218 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ

?

Definition at line 207 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__NOCACHING

no caching/stores/lookups

Definition at line 238 of file syzextra.h.

const bool SchreyerSyzygyComputationFlags::OPT__PROT

TEST_OPT_PROT.

Definition at line 235 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK

CheckSyzygyProperty: TODO.

Definition at line 232 of file syzextra.h.

int SchreyerSyzygyComputationFlags::OPT__SYZNUMBER

mutable

Syzygy level (within a resolution)

Definition at line 221 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ

Reduce syzygy tails wrt the leading syzygy terms.

Definition at line 210 of file syzextra.h.

const int SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT

output lifting tree

Definition at line 229 of file syzextra.h.

---

The documentation for this struct was generated from the following files:

• Singular/dyn_modules/syzextra/syzextra.h
• Singular/dyn_modules/syzextra/syzextra.cc