Prefer a chat interface with context about you and your work?
Quadratic modules in $R[[X]]$
We give a complete list of all quadratic modules and inclusions between them in the ring $R[[X]]$ of formal power series in one variable $X$ over a euclidean field $R$.