Prefer a chat interface with context about you and your work?
A quasi-linear irreducibility test in $$\mathbb{K}[[x]][y]$$