Go to the source code of this file.
|
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 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 | redtailBba_Z (poly p, int pos, kStrategy strat) |
|
KINLINE poly | redtailBba (TObject *T, 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 1141 of file kInline.h.
void deleteInS(int i, kStrategy strat)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pGetShortExpVector(a)
returns the "Short Exponent Vector" – used to speed up divisibility tests (see polys-impl.cc )
static FORCE_INLINE BOOLEAN n_DivBy(number a, number b, const coeffs r)
test whether 'a' is divisible 'b'; for r encoding a field: TRUE iff 'b' does not represent zero in Z:...
#define pLmShortDivisibleBy(a, sev_a, b, not_sev_b)
Divisibility tests based on Short Exponent vectors sev_a == pGetShortExpVector(a) not_sev_b == ~ pGet...
static BOOLEAN rField_is_Ring(const ring r)
KINLINE unsigned long* initsevT |
( |
| ) |
|
Definition at line 81 of file kInline.h.
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 960 of file kInline.h.
971 for (i = p_r->N; i; i--)
976 if (x > (
long) m_r->bitmask)
goto false_return;
982 if (-x > (
long) m_r->bitmask)
goto false_return;
static void p_LmFree(poly p, ring)
static long p_GetExpDiff(poly p1, poly p2, int i, ring r)
static unsigned long p_SetExp(poly p, const unsigned long e, const unsigned long iBitmask, const int VarOffset)
set a single variable exponent : VarOffset encodes the position in p->exp
BOOLEAN p_LmCheckPolyRing(poly p, ring r)
static void p_Setm(poly p, const ring r)
static poly p_Init(const ring r, omBin bin)
Definition at line 1003 of file kInline.h.
1018 for (i = leadRing->N; i>=0; i--)
const CanonicalForm int s
int lcm(unsigned long *l, unsigned long *a, unsigned long *b, unsigned long p, int dega, int degb)
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent : the integer VarOffset encodes:
static unsigned long p_SetExp(poly p, const unsigned long e, const unsigned long iBitmask, const int VarOffset)
set a single variable exponent : VarOffset encodes the position in p->exp
BOOLEAN p_LmCheckPolyRing(poly p, ring r)
static void p_Setm(poly p, const ring r)
static poly p_Init(const ring r, omBin bin)
Definition at line 901 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static poly p_LmInit(poly p, const ring r)
Definition at line 933 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
KINLINE poly k_LmInit_currRing_2_tailRing(poly p, ring tailRing, omBin tailBin)
Definition at line 910 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static poly p_LmInit(poly p, const ring r)
Definition at line 938 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing(poly p, ring tailRing, omBin lmBin)
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 919 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
static void p_LmFree(poly p, ring)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
KINLINE poly k_LmInit_currRing_2_tailRing(poly p, ring tailRing, omBin tailBin)
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing |
( |
poly |
p, |
|
|
ring |
tailRing |
|
) |
| |
Definition at line 943 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing(poly p, ring tailRing, omBin tailBin)
Definition at line 926 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing(poly p, ring tailRing, omBin lmBin)
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
static void p_LmFree(poly p, ring)
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing |
( |
poly |
p, |
|
|
ring |
tailRing |
|
) |
| |
Definition at line 948 of file kInline.h.
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing(poly p, ring tailRing, omBin lmBin)
Definition at line 1098 of file kInline.h.
1105 return L.GetLmCurrRing();
void ksCreateSpoly(LObject *Pair, poly spNoether, int use_buckets, ring tailRing, poly m1, poly m2, TObject **R)
Definition at line 1078 of file kInline.h.
1085 return L.GetLmCurrRing();
int ksReducePoly(LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat)
Definition at line 1088 of file kInline.h.
1095 return L.GetLmCurrRing();
int ksReducePoly(LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat)
static poly p_Copy(poly p, const ring r)
returns a copy of p
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 1108 of file kInline.h.
KINLINE int ksReducePolyTail(LObject *PR, TObject *PW, LObject *Red)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 1051 of file kInline.h.
1056 assume(PR->GetLmCurrRing() != PW->GetLmCurrRing());
1057 Red->HeadNormalize();
static FORCE_INLINE BOOLEAN n_IsOne(number n, const coeffs r)
TRUE iff 'n' represents the one element.
int ksReducePoly(LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
Definition at line 1116 of file kInline.h.
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
KINLINE poly redtailBba(poly p, int pos, kStrategy strat, BOOLEAN normalize)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 1130 of file kInline.h.
KINLINE poly redtailBba(poly p, int pos, kStrategy strat, BOOLEAN normalize)
Definition at line 1123 of file kInline.h.
KINLINE poly redtailBba_Z(poly p, int pos, kStrategy strat)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...