![]() |
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 1205 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 986 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 1029 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 959 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 964 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 969 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 974 of file kInline.h.
KINLINE poly ksOldCreateSpoly | ( | poly | p1, |
poly | p2, | ||
poly | spNoether, | ||
ring | r | ||
) |
Definition at line 1162 of file kInline.h.
KINLINE poly ksOldSpolyRed | ( | poly | p1, |
poly | p2, | ||
poly | spNoether | ||
) |
Definition at line 1142 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 1172 of file kInline.h.
Definition at line 1115 of file kInline.h.
Definition at line 1077 of file kInline.h.
Definition at line 1180 of file kInline.h.
Definition at line 1193 of file kInline.h.
Definition at line 1186 of file kInline.h.