Frobby 0.9.5
Minimizer.h
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#ifndef IDEAL_MINIMIZER_GUARD
18#define IDEAL_MINIMIZER_GUARD
19
20#include <vector>
21
22class Minimizer {
23 private:
24 typedef vector<Exponent*>::iterator iterator;
25 typedef vector<Exponent*>::const_iterator const_iterator;
26
27 public:
28 Minimizer(size_t varCount):
29 _varCount(varCount) {}
30
31 iterator minimize(iterator begin, iterator end) const;
32
33 pair<iterator, bool> colonReminimize(iterator begin, iterator end,
34 const Exponent* colon);
35 pair<iterator, bool> colonReminimize(iterator begin, iterator end,
36 size_t var, Exponent exponent);
37
38 bool dominatesAny(iterator begin, iterator end, const Exponent* term);
39 bool dividesAny(iterator begin, iterator end, const Exponent* term);
40
42
43 private:
44 size_t _varCount;
45};
46
47#endif
bool isMinimallyGenerated(const_iterator begin, const_iterator end)
Definition: Minimizer.cpp:308
pair< iterator, bool > colonReminimize(iterator begin, iterator end, const Exponent *colon)
Definition: Minimizer.cpp:257
vector< Exponent * >::iterator iterator
Definition: Minimizer.h:24
iterator minimize(iterator begin, iterator end) const
Definition: Minimizer.cpp:239
bool dominatesAny(iterator begin, iterator end, const Exponent *term)
Definition: Minimizer.cpp:329
size_t _varCount
Definition: Minimizer.h:44
Minimizer(size_t varCount)
Definition: Minimizer.h:28
vector< Exponent * >::const_iterator const_iterator
Definition: Minimizer.h:25
bool dividesAny(iterator begin, iterator end, const Exponent *term)
Definition: Minimizer.cpp:337
void colon(Word *res, const Word *resEnd, const Word *a, const Word *b)
unsigned int Exponent
Definition: stdinc.h:89