My Project  debian-1:4.1.1-p2+ds-4
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 162 of file syzextra.h.

Constructor & Destructor Documentation

◆ SchreyerSyzygyComputationFlags() [1/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( idhdl  rootRingHdl)

Definition at line 1442 of file syzextra.cc.

1442  :
1443  OPT__DEBUG( atGetInt(rootRingHdl,"DEBUG", 0) ),
1444  OPT__LEAD2SYZ( atGetInt(rootRingHdl, "LEAD2SYZ", 0) ),
1445  OPT__TAILREDSYZ( atGetInt(rootRingHdl, "TAILREDSYZ", 1) ),
1446  OPT__HYBRIDNF( atGetInt(rootRingHdl, "HYBRIDNF", 0) ),
1447  OPT__IGNORETAILS( atGetInt(rootRingHdl, "IGNORETAILS", 0) ),
1448  OPT__SYZNUMBER( atGetInt(rootRingHdl, "SYZNUMBER", 0) ),
1449  OPT__TREEOUTPUT( atGetInt(rootRingHdl, "TREEOUTPUT", 0) ),
1450  OPT__SYZCHECK( atGetInt(rootRingHdl, "SYZCHECK", 0) ),
1452  OPT__NOCACHING( atGetInt(rootRingHdl, "NOCACHING", 0) ),
1453  m_rBaseRing( rootRingHdl->data.uring )
1454 {
1455  // TODO: just current setting!
1456  assume( rootRingHdl == currRingHdl );
1457  assume( rootRingHdl->typ == RING_CMD );
1458  assume( m_rBaseRing == currRing );
1459  // move the global ring here inside???
1460 }

◆ SchreyerSyzygyComputationFlags() [2/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( const SchreyerSyzygyComputationFlags attr)
inline

Definition at line 166 of file syzextra.h.

166  :
167  OPT__DEBUG(attr.OPT__DEBUG),
168  OPT__LEAD2SYZ(attr.OPT__LEAD2SYZ), OPT__TAILREDSYZ(attr.OPT__TAILREDSYZ),
169  OPT__HYBRIDNF(attr.OPT__HYBRIDNF), OPT__IGNORETAILS(attr.OPT__IGNORETAILS),
170  OPT__SYZNUMBER(attr.OPT__SYZNUMBER), OPT__TREEOUTPUT(attr.OPT__TREEOUTPUT),
171  OPT__SYZCHECK(attr.OPT__SYZCHECK), OPT__PROT(attr.OPT__PROT),
172  OPT__NOCACHING(attr.OPT__NOCACHING),
173  m_rBaseRing(attr.m_rBaseRing)
174  {}

Member Function Documentation

◆ nextSyzygyLayer()

void SchreyerSyzygyComputationFlags::nextSyzygyLayer ( ) const
inline

Definition at line 196 of file syzextra.h.

197  {
198  OPT__SYZNUMBER++;
199  }

Field Documentation

◆ m_rBaseRing

const ring SchreyerSyzygyComputationFlags::m_rBaseRing

global base ring

Definition at line 214 of file syzextra.h.

◆ OPT__DEBUG

const int SchreyerSyzygyComputationFlags::OPT__DEBUG

output all the intermediate states

Definition at line 177 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 187 of file syzextra.h.

◆ OPT__IGNORETAILS

const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS

ignore tails and compute the pure Schreyer frame

Definition at line 191 of file syzextra.h.

◆ OPT__LEAD2SYZ

const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ

?

Definition at line 180 of file syzextra.h.

◆ OPT__NOCACHING

const int SchreyerSyzygyComputationFlags::OPT__NOCACHING

no caching/stores/lookups

Definition at line 211 of file syzextra.h.

◆ OPT__PROT

const bool SchreyerSyzygyComputationFlags::OPT__PROT

TEST_OPT_PROT.

Definition at line 208 of file syzextra.h.

◆ OPT__SYZCHECK

const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK

CheckSyzygyProperty: TODO.

Definition at line 205 of file syzextra.h.

◆ OPT__SYZNUMBER

int SchreyerSyzygyComputationFlags::OPT__SYZNUMBER
mutable

Syzygy level (within a resolution)

Definition at line 194 of file syzextra.h.

◆ OPT__TAILREDSYZ

const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ

Reduce syzygy tails wrt the leading syzygy terms.

Definition at line 183 of file syzextra.h.

◆ OPT__TREEOUTPUT

const int SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT

output lifting tree

Definition at line 202 of file syzextra.h.


The documentation for this struct was generated from the following files:
SchreyerSyzygyComputationFlags::m_rBaseRing
const ring m_rBaseRing
global base ring
Definition: syzextra.h:214
idrec::data
utypes data
Definition: idrec.h:39
SchreyerSyzygyComputationFlags::OPT__HYBRIDNF
const int OPT__HYBRIDNF
Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection!
Definition: syzextra.h:187
TEST_OPT_PROT
#define TEST_OPT_PROT
Definition: options.h:101
sattr
Definition: attrib.h:16
SchreyerSyzygyComputationFlags::OPT__PROT
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:208
RING_CMD
Definition: grammar.cc:281
currRingHdl
idhdl currRingHdl
Definition: ipid.cc:60
currRing
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:13
SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:183
SchreyerSyzygyComputationFlags::OPT__IGNORETAILS
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:191
SchreyerSyzygyComputationFlags::OPT__SYZCHECK
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:205
SchreyerSyzygyComputationFlags::OPT__NOCACHING
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:211
SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ
const int OPT__LEAD2SYZ
?
Definition: syzextra.h:180
idrec::typ
int typ
Definition: idrec.h:42
assume
#define assume(x)
Definition: mod2.h:384
SchreyerSyzygyComputationFlags::OPT__SYZNUMBER
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:194
SchreyerSyzygyComputationFlags::OPT__DEBUG
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:177
atGetInt
static FORCE_INLINE int atGetInt(idhdl rootRingHdl, const char *attribute, long def)
Definition: syzextra.cc:158
SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:202