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

1
2
3
4
5
6
7
8
9
10
#ifndef DIMENSION_H_INCLUDED
#define DIMENSION_H_INCLUDED

#include "polynomial.h"

PolynomialSet radicalOfMonomialIdeal(PolynomialSet const &monomialGenerators);
int krullDimensionOfMonomialIdeal(PolynomialSet const &monomialGenerators);
int krullDimension(PolynomialSet const &groebnerBasis);

#endif