Frobby 0.9.5
IdealConsolidator.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_CONSOLIDATOR_GUARD
18#define IDEAL_CONSOLIDATOR_GUARD
19
20#include "BigTermConsumer.h"
21#include "VarNames.h"
22#include "BigIdeal.h"
23
24#include <vector>
25
26// This consumer forwards everything it consumes to the wrapped
27// consumer. When it consumes an ideal one term at a time, it will
28// store the ideal and pass it along as one big ideal.
30 public:
32
33 virtual void beginConsumingList();
34 virtual void consumeRing(const VarNames& names);
35
36 virtual void beginConsuming();
37 virtual void consume(const Term& term);
38 virtual void consume(const Term& term, const TermTranslator& translator);
39 virtual void consume(const vector<mpz_class>& term);
40 virtual void doneConsuming();
41
42 virtual void consume(const BigIdeal& ideal);
43
44 virtual void doneConsumingList();
45
46private:
50 bool _inList;
52 vector<mpz_class> _tmp;
53};
54
55#endif
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
virtual void consume(const Term &term)
Consume a term.
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
vector< mpz_class > _tmp
const auto_ptr< BigTermConsumer > _consumer
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.
Definition Term.h:49
Defines the variables of a polynomial ring and facilities IO involving them.
Definition VarNames.h:40