realCount(S)
This computes the number of distinct real points of Spec S, not counting multiplicity. If f is a univariate polynomial (resp. if I is a zero-dimensional ideal), this computes the number of real points of Spec R/(f) (resp. R/I), where R is the ring generated by the variables that appear in f (resp. in I) to allow for elimination of variables. If l is a list of generators of an ideal I, then this computes the number of real points of Spec (R/I) as before.
If f is a univariate polynomial, then this counts its number of real roots.
|
|
|
If I is a zero-dimensional ideal, this computes the number of distinct real points of Spec R/I.
|
|
If l is a system of rational polynomials, then this computes the number of distinct real solutions.
|
|
The object realCount is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/RealRoots.m2:1059:0.