Public Member Functions | Data Fields
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() [1/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( idhdl  rootRingHdl)

Definition at line 2034 of file syzextra.cc.

2034  :
2035  OPT__DEBUG( atGetInt(rootRingHdl,"DEBUG", 0) ),
2036  OPT__LEAD2SYZ( atGetInt(rootRingHdl, "LEAD2SYZ", 0) ),
2037  OPT__TAILREDSYZ( atGetInt(rootRingHdl, "TAILREDSYZ", 1) ),
2038  OPT__HYBRIDNF( atGetInt(rootRingHdl, "HYBRIDNF", 0) ),
2039  OPT__IGNORETAILS( atGetInt(rootRingHdl, "IGNORETAILS", 0) ),
2040  OPT__SYZNUMBER( atGetInt(rootRingHdl, "SYZNUMBER", 0) ),
2041  OPT__TREEOUTPUT( atGetInt(rootRingHdl, "TREEOUTPUT", 0) ),
2042  OPT__SYZCHECK( atGetInt(rootRingHdl, "SYZCHECK", 0) ),
2044  OPT__NOCACHING( atGetInt(rootRingHdl, "NOCACHING", 0) ),
2045  m_rBaseRing( rootRingHdl->data.uring )
2046 {
2047 #ifndef SING_NDEBUG
2048  if( OPT__DEBUG & 0 )
2049  {
2050  PrintS("SchreyerSyzygyComputationFlags: \n");
2051  Print(" DEBUG: \t%d\n", OPT__DEBUG);
2052 // Print(" SYZCHECK : \t%d\n", OPT__SYZCHECK);
2053  Print(" LEAD2SYZ: \t%d\n", OPT__LEAD2SYZ);
2054  Print(" TAILREDSYZ: \t%d\n", OPT__TAILREDSYZ);
2055  Print(" IGNORETAILS: \t%d\n", OPT__IGNORETAILS);
2056  Print(" TREEOUTPUT: \t%d\n", OPT__TREEOUTPUT);
2057  Print(" SYZCHECK: \t%d\n", OPT__SYZCHECK);
2058  }
2059 #endif
2060 
2061  // TODO: just current setting!
2062  assume( rootRingHdl == currRingHdl );
2063  assume( rootRingHdl->typ == RING_CMD );
2064  assume( m_rBaseRing == currRing );
2065  // move the global ring here inside???
2066 }
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:221
#define Print
Definition: emacs.cc:83
#define TEST_OPT_PROT
Definition: options.h:98
const int OPT__HYBRIDNF
Use the usual NF&#39;s S-poly reduction while dropping lower order terms 2 means - smart selection! ...
Definition: syzextra.h:214
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:232
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:204
static FORCE_INLINE int atGetInt(idhdl rootRingHdl, const char *attribute, long def)
Definition: syzextra.cc:188
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:210
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:235
idhdl currRingHdl
Definition: ipid.cc:65
void PrintS(const char *s)
Definition: reporter.cc:284
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:229
const ring m_rBaseRing
global base ring
Definition: syzextra.h:241
int typ
Definition: idrec.h:43
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:218
assume(R !=NULL)
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:238
utypes data
Definition: idrec.h:40

§ SchreyerSyzygyComputationFlags() [2/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( const SchreyerSyzygyComputationFlags attr)
inline

Definition at line 193 of file syzextra.h.

193  :
194  OPT__DEBUG(attr.OPT__DEBUG),
201  {}
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:221
const int OPT__HYBRIDNF
Use the usual NF&#39;s S-poly reduction while dropping lower order terms 2 means - smart selection! ...
Definition: syzextra.h:214
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:232
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:204
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:210
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:235
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:229
const ring m_rBaseRing
global base ring
Definition: syzextra.h:241
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:218
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:238

Member Function Documentation

§ nextSyzygyLayer()

void SchreyerSyzygyComputationFlags::nextSyzygyLayer ( ) const
inline

Definition at line 223 of file syzextra.h.

224  {
225  OPT__SYZNUMBER++;
226  }
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:221

Field Documentation

§ m_rBaseRing

const ring SchreyerSyzygyComputationFlags::m_rBaseRing

global base ring

Definition at line 241 of file syzextra.h.

§ OPT__DEBUG

const int SchreyerSyzygyComputationFlags::OPT__DEBUG

output all the intermediate states

Definition at line 204 of file syzextra.h.

§ OPT__HYBRIDNF

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.

§ OPT__IGNORETAILS

const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS

ignore tails and compute the pure Schreyer frame

Definition at line 218 of file syzextra.h.

§ OPT__LEAD2SYZ

const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ

?

Definition at line 207 of file syzextra.h.

§ OPT__NOCACHING

const int SchreyerSyzygyComputationFlags::OPT__NOCACHING

no caching/stores/lookups

Definition at line 238 of file syzextra.h.

§ OPT__PROT

const bool SchreyerSyzygyComputationFlags::OPT__PROT

TEST_OPT_PROT.

Definition at line 235 of file syzextra.h.

§ OPT__SYZCHECK

const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK

CheckSyzygyProperty: TODO.

Definition at line 232 of file syzextra.h.

§ OPT__SYZNUMBER

int SchreyerSyzygyComputationFlags::OPT__SYZNUMBER
mutable

Syzygy level (within a resolution)

Definition at line 221 of file syzextra.h.

§ OPT__TAILREDSYZ

const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ

Reduce syzygy tails wrt the leading syzygy terms.

Definition at line 210 of file syzextra.h.

§ OPT__TREEOUTPUT

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: