Go to the source code of this file.
◆ pCompareChain()
Returns TRUE if.
- LM(p) | LM(lcm)
- LC(p) | LC(lcm) only if ring
- Exists i, j:
- LE(p, i) != LE(lcm, i)
- LE(p1, i) != LE(lcm, i) ==> LCM(p1, p) != lcm
- LE(p, j) != LE(lcm, j)
- LE(p2, j) != LE(lcm, j) ==> LCM(p2, p) != lcm
Definition at line 20 of file kpolys.cc.
26 for (
j=(
R->N);
j;
j--)
29 for (
j=(
R->N);
j;
j--)
35 for (
k=(
R->N);
k>
j;
k--)
54 for (
k=(
R->N);
k>
j;
k--)
60 for (
k=
j-1;
k!=0 ;
k--)
int lcm(unsigned long *l, unsigned long *a, unsigned long *b, unsigned long p, int dega, int degb)
#define pGetComp(p)
Component.
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent : the integer VarOffset encodes:
◆ pCompareChainPart()
Definition at line 74 of file kpolys.cc.
80 for (
j=
R->real_var_end;
j>=
R->real_var_start;
j--)
83 for (
j=
R->real_var_end;
j>=
R->real_var_start;
j--)
89 for (
k=(
R->N);
k>
j;
k--)
90 for (
k=
R->real_var_end;
k>
j;
k--)
96 for (
k=
j-1;
k>=
R->real_var_start;
k--)
109 for (
k=
R->real_var_end;
k>
j;
k--)
115 for (
k=
j-1;
k>=
R->real_var_start;
k--)
int lcm(unsigned long *l, unsigned long *a, unsigned long *b, unsigned long p, int dega, int degb)
#define pGetComp(p)
Component.
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent : the integer VarOffset encodes: