#include <syzextra.h>
Definition at line 260 of file syzextra.h.
CLeadingTerm::CLeadingTerm |
( |
unsigned int |
label, |
|
|
const poly |
lt, |
|
|
const ring |
R |
|
) |
| |
Definition at line 2070 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]
const poly m_lt_copy
original copy of LEAD(lt) (only for debug!!!)
unsigned long sev() const
const unsigned long m_sev
not short exp. vector
unsigned long p_GetShortExpVector(const poly p, const ring r)
CLeadingTerm::~CLeadingTerm |
( |
| ) |
|
Definition at line 2083 of file syzextra.cc.
const poly m_lt
the leading term itself L[label-1]
const poly m_lt_copy
original copy of LEAD(lt) (only for debug!!!)
const unsigned long m_sev
not short exp. vector
static void p_Delete(poly *p, const ring r)
unsigned long p_GetShortExpVector(const poly p, const ring r)
#define p_LmEqual(p1, p2, r)
CLeadingTerm::CLeadingTerm |
( |
| ) |
|
|
private |
bool CLeadingTerm::CheckLT |
( |
const ideal & |
L | ) |
const |
Definition at line 2207 of file syzextra.cc.
2210 return ( L->m[
label()] ==
lt() );
unsigned int label() const
as DivisibilityCheck(multiplier * t, ...) for monomial 'm' and a module term 't'
Definition at line 2238 of file syzextra.cc.
2260 if (
sev() & not_sev)
unsigned long sev() const
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)
bool CLeadingTerm::DivisibilityCheck |
( |
const poly |
product, |
|
|
const unsigned long |
not_sev, |
|
|
const ring |
r |
|
) |
| const |
Definition at line 2213 of file syzextra.cc.
unsigned long sev() const
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)
unsigned int CLeadingTerm::label |
( |
| ) |
const |
Definition at line 2105 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]
const poly m_lt_copy
original copy of LEAD(lt) (only for debug!!!)
const unsigned long m_sev
not short exp. vector
unsigned long p_GetShortExpVector(const poly p, const ring r)
#define p_LmEqual(p1, p2, r)
poly CLeadingTerm::lt |
( |
| ) |
const |
Definition at line 2091 of file syzextra.cc.
const poly m_lt
the leading term itself L[label-1]
const poly m_lt_copy
original copy of LEAD(lt) (only for debug!!!)
const unsigned long m_sev
not short exp. vector
unsigned long p_GetShortExpVector(const poly p, const ring r)
#define p_LmEqual(p1, p2, r)
unsigned long CLeadingTerm::sev |
( |
| ) |
const |
Definition at line 2098 of file syzextra.cc.
const poly m_lt
the leading term itself L[label-1]
const poly m_lt_copy
original copy of LEAD(lt) (only for debug!!!)
const unsigned long m_sev
not short exp. vector
unsigned long p_GetShortExpVector(const poly p, const ring r)
#define p_LmEqual(p1, p2, r)
const ring CLeadingTerm::_R |
|
private |
const unsigned int CLeadingTerm::m_label |
|
private |
index in the main L[] + 1
Definition at line 290 of file syzextra.h.
the leading term itself L[label-1]
Definition at line 292 of file syzextra.h.
original copy of LEAD(lt) (only for debug!!!)
Definition at line 297 of file syzextra.h.
const unsigned long CLeadingTerm::m_sev |
|
private |
The documentation for this class was generated from the following files: