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 17 of file kpolys.cc.
18{
20
22
23 for (
j=(
R->N);
j;
j--)
26 for (
j=(
R->N);
j;
j--)
27 {
29 {
31 {
32 for (
k=(
R->N);
k>
j;
k--)
33 {
37 }
39 {
43 }
45 }
46 }
48 {
50 {
51 for (
k=(
R->N);
k>
j;
k--)
52 {
56 }
57 for (
k=
j-1;
k!=0 ;
k--)
58 {
62 }
64 }
65 }
66 }
68}
int lcm(unsigned long *l, unsigned long *a, unsigned long *b, unsigned long p, int dega, int degb)
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
#define pGetComp(p)
Component.
◆ pCompareChainPart()
BOOLEAN pCompareChainPart |
( |
poly |
p, |
|
|
poly |
p1, |
|
|
poly |
p2, |
|
|
poly |
lcm, |
|
|
const ring |
R |
|
) |
| |
Definition at line 71 of file kpolys.cc.
72{
74
76
77 for (
j=
R->real_var_end;
j>=
R->real_var_start;
j--)
80 for (
j=
R->real_var_end;
j>=
R->real_var_start;
j--)
81 {
83 {
85 {
86 for (
k=(
R->N);
k>
j;
k--)
87 for (
k=
R->real_var_end;
k>
j;
k--)
88 {
92 }
93 for (
k=
j-1;
k>=
R->real_var_start;
k--)
94 {
98 }
100 }
101 }
103 {
105 {
106 for (
k=
R->real_var_end;
k>
j;
k--)
107 {
111 }
112 for (
k=
j-1;
k>=
R->real_var_start;
k--)
113 {
117 }
119 }
120 }
121 }
123}