Valuations : Index

• (symbol ==, InfiniteNumber, OrderedQQVector) -- The class of all vectors of an ordered module $\QQ^n$
• (symbol ==, OrderedQQVector, InfiniteNumber) -- The class of all vectors of an ordered module $\QQ^n$
• coneToValuation -- Convert a prime cone of a tropical ideal to a (quasi-)valuation
• coneToValuation(Matrix,Subring) -- Convert a prime cone of a tropical ideal to a (quasi-)valuation
• coneToValuation(Matrix,Subring,Ring) -- Convert a prime cone of a tropical ideal to a (quasi-)valuation
• InfiniteNumber == OrderedQQVector -- The class of all vectors of an ordered module $\QQ^n$
• leadTermValuation -- The valuation defined by leading terms
• leadTermValuation(PolynomialRing) -- The valuation defined by leading terms
• localRingValuation -- The valuation defined by a local ring.
• localRingValuation(LocalRing) -- The valuation defined by a local ring.
• lowestTermValuation -- The valuation defined by lowest terms
• lowestTermValuation(PolynomialRing) -- 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$
• OrderedQQn == OrderedQQn -- Overview of the ordered module $\QQ^n$
• orderedQQn(PolynomialRing) -- Construct an ordered module $\QQ^n$
• orderedQQn(ZZ,List) -- Construct an ordered module $\QQ^n$
• OrderedQQVector -- The class of all vectors of an ordered module $\QQ^n$
• OrderedQQVector == InfiniteNumber -- The class of all vectors of an ordered module $\QQ^n$
• OrderedQQVector ? OrderedQQVector -- The class of all vectors of an ordered module $\QQ^n$
• padicValuation -- The p-adic valuation
• padicValuation(ZZ) -- The p-adic valuation
• primeConesOfIdeal -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.
• primeConesOfIdeal(Ideal) -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.
• primeConesOfSubalgebra -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.
• primeConesOfSubalgebra(Subring) -- 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
• valM(Ring,Valuation) -- Construct a valuation from a (quasi-)valuation
• Valuation -- The type of all valuations
• valuation -- User-defined valuation object
• valuation(Function) -- User-defined valuation object
• valuation(Function,LocalRing,LocalRing) -- User-defined valuation object
• valuation(Function,LocalRing,OrderedQQn) -- User-defined valuation object
• valuation(Function,LocalRing,Ring) -- User-defined valuation object
• valuation(Function,LocalRing,RingOfInvariants) -- User-defined valuation object
• valuation(Function,LocalRing,Subring) -- User-defined valuation object
• valuation(Function,Ring,LocalRing) -- User-defined valuation object
• valuation(Function,Ring,OrderedQQn) -- User-defined valuation object
• valuation(Function,Ring,Ring) -- User-defined valuation object
• valuation(Function,Ring,RingOfInvariants) -- User-defined valuation object
• valuation(Function,Ring,Subring) -- User-defined valuation object
• valuation(Function,RingOfInvariants,LocalRing) -- User-defined valuation object
• valuation(Function,RingOfInvariants,OrderedQQn) -- User-defined valuation object
• valuation(Function,RingOfInvariants,Ring) -- User-defined valuation object
• valuation(Function,RingOfInvariants,RingOfInvariants) -- User-defined valuation object
• valuation(Function,RingOfInvariants,Subring) -- User-defined valuation object
• valuation(Function,Subring,LocalRing) -- User-defined valuation object
• valuation(Function,Subring,OrderedQQn) -- User-defined valuation object
• valuation(Function,Subring,Ring) -- User-defined valuation object
• valuation(Function,Subring,RingOfInvariants) -- User-defined valuation object
• valuation(Function,Subring,Subring) -- User-defined valuation object
• Valuations -- A package for constructing and using valuations.