-- -*- M2-comint -*- hash: 1729912286734342400

i1 : A =  (QQ [a,b,c]) [x, y, Dx, Dy, WeylAlgebra => {x=>Dx, y=>Dy}]

o1 = A

o1 : PolynomialRing, 2 differential variable(s)

i2 : paramBpoly(a*x^2 + b*x*y + c*y^2, stdio)
\begin{itemize}
\item $b(s)=(S+1)^2$ corresponds to
$V(0)$$\setminus$$V(b^2-4*a*c)$
\item $b(s)=(S+1/2)*(S+1)$ corresponds to
$V(b^2-4*a*c)$
\end{itemize}

             2       1
o2 = {(S + 1) , (S + -)(S + 1)}
                     2

o2 : List

i3 : 
