v = valuation(f)
v = valuation(f, S, T)
Construct a user defined valuation function. User-defined functions are not checked for satisfying the properties of a valuation. It is not necessary to specify a source or target, but if they are provided, then the input is checked to be in the source (or either promotable to the source or in the fraction field of the source). For common use cases, it is suggested to use the provided valuations.
|
|
The object valuation is a method function.