val = valuation(R, v)
Constructs a valuation from a (quasi-)valuation following the approach in Kaveh and Manon, 2019. In particular, the maximum quasi-valuation of all preimages of the input is taken as the valuation.
|
|
|
|
|
|
|
|
|
For elements not in A, the valuation returns unreliable results because the valuation does not come from a weight valuation on R
|
|
|
The object valM is a method function.
The source of this document is in Valuations.m2:893:0.