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 | redtailBbaBound (poly p, int pos, kStrategy strat, int bound, 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) |
|
§ HAVE_TAIL_BIN
§ arriRewDummy()
§ clearS()
Definition at line 1122 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)
§ initR()
§ initsevT()
KINLINE unsigned long* initsevT |
( |
| ) |
|
§ initT()
Definition at line 81 of file kInline.h.
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
§ k_GetLeadTerms()
Definition at line 935 of file kInline.h.
946 for (i = p_r->N; i; i--)
951 if (x > (
long) m_r->bitmask)
goto false_return;
957 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)
§ k_GetStrongLeadTerms()
Definition at line 978 of file kInline.h.
993 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)
§ k_LmInit_currRing_2_tailRing() [1/2]
Definition at line 876 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)
§ k_LmInit_currRing_2_tailRing() [2/2]
Definition at line 908 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)
§ k_LmInit_tailRing_2_currRing() [1/2]
Definition at line 885 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)
§ k_LmInit_tailRing_2_currRing() [2/2]
Definition at line 913 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 ...
§ k_LmShallowCopyDelete_currRing_2_tailRing() [1/2]
Definition at line 894 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)
§ k_LmShallowCopyDelete_currRing_2_tailRing() [2/2]
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing |
( |
poly |
p, |
|
|
ring |
tailRing |
|
) |
| |
Definition at line 918 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)
§ k_LmShallowCopyDelete_tailRing_2_currRing() [1/2]
Definition at line 901 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)
§ k_LmShallowCopyDelete_tailRing_2_currRing() [2/2]
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing |
( |
poly |
p, |
|
|
ring |
tailRing |
|
) |
| |
Definition at line 923 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)
§ ksOldCreateSpoly()
Definition at line 1073 of file kInline.h.
1080 return L.GetLmCurrRing();
void ksCreateSpoly(LObject *Pair, poly spNoether, int use_buckets, ring tailRing, poly m1, poly m2, TObject **R)
§ ksOldSpolyRed()
Definition at line 1053 of file kInline.h.
1060 return L.GetLmCurrRing();
int ksReducePoly(LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat)
§ ksOldSpolyRedNew()
Definition at line 1063 of file kInline.h.
1070 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 ...
§ ksOldSpolyTail()
Definition at line 1083 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 ...
§ ksReducePolyTail()
Definition at line 1026 of file kInline.h.
1031 assume(PR->GetLmCurrRing() != PW->GetLmCurrRing());
1032 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'
§ redtailBba() [1/2]
Definition at line 1091 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)
§ redtailBba() [2/2]
Definition at line 1111 of file kInline.h.
KINLINE poly redtailBba(poly p, int pos, kStrategy strat, BOOLEAN normalize)
§ redtailBba_Z()
Definition at line 1104 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 ...
§ redtailBbaBound()
Definition at line 1097 of file kInline.h.
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
static CanonicalForm bound(const CFMatrix &M)
KINLINE poly redtailBbaBound(poly p, int pos, kStrategy strat, int bound, BOOLEAN normalize)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...