Macaulay2 » Documentation
Packages » FormalGroupLaws :: valuation

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

valuation -- smallest degree of monomials

Synopsis

Usage:

valuation(p)
Inputs:
- p, an element of a PolynomialRing
Outputs:
- an integer, or infinity

Description

This function computes the minimum of the degrees of monomials appearing in p. It gives infinity if p is zero.

i1 : R= ZZ[x,y]

o1 = R

o1 : PolynomialRing

i2 : valuation(x^2+y)

o2 = 1

i3 : valuation(0_R)

o3 = infinity

o3 : InfiniteNumber

For the programmer

The object valuation is a function closure.