I have a paper giving an irreducibility test (and factoring "algorithm", in some sense of the word) for formal power series over a PID, which should eventually appear in Trans. of the AMS. In particular it applies to K[[X]][[Y]].
Jesse Elliott
- 5k
- 26
- 44