dualSpace -- construct a DualSpace

Synopsis

Usage:

D = dualSpace(M,p)

D = dualSpace(S,p)
Inputs:
- M, a matrix, with one row of generators
- S, an instance of the type PolySpace,
- p, a point,
Outputs:
- D, an instance of the type DualSpace,

Used to construct a finite dimensional subspace of the local dual space of polynomial ring at a point.

i1 : R = CC[x,y];

i2 : M = matrix{{1,x,x^2-y}}

o2 = | 1 x x2-y |

             1      3
o2 : Matrix R  <-- R

i3 : p = point matrix{{1,0}};

i4 : D = dualSpace(M,p)

o4 = | 1 x x2-y |

o4 : DualSpace