1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
// Copyright 2013 Michael E. Stillman
#include "RingTest.hpp"
static bool maxH_initialized = false;
static mpz_t maxH;
#include "aring-glue.hpp"
#include "ZZp.hpp"
template <>
ring_elem getElement<RingQQ>(const RingQQ &R, int index)
{
if (index < 50) return R.from_long(index - 25);
if (!maxH_initialized)
{
maxH_initialized = true;
mpz_init(maxH);
mpz_set_str(maxH, "100000000000", 10);
}
gmp_QQ a1 = rawRandomQQ(maxH);
ring_elem result;
EXPECT_TRUE(R.from_rational(a1, result));
return result;
}
////////////////////////////////////////////////////////
TEST(RingQQ, create)
{
const Ring *R = globalQQ;
EXPECT_TRUE(R != 0);
EXPECT_TRUE(dynamic_cast<const Z_mod *>(R) == 0);
EXPECT_TRUE(dynamic_cast<const RingQQ *>(R) != 0);
EXPECT_EQ(R->coefficient_type(), Ring::COEFF_QQ);
EXPECT_FALSE(R->is_ZZ());
EXPECT_EQ(ringName(*R), "QQGMP");
}
TEST(RingQQ, ones)
{
const Ring *R = globalQQ;
EXPECT_TRUE(R->is_equal(R->one(), R->from_long(1)));
EXPECT_TRUE(R->is_equal(R->minus_one(), R->from_long(-1)));
EXPECT_TRUE(R->is_equal(R->zero(), R->from_long(0)));
EXPECT_TRUE(R->is_zero(R->from_long(0)));
}
TEST(RingQQ, negate) { testRingNegate(globalQQ, ntrials); }
TEST(RingQQ, add) { testRingAdd(globalQQ, ntrials); }
TEST(RingQQ, subtract) { testRingSubtract(globalQQ, ntrials); }
TEST(RingQQ, multDivide) { testRingDivide(globalQQ, ntrials); }
TEST(RingQQ, axioms) { testRingAxioms(globalQQ, ntrials); }
TEST(RingQQ, power) { testRingPower(globalQQ, ntrials); }
TEST(RingQQ, syzygy) { testRingSyzygy(globalQQ, ntrials); }
// Local Variables:
// compile-command: "make -C $M2BUILDDIR/Macaulay2/e/unit-tests check "
// indent-tabs-mode: nil
// End:
|
