← Back to branch summary

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

« back to all changes in this revision

Viewing changes to groebnerengine.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:
groebnerengine.h
 
1
#ifndef GROEBNERENGINE_H_INCLUDED
 
2
#define GROEBNERENGINE_H_INCLUDED
 
3
 
 
4
#include "polynomial.h"
 
5
 
 
6
class GroebnerEngine
 
7
{
 
8
  static class GroebnerEngine *list;
 
9
  class GroebnerEngine *next;
 
10
 public:
 
11
  GroebnerEngine();
 
12
  //  static LpSolver *find(const char *name);
 
13
  //  static void printList(FILE *f);
 
14
  virtual const char *name()=0;
 
15
  static GroebnerEngine *find(const char *name);
 
16
 
 
17
  /**
 
18
     Computes a Groebner basis of the input ideal with respect to the
 
19
     degree reverse lexicographic term order induced by the weight.
 
20
     The input generators of the ideal must be homogeneous with
 
21
     respect to a positive vector or all entries of weight must be
 
22
     strictly positive. The returned basis might not be minimal and
 
23
     might not be reduced.??????????????????
 
24
   */
 
25
  //  virtual PolynomialSet groebnerBasisDegreeRevLex(PolynomialSet const &ideal, IntegerVector const &weight)=0;
 
26
  virtual PolynomialSet groebnerBasis(bool &success, PolynomialSet const &idealGenerators, TermOrder const &termOrder, bool autoreduce)=0;
 
27
  /**
 
28
     
 
29
   */
 
30
  virtual PolynomialSet autoReduce(bool &success, PolynomialSet const &idealGenerators)=0;  
 
31
};
 
32
 
 
33
 
 
34
PolynomialSet GE_groebnerBasis(PolynomialSet const &idealGenerators, TermOrder const &termOrder, bool autoreduce);
 
35
PolynomialSet GE_autoReduce(PolynomialSet const &idealGenerators);  
 
36
bool GE_SetEngine(const char *name);
 
37
 
 
38
 
 
39
#endif