x-adic filtration (source code)

= x-adic filtration

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