![]() |
My Project
|
#include "omalloc/omalloc.h"
#include "misc/options.h"
#include "polys/monomials/p_polys.h"
#include "polys/kbuckets.h"
#include "kernel/polys.h"
#include "polys/shiftop.h"
Go to the source code of this file.
Macros | |
#define | HAVE_TAIL_BIN |
Functions | |
KINLINE TSet | initT () |
KINLINE TObject ** | initR () |
KINLINE unsigned long * | initsevT () |
KINLINE poly | k_LmInit_currRing_2_tailRing (poly p, ring tailRing, omBin tailBin) |
KINLINE poly | k_LmInit_tailRing_2_currRing (poly t_p, ring tailRing, omBin lmBin) |
KINLINE poly | k_LmShallowCopyDelete_currRing_2_tailRing (poly p, ring tailRing, omBin tailBin) |
KINLINE poly | k_LmShallowCopyDelete_tailRing_2_currRing (poly p, ring tailRing, omBin lmBin) |
KINLINE poly | k_LmInit_currRing_2_tailRing (poly p, ring tailRing) |
KINLINE poly | k_LmInit_tailRing_2_currRing (poly p, ring tailRing) |
KINLINE poly | k_LmShallowCopyDelete_currRing_2_tailRing (poly p, ring tailRing) |
KINLINE poly | k_LmShallowCopyDelete_tailRing_2_currRing (poly p, ring tailRing) |
KINLINE BOOLEAN | k_GetLeadTerms (const poly p1, const poly p2, const ring p_r, poly &m1, poly &m2, const ring m_r) |
KINLINE void | k_GetStrongLeadTerms (const poly p1, const poly p2, const ring leadRing, poly &m1, poly &m2, poly &lcm, const ring tailRing) |
KINLINE int | ksReducePolyTailLC_Z (LObject *PR, TObject *PW, LObject *Red) |
KINLINE int | ksReducePolyTail_Z (LObject *PR, TObject *PW, LObject *Red) |
KINLINE int | ksReducePolyTail (LObject *PR, TObject *PW, LObject *Red) |
KINLINE poly | ksOldSpolyRed (poly p1, poly p2, poly spNoether) |
KINLINE poly | ksOldSpolyRedNew (poly p1, poly p2, poly spNoether) |
KINLINE poly | ksOldCreateSpoly (poly p1, poly p2, poly spNoether, ring r) |
void | ksOldSpolyTail (poly p1, poly q, poly q2, poly spNoether, ring r) |
KINLINE poly | redtailBba (poly p, int pos, kStrategy strat, BOOLEAN normalize) |
KINLINE poly | redtailBbaBound (poly p, int pos, kStrategy strat, int bound, BOOLEAN normalize) |
KINLINE poly | redtailBba_Ring (poly p, int pos, kStrategy strat) |
KINLINE poly | redtailBba_Z (poly p, int pos, kStrategy strat) |
KINLINE void | clearS (poly p, unsigned long p_sev, int *at, int *k, kStrategy strat) |
KINLINE BOOLEAN | arriRewDummy (poly, unsigned long, poly, kStrategy, int) |
KINLINE BOOLEAN arriRewDummy | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start ) |
Definition at line 1232 of file kInline.h.
KINLINE unsigned long * initsevT | ( | ) |
KINLINE BOOLEAN k_GetLeadTerms | ( | const poly | p1, |
const poly | p2, | ||
const ring | p_r, | ||
poly & | m1, | ||
poly & | m2, | ||
const ring | m_r ) |
Definition at line 1015 of file kInline.h.
KINLINE void k_GetStrongLeadTerms | ( | const poly | p1, |
const poly | p2, | ||
const ring | leadRing, | ||
poly & | m1, | ||
poly & | m2, | ||
poly & | lcm, | ||
const ring | tailRing ) |
Definition at line 1057 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing ) |
Definition at line 988 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing ) |
Definition at line 993 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing ) |
Definition at line 998 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing ) |
Definition at line 1003 of file kInline.h.
KINLINE poly ksOldCreateSpoly | ( | poly | p1, |
poly | p2, | ||
poly | spNoether, | ||
ring | r ) |
Definition at line 1191 of file kInline.h.
KINLINE poly ksOldSpolyRed | ( | poly | p1, |
poly | p2, | ||
poly | spNoether ) |
Definition at line 1171 of file kInline.h.
KINLINE poly ksOldSpolyRedNew | ( | poly | p1, |
poly | p2, | ||
poly | spNoether ) |
void ksOldSpolyTail | ( | poly | p1, |
poly | q, | ||
poly | q2, | ||
poly | spNoether, | ||
ring | r ) |
Definition at line 1201 of file kInline.h.
Definition at line 1144 of file kInline.h.
Definition at line 1104 of file kInline.h.
Definition at line 1209 of file kInline.h.
Definition at line 1215 of file kInline.h.