x-adic filtration (source code)

= x-adic filtration

The $x$-adic filtration is the filtration by powers of the principal ideal $(x)$.