#include <syzextra.h>
Definition at line 214 of file syzextra.h.
◆ CLeadingTerm() [1/3]
CLeadingTerm::CLeadingTerm |
( |
unsigned int | label, |
|
|
const poly | lt, |
|
|
const ring | ) |
◆ CLeadingTerm() [2/3]
CLeadingTerm::CLeadingTerm |
( |
| ) |
|
|
private |
◆ CLeadingTerm() [3/3]
◆ CheckLT()
bool CLeadingTerm::CheckLT |
( |
const ideal & | L | ) |
const |
◆ DivisibilityCheck() [1/2]
bool CLeadingTerm::DivisibilityCheck |
( |
const poly | multiplier, |
|
|
const poly | t, |
|
|
const unsigned long | not_sev, |
|
|
const ring | r ) const |
◆ DivisibilityCheck() [2/2]
bool CLeadingTerm::DivisibilityCheck |
( |
const poly | product, |
|
|
const unsigned long | not_sev, |
|
|
const ring | r ) const |
◆ label()
unsigned int CLeadingTerm::label |
( |
| ) |
const |
|
inline |
Definition at line 228 of file syzextra.h.
const unsigned int m_label
index in the main L[] + 1
◆ lt()
poly CLeadingTerm::lt |
( |
| ) |
const |
|
inline |
Definition at line 226 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 227 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 233 of file syzextra.h.
◆ m_lt
const poly CLeadingTerm::m_lt |
|
private |
the leading term itself L[label-1]
Definition at line 235 of file syzextra.h.
◆ m_sev
const unsigned long CLeadingTerm::m_sev |
|
private |
The documentation for this class was generated from the following file: