![]() |
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 1247 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 1028 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 1071 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 1001 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 1006 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 1011 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 1016 of file kInline.h.
KINLINE poly ksOldCreateSpoly | ( | poly | p1, |
poly | p2, | ||
poly | spNoether, | ||
ring | r | ||
) |
Definition at line 1204 of file kInline.h.
KINLINE poly ksOldSpolyRed | ( | poly | p1, |
poly | p2, | ||
poly | spNoether | ||
) |
Definition at line 1184 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 1214 of file kInline.h.
Definition at line 1157 of file kInline.h.
Definition at line 1119 of file kInline.h.
Definition at line 1222 of file kInline.h.
Definition at line 1235 of file kInline.h.
Definition at line 1228 of file kInline.h.