The package defines types used by the package NumericalAlgebraicGeometry as well as other numerical algebraic geometry packages: e.g., interface packages PHCpack and Bertini::Bertini.
Datatypes:
See the corresponding documentation nodes for description of provided service functions.
We display the objects of all new types showing only partial data. Moreover, if an object is assigned to a global variable, only the name of the variable is shown. Use peek for more information.
i1 : R = CC[x,y] o1 = R o1 : PolynomialRing |
i2 : I = ideal((x^2+y^2+2)*x,(x^2+y^2+2)*y); o2 : Ideal of R |
i3 : w1 = witnessSet(I , ideal(x-y), {point {{0.999999*ii,0.999999*ii}}, point {{-1.000001*ii,-1.000001*ii}}} ) o3 = w1 o3 : WitnessSet |
i4 : O = point {{0.,0.}} o4 = O o4 : Point |
i5 : numericalVariety {witnessSet(I, ideal R, {O}),w1} o5 = a numerical variety with components in dim 0: [dim=0,deg=1] dim 1: w1 o5 : NumericalVariety |
i6 : V = oo o6 = V o6 : NumericalVariety |
i7 : peek V o7 = NumericalVariety{0 => {[dim=0,deg=1]}} 1 => {w1} |
i8 : peek w1 o8 = WitnessSet{IsIrreducible => null } Points => {{.999999*ii, .999999*ii}} {{-ii, -ii} } Slice => | 1 -1 0 | 3 2 2 3 Equations => ideal (x + x*y + 2x, x y + y + 2y) |
i9 : peek O o9 = Point{Coordinates => {0, 0}} |