Skip to content

Commit

Permalink
fix the linter in series_valuation.py
Browse files Browse the repository at this point in the history
  • Loading branch information
fchapoton authored Feb 21, 2025
1 parent 92a950d commit f31283a
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/sage/rings/series_valuation.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@
from sage.structure.factory import UniqueFactory
from sage.rings.valuation.valuation import DiscreteValuation


class SeriesValuationFactory(UniqueFactory):
r"""
Create a valuation over a power series ring or a Laurent series ring.
Expand Down Expand Up @@ -59,6 +60,7 @@ def create_object(self, version, key, **extra_args):
parent = DiscretePseudoValuationSpace(key)
return parent.__make_element_class__(SeriesValuation_generic)(parent)


SeriesValuation = SeriesValuationFactory("sage.rings.series_valuation.SeriesValuation")


Expand Down

0 comments on commit f31283a

Please sign in to comment.