areEqual(PolySpace,PolySpace) -- approximate equality of subspaces spanned by polynomials

• Function: areEqual

• Usage:

  b = areEqual(A,B)

• Inputs:
  • A, an instance of the type PolySpace,
  • B, an instance of the type PolySpace,
• Optional inputs:
  • Projective => ..., default value false, determine if solutions are equal
  • Tolerance => ..., default value .000001, the tolerance of a numerical computation
• Outputs:
  • b, a Boolean value,

i1 : R = CC[x,y];

i2 : b = areEqual(polySpace matrix{{y^2,x^2+x*y}}, polySpace matrix{{x^2+x*y+y^2,y^2+0.00000001}})

o2 = true