Frobby
0.9.1
src
IdealTest.cpp
Go to the documentation of this file.
1
/* Frobby: Software for monomial ideal computations.
2
Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
3
4
This program is free software; you can redistribute it and/or modify
5
it under the terms of the GNU General Public License as published by
6
the Free Software Foundation; either version 2 of the License, or
7
(at your option) any later version.
8
9
This program is distributed in the hope that it will be useful,
10
but WITHOUT ANY WARRANTY; without even the implied warranty of
11
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12
GNU General Public License for more details.
13
14
You should have received a copy of the GNU General Public License
15
along with this program. If not, see http://www.gnu.org/licenses/.
16
*/
17
#include "
stdinc.h
"
18
#include "
Ideal.h
"
19
#include "
tests.h
"
20
21
#include "
Term.h
"
22
23
TEST_SUITE
(
Ideal
)
24
25
TEST
(
Ideal
, IsWeaklyGeneric1) {
26
Ideal
id(4);
27
id
.insert(
Term
(
"0 2 1 1"
));
28
id
.insert(
Term
(
"0 1 2 2"
));
29
id
.insert(
Term
(
"0 3 2 0"
));
30
31
// The first generator strictly divides the lcm of the other two.
32
ASSERT_TRUE
(
id
.isWeaklyGeneric());
33
}
34
35
TEST
(
Ideal
, IsWeaklyGeneric2) {
36
Ideal
id(4);
37
id
.insert(
Term
(
"0 2 1 1"
));
38
id
.insert(
Term
(
"0 1 2 2"
));
39
id
.insert(
Term
(
"0 2 2 0"
));
40
41
ASSERT_FALSE
(
id
.isWeaklyGeneric());
42
}
stdinc.h
TEST
TEST(Ideal, IsWeaklyGeneric1)
Definition:
IdealTest.cpp:25
TEST_SUITE
#define TEST_SUITE(SUITE)
Definition:
macroes.h:26
Term.h
Ideal.h
Term
Term represents a product of variables which does not include a coefficient.
Definition:
Term.h:49
ASSERT_TRUE
#define ASSERT_TRUE(VALUE)
Definition:
asserts.h:72
Ideal
Represents a monomial ideal with int exponents.
Definition:
Ideal.h:27
ASSERT_FALSE
#define ASSERT_FALSE(VALUE)
Definition:
asserts.h:119
tests.h
Generated by
1.8.17