← Back to branch summary

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

« back to all changes in this revision

Viewing changes to multiplicity.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:
multiplicity.h
4
4
#include "polynomial.h"
5
5
#include "matrix.h"
6
6
 
 
7
/**
 
8
 * By multiplicative coordinate changes in the Laurent polynomial ring this routine produces a simpler ideal (and a ring) with the same multiplicity as g. This routine also preserves the mixed volume of the Newton polytopes.
 
9
 */
 
10
PolynomialSet idealWithSameMultiplicity(PolynomialSet const &g);
 
11
 
7
12
int multiplicity(PolynomialSet const &g);
8
13
/* Computes the multiplicity of a d-dimensional ideal with the d-dimensional homogeneity space. The input must be a marked, reduced Gr\"oebner basis */
 
14
 
 
15
/**
 
16
 * Given a marked list of polynomials, this routine will compute the number of monomials not in
 
17
 * the ideal generated by the marked terms. The number is assumed to be finite.
 
18
 */
9
19
int numberOfStandardMonomials(PolynomialSet const &markedGroebnerBasis);
10
20
 
11
21
 
12
22
 
13
23
Polynomial multiplicativeChangeInv(Polynomial const &p, IntegerMatrix const &lattice, PolynomialRing const &r2);
 
24
 
 
25
/**
 
26
 * Every exponent vector difference of a polynomial in g is assumed to be in the lattice generated by the rows of lattice.
 
27
 * The output of this routine is a list of Laurent polynomials which are obtained by expressing these differences
 
28
 * in terms of the lattice generators. The resulting polynomials are in r2 which is a polynomial ring with the same coefficient
 
29
 * field as that of g and whose number of variables equals the dimension of the lattice.
 
30
 */
14
31
PolynomialSet multiplicativeChangeInv(PolynomialSet const &g, IntegerMatrix const &lattice, PolynomialRing const &r2);
15
32
 
16
33
#endif