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)
pair< iterator, bool > colonReminimize(iterator begin, iterator end, const Exponent *colon)
iterator minimize(iterator begin, iterator end) const
bool dominatesAny(iterator begin, iterator end, const Exponent *term)
size_t _varCount
Definition Minimizer.h:44
Minimizer(size_t varCount)
Definition Minimizer.h:28
vector< Exponent * >::iterator iterator
Definition Minimizer.h:24
bool dividesAny(iterator begin, iterator end, const Exponent *term)
vector< Exponent * >::const_iterator const_iterator
Definition Minimizer.h:25
unsigned int Exponent
Definition stdinc.h:89