Frobby  0.9.1
BigattiHilbertAlgorithm.h
Go to the documentation of this file.
1 /* Frobby: Software for monomial ideal computations.
2  Copyright (C) 2009 University of Aarhus
3  Contact Bjarke Hammersholt Roune for license information (www.broune.com)
4 
5  This program is free software; you can redistribute it and/or modify
6  it under the terms of the GNU General Public License as published by
7  the Free Software Foundation; either version 2 of the License, or
8  (at your option) any later version.
9 
10  This program is distributed in the hope that it will be useful,
11  but WITHOUT ANY WARRANTY; without even the implied warranty of
12  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13  GNU General Public License for more details.
14 
15  You should have received a copy of the GNU General Public License
16  along with this program. If not, see http://www.gnu.org/licenses/.
17 */
18 #ifndef BIGATTI_HILBERT_ALGORITHM_GUARD
19 #define BIGATTI_HILBERT_ALGORITHM_GUARD
20 
21 #include "TaskEngine.h"
22 #include "Ideal.h"
23 #include "ObjectCache.h"
24 #include "BigattiState.h"
25 #include "BigattiBaseCase.h"
26 #include "BigattiPivotStrategy.h"
27 #include "BigattiParams.h"
28 
30 class Term;
31 
33 public:
38  BigattiHilbertAlgorithm(auto_ptr<Ideal> ideal,
39  const TermTranslator& translator,
40  const BigattiParams& params,
41  auto_ptr<BigattiPivotStrategy> pivot,
42  CoefBigTermConsumer& consumer);
43 
44  void setPrintStatistics(bool value);
45  void setPrintDebug(bool value);
46  void setUseSimplification(bool value);
47  void setDoCanonicalOutput(bool value);
48  void setComputeUnivariate(bool value);
49 
50  void run();
51 
52 private:
53  void processState(auto_ptr<BigattiState> state);
54  void getPivot(BigattiState& state, size_t& var, Exponent& e);
55  void simplify(BigattiState& state);
56 
57  void freeState(auto_ptr<BigattiState> state);
58 
59  size_t _varCount;
64 
67 
69 
70  auto_ptr<BigattiPivotStrategy> _pivot;
71 
74 
75  friend class BigattiState;
76 };
77 
78 #endif
BigattiState.h
ObjectCache< BigattiState >
CoefBigTermConsumer
Definition: CoefBigTermConsumer.h:29
BigattiHilbertAlgorithm::_tmp_processState_pivot
Term _tmp_processState_pivot
Definition: BigattiHilbertAlgorithm.h:65
BigattiHilbertAlgorithm::_translator
const TermTranslator & _translator
Definition: BigattiHilbertAlgorithm.h:60
BigattiHilbertAlgorithm::_computeUnivariate
bool _computeUnivariate
Definition: BigattiHilbertAlgorithm.h:72
BigattiHilbertAlgorithm::_pivot
auto_ptr< BigattiPivotStrategy > _pivot
Definition: BigattiHilbertAlgorithm.h:70
BigattiHilbertAlgorithm::_baseCase
BigattiBaseCase _baseCase
Definition: BigattiHilbertAlgorithm.h:68
BigattiHilbertAlgorithm::processState
void processState(auto_ptr< BigattiState > state)
Definition: BigattiHilbertAlgorithm.cpp:75
BigattiState
Definition: BigattiState.h:27
BigattiHilbertAlgorithm::setDoCanonicalOutput
void setDoCanonicalOutput(bool value)
ObjectCache.h
BigattiHilbertAlgorithm::setUseSimplification
void setUseSimplification(bool value)
TermTranslator
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Definition: TermTranslator.h:41
BigattiHilbertAlgorithm::run
void run()
Definition: BigattiHilbertAlgorithm.cpp:54
Exponent
unsigned int Exponent
Definition: stdinc.h:89
TaskEngine
TaskEngine handles a list of tasks that are to be carried out.
Definition: TaskEngine.h:40
BigattiHilbertAlgorithm::getPivot
void getPivot(BigattiState &state, size_t &var, Exponent &e)
BigattiHilbertAlgorithm::_tasks
TaskEngine _tasks
Definition: BigattiHilbertAlgorithm.h:62
BigattiPivotStrategy.h
Ideal.h
BigattiHilbertAlgorithm
Definition: BigattiHilbertAlgorithm.h:32
BigattiParams.h
Term
Term represents a product of variables which does not include a coefficient.
Definition: Term.h:49
TaskEngine.h
BigattiBaseCase.h
BigattiHilbertAlgorithm::_params
BigattiParams _params
Definition: BigattiHilbertAlgorithm.h:73
BigattiHilbertAlgorithm::setComputeUnivariate
void setComputeUnivariate(bool value)
Definition: BigattiHilbertAlgorithm.cpp:50
BigattiHilbertAlgorithm::_consumer
CoefBigTermConsumer * _consumer
Definition: BigattiHilbertAlgorithm.h:61
BigattiParams
Definition: BigattiParams.h:25
BigattiHilbertAlgorithm::setPrintDebug
void setPrintDebug(bool value)
BigattiHilbertAlgorithm::BigattiHilbertAlgorithm
BigattiHilbertAlgorithm(auto_ptr< Ideal > ideal, const TermTranslator &translator, const BigattiParams &params, auto_ptr< BigattiPivotStrategy > pivot, CoefBigTermConsumer &consumer)
Construct an object for running the Bigatti et.al.
Definition: BigattiHilbertAlgorithm.cpp:27
BigattiHilbertAlgorithm::freeState
void freeState(auto_ptr< BigattiState > state)
Definition: BigattiHilbertAlgorithm.cpp:125
BigattiHilbertAlgorithm::setPrintStatistics
void setPrintStatistics(bool value)
BigattiHilbertAlgorithm::_tmp_simplify_gcd
Term _tmp_simplify_gcd
Definition: BigattiHilbertAlgorithm.h:66
BigattiBaseCase
This class handles the base cases for the Hilbert-Poincare series by Bigatti et.al.
Definition: BigattiBaseCase.h:33
BigattiHilbertAlgorithm::_stateCache
ObjectCache< BigattiState > _stateCache
Definition: BigattiHilbertAlgorithm.h:63
BigattiHilbertAlgorithm::simplify
void simplify(BigattiState &state)
Definition: BigattiHilbertAlgorithm.cpp:109
BigattiHilbertAlgorithm::_varCount
size_t _varCount
Definition: BigattiHilbertAlgorithm.h:59