next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NoetherianOperators :: orthogonalInSubspace

orthogonalInSubspace -- Orthogonal of a space

Synopsis

Description

This functions computes the subspace of the polynomial space T that is orthogonal to the dual space (or polynomial space) D.

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

Ways to use orthogonalInSubspace :

For the programmer

The object orthogonalInSubspace is a method function.