Valuations : Table of Contents

• Valuations -- A package for constructing and using valuations.
• coneToValuation -- Convert a prime cone of a tropical ideal to a (quasi-)valuation
• leadTermValuation -- The valuation defined by leading terms
• localRingValuation -- The valuation defined by a local ring.
• lowestTermValuation -- The valuation defined by lowest terms
• Ordered modules -- Overview of the ordered module $\QQ^n$
• OrderedQQn -- The class of all ordered modules $\QQ^n$
• orderedQQn -- Construct an ordered module $\QQ^n$
• OrderedQQVector -- The class of all vectors of an ordered module $\QQ^n$
• padicValuation -- The p-adic valuation
• primeConesOfSubalgebra -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.
• trivialValuation -- The trivial valuation
• valM -- Construct a valuation from a (quasi-)valuation
• Valuation -- The type of all valuations
• valuation -- User-defined valuation object