← Back to branch summary

~ubuntu-branches/ubuntu/saucy/gfan/saucy-proposed

« back to all changes in this revision

Viewing changes to integergb.h

  • Committer: Package Import Robot
  • Author(s): Cédric Boutillier
  • Date: 2013-07-09 10:44:01 UTC
  • mfrom: (2.1.2 experimental)
  • Revision ID: package-import@ubuntu.com-20130709104401-5q66ozz5j5af0dak
Tags: 0.5+dfsg-3
* Upload to unstable.
* modify remove_failing_tests_on_32bits.patch to replace command of
  0009RenderStairCase test with an empty one instead of deleting it.
* remove lintian override about spelling error

Show diffs side-by-side

added added

removed removed

Lines of Context:
integergb.h
 
1
/*
 
2
 * integergb.h
 
3
 *
 
4
 *  Created on: Dec 14, 2010
 
5
 *      Author: anders
 
6
 */
 
7
 
 
8
#ifndef INTEGERGB_H_
 
9
#define INTEGERGB_H_
 
10
 
 
11
/*
 
12
 * integergb.cpp
 
13
 *
 
14
 *  Created on: Dec 14, 2010
 
15
 *      Author: anders
 
16
 */
 
17
 
 
18
#include "polynomial.h"
 
19
#include "field_rationals.h"
 
20
#include "symmetrictraversal.h"
 
21
 
 
22
/*
 
23
 * Implemented according to [Becker, Weispfenning].
 
24
 */
 
25
 
 
26
Polynomial dDivision(Polynomial p, PolynomialSet const &l, TermOrder const &termOrder);
 
27
Polynomial spol(Polynomial const &g1, Polynomial const &g2);
 
28
Polynomial gpol(Polynomial const &g1, Polynomial const &g2);
 
29
void zAutoReduce(PolynomialSet *g, TermOrder const &termOrder);
 
30
void zBuchberger(PolynomialSet &F, TermOrder const &T);
 
31
 
 
32
class IntegerGroebnerFanTraverser: public ConeTraverser
 
33
{
 
34
  PolynomialSet groebnerBasis;
 
35
  PolyhedralCone theCone;
 
36
  int n;//,d;
 
37
  int prime;
 
38
  void updatePolyhedralCone();
 
39
public:
 
40
  IntegerGroebnerFanTraverser(PolynomialSet const &generators);
 
41
  virtual void changeCone(IntegerVector const &ridgeVector, IntegerVector const &rayVector);
 
42
  virtual IntegerVectorList link(IntegerVector const &ridgeVector);
 
43
  PolyhedralCone & refToPolyhedralCone();
 
44
//  PolynomialSet &refToGroebnerBasisRepresentation();
 
45
//  PolynomialSet initialIdeal()const;
 
46
};
 
47
 
 
48
#endif /* INTEGERGB_H_ */