My Project
debian-1:4.1.2-p1+ds-2
libpolys
polys
templates
Functions
p_Merge_q__T.cc File Reference
Go to the source code of this file.
Functions
LINKAGE
poly
p_Merge_q__T
(poly
p
, poly q,
const
ring r)
Function Documentation
◆
p_Merge_q__T()
LINKAGE
poly p_Merge_q__T
(
poly
p
,
poly
q
,
const
ring
r
)
Definition at line
14
of file
p_Merge_q__T.cc
.
14
:
p
, q
15
*
16
***************************************************************/
17
LINKAGE
poly
p_Merge_q__T
(poly
p
, poly q,
const
ring r)
18
{
19
assume
(
p
!=
NULL
&& q !=
NULL
);
20
p_Test
(
p
, r);
21
p_Test
(q, r);
22
#if PDEBUG > 0
23
int
l
=
pLength
(
p
) +
pLength
(q);
24
#endif
25
26
spolyrec
rp;
27
poly a = &rp;
28
DECLARE_LENGTH(
const
unsigned
long
length
= r->CmpL_Size);
29
DECLARE_ORDSGN(
const
long
* ordsgn = r->ordsgn);
30
31
Top:
// compare p and q w.r.t. monomial ordering
32
p_MemCmp__T(
p
->exp, q->exp,
length
, ordsgn,
goto
Equal
,
goto
Greater
,
goto
Smaller);
33
34
Equal
:
35
// should never get here
36
dReportError
(
"Equal monomials in p_Merge_q"
);
37
return
NULL
;
38
39
Greater
:
40
a =
pNext
(a) =
p
;
41
pIter
(
p
);
42
if
(
p
==
NULL
) {
pNext
(a) = q;
goto
Finish;}
43
goto
Top;
44
45
Smaller:
46
a =
pNext
(a) = q;
47
pIter
(q);
48
if
(q==
NULL
) {
pNext
(a) =
p
;
goto
Finish;}
49
goto
Top;
50
51
Finish:
52
53
p_Test
(
pNext
(&rp), r);
54
#if PDEBUG > 0
55
pAssume1
(
l
-
pLength
(
pNext
(&rp)) == 0);
dReportError
int dReportError(const char *fmt,...)
Definition:
dError.cc:41
Equal
static BOOLEAN Equal(number a, number b, const coeffs r)
Definition:
flintcf_Q.cc:321
p_Merge_q__T
LINKAGE poly p_Merge_q__T(poly p, poly q, const ring r)
Definition:
p_Merge_q__T.cc:14
length
static BOOLEAN length(leftv result, leftv arg)
Definition:
interval.cc:263
p_Test
#define p_Test(p, r)
Definition:
p_polys.h:154
pLength
static unsigned pLength(poly a)
Definition:
p_polys.h:182
Greater
static bool Greater(mono_type m1, mono_type m2)
Definition:
interpolation.cc:285
pIter
#define pIter(p)
Definition:
monomials.h:34
spolyrec
Definition:
monomials.h:20
pAssume1
#define pAssume1(cond)
Definition:
monomials.h:167
assume
#define assume(x)
Definition:
mod2.h:384
NULL
#define NULL
Definition:
omList.c:11
l
int l
Definition:
cfEzgcd.cc:93
p
int p
Definition:
cfModGcd.cc:4019
LINKAGE
#define LINKAGE
Definition:
mod2.h:137
pNext
#define pNext(p)
Definition:
monomials.h:33
Generated on Thu Jan 9 2020 20:32:43 for My Project by
doxygen 1.8.16
for
Singular debian-1:4.1.2-p1+ds-2