next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NAGtypes :: realPoints

realPoints -- determine whether a point is real

Synopsis

Description

i1 : needsPackage "NumericalAlgebraicGeometry"
--warning: symbol "generalEquations" in PHCpack#"private dictionary" is shadowed by a symbol in NAGtypes.Dictionary
--  no synonym is available
--warning: symbol "addSlackVariables" in PHCpack#"private dictionary" is shadowed by a symbol in NAGtypes.Dictionary
--  no synonym is available
--warning: symbol "tDegree" in NumericalAlgebraicGeometry#"private dictionary" is shadowed by a symbol in PHCpack.Dictionary
--  use the synonym NumericalAlgebraicGeometry$tDegree
--warning: symbol "gamma" in NumericalAlgebraicGeometry#"private dictionary" is shadowed by a symbol in PHCpack.Dictionary
--  use the synonym NumericalAlgebraicGeometry$gamma
--warning: symbol "tDegree" in NumericalAlgebraicGeometry.Dictionary is shadowed by a symbol in PHCpack.Dictionary
--  use the synonym NumericalAlgebraicGeometry$tDegree
--warning: symbol "gamma" in NumericalAlgebraicGeometry.Dictionary is shadowed by a symbol in PHCpack.Dictionary
--  use the synonym NumericalAlgebraicGeometry$gamma

o1 = NumericalAlgebraicGeometry

o1 : Package
i2 : R = CC[x,y];
i3 : sols = solveSystem{x^6-y^4, x-y-2}

o3 = {{.937565-.715691*ii, -1.06244-.715691*ii}, {2*ii, -2+2*ii},
     ------------------------------------------------------------------------
     {.937565+.715691*ii, -1.06244+.715691*ii}, {-2*ii, -2-2*ii}, {1, -1},
     ------------------------------------------------------------------------
     {-2.87513, -4.87513}}

o3 : List
i4 : realPoints sols

o4 = {{1, -1}, {-2.87513, -4.87513}}

o4 : List

Ways to use realPoints :