![]() |
My Project
UNKNOWN_GIT_VERSION
|
#include "omalloc/omalloc.h"
#include "misc/options.h"
#include "polys/monomials/p_polys.h"
#include "polys/kbuckets.h"
#include "kernel/polys.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 | 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_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 1107 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 931 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 974 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 904 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 909 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 914 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 919 of file kInline.h.
KINLINE poly ksOldCreateSpoly | ( | poly | p1, |
poly | p2, | ||
poly | spNoether, | ||
ring | r | ||
) |
Definition at line 1069 of file kInline.h.
KINLINE poly ksOldSpolyRed | ( | poly | p1, |
poly | p2, | ||
poly | spNoether | ||
) |
Definition at line 1049 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 1079 of file kInline.h.
Definition at line 1022 of file kInline.h.
Definition at line 1087 of file kInline.h.
Definition at line 1093 of file kInline.h.