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 1145 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 964 of file kInline.h.
975 for (i = p_r->N; i; i--)
980 if (x > (
long) m_r->bitmask)
goto false_return;
986 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 1007 of file kInline.h.
1022 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 905 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 937 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 914 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 942 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 923 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 947 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 930 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 952 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 1102 of file kInline.h.
1109 return L.GetLmCurrRing();
void ksCreateSpoly(LObject *Pair, poly spNoether, int use_buckets, ring tailRing, poly m1, poly m2, TObject **R)
Definition at line 1082 of file kInline.h.
1089 return L.GetLmCurrRing();
int ksReducePoly(LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat)
Definition at line 1092 of file kInline.h.
1099 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 1112 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 1055 of file kInline.h.
1060 assume(PR->GetLmCurrRing() != PW->GetLmCurrRing());
1061 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 1120 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 1134 of file kInline.h.
KINLINE poly redtailBba(poly p, int pos, kStrategy strat, BOOLEAN normalize)
Definition at line 1127 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 ...