![]() |
My Project
|
#include <syzextra.h>
Public Member Functions | |
CLeadingTerm (unsigned int label, const poly lt, const ring) | |
bool | DivisibilityCheck (const poly multiplier, const poly t, const unsigned long not_sev, const ring r) const |
bool | DivisibilityCheck (const poly product, const unsigned long not_sev, const ring r) const |
bool | CheckLT (const ideal &L) const |
poly | lt () const |
unsigned long | sev () const |
unsigned int | label () const |
Private Member Functions | |
CLeadingTerm () | |
CLeadingTerm (const CLeadingTerm &) | |
void | operator= (const CLeadingTerm &) |
Private Attributes | |
const unsigned long | m_sev |
not short exp. vector | |
const unsigned int | m_label |
index in the main L[] + 1 | |
const poly | m_lt |
the leading term itself L[label-1] | |
Definition at line 214 of file syzextra.h.
|
private |
|
private |
bool CLeadingTerm::DivisibilityCheck | ( | const poly | multiplier, |
const poly | t, | ||
const unsigned long | not_sev, | ||
const ring | r | ||
) | const |
bool CLeadingTerm::DivisibilityCheck | ( | const poly | product, |
const unsigned long | not_sev, | ||
const ring | r | ||
) | const |
Definition at line 228 of file syzextra.h.
|
inline |
Definition at line 226 of file syzextra.h.
|
private |
Definition at line 227 of file syzextra.h.
index in the main L[] + 1
Definition at line 233 of file syzextra.h.
|
private |
the leading term itself L[label-1]
Definition at line 235 of file syzextra.h.
not short exp. vector
Definition at line 230 of file syzextra.h.