next | previous | forward | backward | up | top | index | toc | home

reduceHilbert -- reduce a Hilbert series expression

Synopsis

Usage:
reduceHilbert H
Inputs:
- H, a divide expression
Outputs:
- a divide expression, the Hilbert series reduced by removing common factors

Description

This function is used to reduce the rational expression given by the command hilbertSeries. It is not automatically reduced, but sometimes it is useful to write it in reduced form. For instance, one might not notice that the series is a polynomial until it is reduced.

i1 : R = ZZ/101[x, Degrees => {2}];

i2 : I = ideal x^2;

o2 : Ideal of R

i3 : s = hilbertSeries I

           4
      1 - T
o3 = --------
           2
     (1 - T )

o3 : Expression of class Divide

i4 : reduceHilbert s

          2
     1 + T
o4 = ------
        1

o4 : Expression of class Divide

Ways to use `reduceHilbert` :

reduceHilbert(Divide)