![]() |
#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) |
Definition at line 1115 of file kInline.h.
Definition at line 81 of file kInline.h.
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 939 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 982 of file kInline.h.
Definition at line 880 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 912 of file kInline.h.
Definition at line 889 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 917 of file kInline.h.
Definition at line 898 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 922 of file kInline.h.
Definition at line 905 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 927 of file kInline.h.
KINLINE poly ksOldCreateSpoly | ( | poly | p1, |
poly | p2, | ||
poly | spNoether, | ||
ring | r | ||
) |
Definition at line 1077 of file kInline.h.
KINLINE poly ksOldSpolyRed | ( | poly | p1, |
poly | p2, | ||
poly | spNoether | ||
) |
Definition at line 1057 of file kInline.h.
KINLINE poly ksOldSpolyRedNew | ( | poly | p1, |
poly | p2, | ||
poly | spNoether | ||
) |
Definition at line 1067 of file kInline.h.
void ksOldSpolyTail | ( | poly | p1, |
poly | q, | ||
poly | q2, | ||
poly | spNoether, | ||
ring | r | ||
) |
Definition at line 1087 of file kInline.h.
Definition at line 1030 of file kInline.h.
Definition at line 1095 of file kInline.h.
Definition at line 1108 of file kInline.h.
Definition at line 1101 of file kInline.h.