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 }
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:194
#define TEST_OPT_PROT
Definition: options.h:102
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:187
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:205
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:177
static FORCE_INLINE int atGetInt(idhdl rootRingHdl, const char *attribute, long def)
Definition: syzextra.cc:158
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:183
#define assume(x)
Definition: mod2.h:390
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:208
idhdl currRingHdl
Definition: ipid.cc:61
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:202
const ring m_rBaseRing
global base ring
Definition: syzextra.h:214
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:13
int typ
Definition: idrec.h:43
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:191
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:211
utypes data
Definition: idrec.h:40

◆ SchreyerSyzygyComputationFlags() [2/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( const SchreyerSyzygyComputationFlags attr)
inline

Definition at line 166 of file syzextra.h.

166  :
167  OPT__DEBUG(attr.OPT__DEBUG),
174  {}
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:194
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:187
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:205
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:177
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:183
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:208
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:202
const ring m_rBaseRing
global base ring
Definition: syzextra.h:214
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:191
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:211

Member Function Documentation

◆ nextSyzygyLayer()

void SchreyerSyzygyComputationFlags::nextSyzygyLayer ( ) const
inline

Definition at line 196 of file syzextra.h.

197  {
198  OPT__SYZNUMBER++;
199  }
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:194

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: