orthogonalInSubspace -- Orthogonal of a space

• Usage:

  S = orthogonalInSubspace(D, T, tol)

• Inputs:
  • D, an instance of the type DualSpace, or an instance of the type PolySpace a space of which to find the orthogonal
  • T, an instance of the type PolySpace, ambient space
  • tol, a number, a positive number, the numerical tolerance
• Outputs:
  • S, an instance of the type PolySpace,

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 = | 1x+y 1 |

o4 : PolySpace