Valuations on Henselizations of rings¶

AUTHORS:

class henselization.sage.rings.padics.henselization.valuation.HenselizationValuationFactory(name)¶

Bases: UniqueFactory

Return the valuation on the Henselization domain.

EXAMPLES:

Do not call this factory directly, but call the valuation method of a Henselization:

sage: from henselization import *
sage: K = QQ.henselization(5)
sage: K.valuation() # indirect doctest
5-adic valuation

create_key(domain)¶

Return a key that uniquely identifies this valuation.

TESTS:

sage: from henselization import *
sage: K = QQ.henselization(5)
sage: K.valuation() is K.valuation() # indirect doctest
True

create_object(version, key)¶

Return the valuation described by key.

TESTS:

sage: from henselization import *
sage: K = QQ.henselization(5)
sage: K.valuation() # indirect doctest
5-adic valuation