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 190 of file syzextra.h.

Constructor & Destructor Documentation

◆ SchreyerSyzygyComputationFlags() [1/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( idhdl  rootRingHdl)

Definition at line 2032 of file syzextra.cc.

2032  :
2033  OPT__DEBUG( atGetInt(rootRingHdl,"DEBUG", 0) ),
2034  OPT__LEAD2SYZ( atGetInt(rootRingHdl, "LEAD2SYZ", 0) ),
2035  OPT__TAILREDSYZ( atGetInt(rootRingHdl, "TAILREDSYZ", 1) ),
2036  OPT__HYBRIDNF( atGetInt(rootRingHdl, "HYBRIDNF", 0) ),
2037  OPT__IGNORETAILS( atGetInt(rootRingHdl, "IGNORETAILS", 0) ),
2038  OPT__SYZNUMBER( atGetInt(rootRingHdl, "SYZNUMBER", 0) ),
2039  OPT__TREEOUTPUT( atGetInt(rootRingHdl, "TREEOUTPUT", 0) ),
2040  OPT__SYZCHECK( atGetInt(rootRingHdl, "SYZCHECK", 0) ),
2042  OPT__NOCACHING( atGetInt(rootRingHdl, "NOCACHING", 0) ),
2043  m_rBaseRing( rootRingHdl->data.uring )
2044 {
2045 #ifndef SING_NDEBUG
2046  if( OPT__DEBUG & 0 )
2047  {
2048  PrintS("SchreyerSyzygyComputationFlags: \n");
2049  Print(" DEBUG: \t%d\n", OPT__DEBUG);
2050 // Print(" SYZCHECK : \t%d\n", OPT__SYZCHECK);
2051  Print(" LEAD2SYZ: \t%d\n", OPT__LEAD2SYZ);
2052  Print(" TAILREDSYZ: \t%d\n", OPT__TAILREDSYZ);
2053  Print(" IGNORETAILS: \t%d\n", OPT__IGNORETAILS);
2054  Print(" TREEOUTPUT: \t%d\n", OPT__TREEOUTPUT);
2055  Print(" SYZCHECK: \t%d\n", OPT__SYZCHECK);
2056  }
2057 #endif
2058 
2059  // TODO: just current setting!
2060  assume( rootRingHdl == currRingHdl );
2061  assume( rootRingHdl->typ == RING_CMD );
2062  assume( m_rBaseRing == currRing );
2063  // move the global ring here inside???
2064 }
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:222
#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:215
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:233
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:205
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:211
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:236
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:230
const ring m_rBaseRing
global base ring
Definition: syzextra.h:242
int typ
Definition: idrec.h:43
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:219
assume(R !=NULL)
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:239
utypes data
Definition: idrec.h:40

◆ SchreyerSyzygyComputationFlags() [2/2]

SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags ( const SchreyerSyzygyComputationFlags attr)
inline

Definition at line 194 of file syzextra.h.

194  :
195  OPT__DEBUG(attr.OPT__DEBUG),
202  {}
int OPT__SYZNUMBER
Syzygy level (within a resolution)
Definition: syzextra.h:222
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:215
const int OPT__SYZCHECK
CheckSyzygyProperty: TODO.
Definition: syzextra.h:233
const int OPT__DEBUG
output all the intermediate states
Definition: syzextra.h:205
const int OPT__TAILREDSYZ
Reduce syzygy tails wrt the leading syzygy terms.
Definition: syzextra.h:211
const bool OPT__PROT
TEST_OPT_PROT.
Definition: syzextra.h:236
const int OPT__TREEOUTPUT
output lifting tree
Definition: syzextra.h:230
const ring m_rBaseRing
global base ring
Definition: syzextra.h:242
const int OPT__IGNORETAILS
ignore tails and compute the pure Schreyer frame
Definition: syzextra.h:219
const int OPT__NOCACHING
no caching/stores/lookups
Definition: syzextra.h:239

Member Function Documentation

◆ nextSyzygyLayer()

void SchreyerSyzygyComputationFlags::nextSyzygyLayer ( ) const
inline

Definition at line 224 of file syzextra.h.

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

Field Documentation

◆ m_rBaseRing

const ring SchreyerSyzygyComputationFlags::m_rBaseRing

global base ring

Definition at line 242 of file syzextra.h.

◆ OPT__DEBUG

const int SchreyerSyzygyComputationFlags::OPT__DEBUG

output all the intermediate states

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

◆ OPT__IGNORETAILS

const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS

ignore tails and compute the pure Schreyer frame

Definition at line 219 of file syzextra.h.

◆ OPT__LEAD2SYZ

const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ

?

Definition at line 208 of file syzextra.h.

◆ OPT__NOCACHING

const int SchreyerSyzygyComputationFlags::OPT__NOCACHING

no caching/stores/lookups

Definition at line 239 of file syzextra.h.

◆ OPT__PROT

const bool SchreyerSyzygyComputationFlags::OPT__PROT

TEST_OPT_PROT.

Definition at line 236 of file syzextra.h.

◆ OPT__SYZCHECK

const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK

CheckSyzygyProperty: TODO.

Definition at line 233 of file syzextra.h.

◆ OPT__SYZNUMBER

int SchreyerSyzygyComputationFlags::OPT__SYZNUMBER
mutable

Syzygy level (within a resolution)

Definition at line 222 of file syzextra.h.

◆ OPT__TAILREDSYZ

const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ

Reduce syzygy tails wrt the leading syzygy terms.

Definition at line 211 of file syzextra.h.

◆ OPT__TREEOUTPUT

const int SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT

output lifting tree

Definition at line 230 of file syzextra.h.


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