Frobby 0.9.5
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
24
25TEST(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
35TEST(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}
#define ASSERT_TRUE(VALUE)
Definition asserts.h:72
#define ASSERT_FALSE(VALUE)
Definition asserts.h:119
Represents a monomial ideal with int exponents.
Definition Ideal.h:27
Term represents a product of variables which does not include a coefficient.
Definition Term.h:49
#define TEST(SUITE, TEST_NAME)
Definition macroes.h:41
#define TEST_SUITE(SUITE)
Definition macroes.h:26
This header file includes common definitions and is included as the first line of code in every imple...