i1 : R = CC[x,y];
i2 : T = polySpace matrix{{1,x,y}};
i3 : D = dualSpace(matrix{{x-y}}, origin R);
i4 : S = orthogonalInSubspace(D, T, 1e-6) o4 = | .5x+.5y-.707107 .5x+.5y+.707107 | o4 : PolySpace