Macaulay2 » Documentation
Packages » NAGtypes :: areEqual(DualSpace,DualSpace)
next | previous | forward | backward | up | index | toc

areEqual(DualSpace,DualSpace) -- approximate equality of dual spaces

Description

Two dual spaces are approximately equal if the have (approximately) the same base point(DualSpace) and the linear spaces spanned by the differential operators are equal approximately.

i1 : R = CC[x,y];
i2 : A = dualSpace(matrix{{y^2,x^2+x*y}},point{{1,1}})

o2 = | y2 x2+xy |

o2 : DualSpace
i3 : B = dualSpace(matrix{{x^2+x*y+y^2,y^2+0.00000001}},point{{1,1+0.00000001}})

o3 = | x2+xy+y2 y2+1e-8 |

o3 : DualSpace
i4 : b = areEqual(A,B)

o4 = true

Ways to use this method:


The source of this document is in NAGtypes/doc-NAGtypes.m2:984:0.