Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
1
2
3
4
5
from sage.misc.lazy_import import lazy_import
lazy_import('sage.rings.valuation.gauss_valuation', 'GaussValuation')
lazy_import('sage.rings.valuation', 'valuations_catalog', 'valuations')
lazy_import('sage.rings.valuation.value_group', 'DiscreteValueGroup')