← Back to branch summary

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

« back to all changes in this revision

Viewing changes to buchberger.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:
buchberger.h
4
4
#include "polynomial.h"
5
5
 
6
6
Polynomial sPolynomial(Polynomial a, Polynomial b);
7
 
void buchberger(PolynomialSet *g, TermOrder const &termOrder);
 
7
void buchberger(PolynomialSet *g, TermOrder const &termOrder, bool allowSaturation=false);
8
8
void minimize(PolynomialSet *g);
 
9
/**
 
10
 * The Groebner basis g must be minimal before this function is called.
 
11
 */
9
12
void autoReduce(PolynomialSet *g, TermOrder const &termOrder);
 
13
static inline void autoReduce_(PolynomialSet *g, TermOrder const &termOrder){return autoReduce(g,termOrder);}//<----avoiding scoperules. Should start using namespaces.
10
14
bool isMarkedGroebnerBasis(PolynomialSet const &g);
11
15
 
12
16
/* For the autoReduction procedure the TermOrder argument is only used as an
14
18
should be marked and that the term order does not have to agree.
15
19
*/
16
20
 
 
21
/** This routine takes a marked Groebner basis and checks if it is minimal. TODO: there is room for improvement here. */
 
22
bool isMinimal(PolynomialSet const &g);
 
23
/** This routine takes a marekd Groebner basis and checks if it is autoreduced. This means that it also checks if the basis is minimal.*/
 
24
bool isReduced(PolynomialSet const &g);
 
25
 
17
26
#endif