#include <syzextra.h>
Definition at line 261 of file syzextra.h.
◆ CLeadingTerm() [1/3]
CLeadingTerm::CLeadingTerm |
( |
unsigned int |
label, |
|
|
const poly |
lt, |
|
|
const ring |
R |
|
) |
| |
Definition at line 2068 of file syzextra.cc.
const unsigned int m_label
index in the main L[] + 1
const poly m_lt
the leading term itself L[label-1]
unsigned long sev() const
const unsigned long m_sev
not short exp. vector
unsigned long p_GetShortExpVector(const poly p, const ring r)
◆ CLeadingTerm() [2/3]
CLeadingTerm::CLeadingTerm |
( |
| ) |
|
|
private |
◆ CLeadingTerm() [3/3]
◆ CheckLT()
bool CLeadingTerm::CheckLT |
( |
const ideal & |
L | ) |
const |
Definition at line 2205 of file syzextra.cc.
2208 return ( L->m[
label()] ==
lt() );
unsigned int label() const
◆ DivisibilityCheck() [1/2]
as DivisibilityCheck(multiplier * t, ...) for monomial 'm' and a module term 't'
Definition at line 2236 of file syzextra.cc.
2258 if (
sev() & not_sev)
unsigned long sev() const
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
static FORCE_INLINE BOOLEAN n_IsZero(number n, const coeffs r)
TRUE iff 'n' represents the zero element.
unsigned long p_GetShortExpVector(const poly p, const ring r)
◆ DivisibilityCheck() [2/2]
bool CLeadingTerm::DivisibilityCheck |
( |
const poly |
product, |
|
|
const unsigned long |
not_sev, |
|
|
const ring |
r |
|
) |
| const |
Definition at line 2211 of file syzextra.cc.
unsigned long sev() const
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
static BOOLEAN p_LmShortDivisibleByNoComp(poly a, unsigned long sev_a, poly b, unsigned long not_sev_b, const ring r)
static FORCE_INLINE BOOLEAN n_IsZero(number n, const coeffs r)
TRUE iff 'n' represents the zero element.
unsigned long p_GetShortExpVector(const poly p, const ring r)
◆ label()
unsigned int CLeadingTerm::label |
( |
| ) |
const |
|
inline |
Definition at line 284 of file syzextra.h.
const unsigned int m_label
index in the main L[] + 1
◆ lt()
poly CLeadingTerm::lt |
( |
| ) |
const |
|
inline |
Definition at line 282 of file syzextra.h.
const poly m_lt
the leading term itself L[label-1]
◆ operator=()
◆ sev()
unsigned long CLeadingTerm::sev |
( |
| ) |
const |
|
inline |
Definition at line 283 of file syzextra.h.
const unsigned long m_sev
not short exp. vector
◆ m_label
const unsigned int CLeadingTerm::m_label |
|
private |
index in the main L[] + 1
Definition at line 291 of file syzextra.h.
◆ m_lt
the leading term itself L[label-1]
Definition at line 293 of file syzextra.h.
◆ m_sev
const unsigned long CLeadingTerm::m_sev |
|
private |
The documentation for this class was generated from the following files: