![]() |
GiNaCRA
0.6.4
|


Public Member Functions | |
| polynomial_has_nonzero_sign (const RationalUnivariatePolynomial &p) | |
| bool | operator() (const RealAlgebraicNumberPtr &a) const |
| Tests whether the given RationalUnivariatePolynomial has nonzero sign on the given real algebraic number. | |
Data Fields | |
| RationalUnivariatePolynomial | p |
Definition at line 43 of file RealAlgebraicNumberFactory.cpp.
| GiNaCRA::polynomial_has_nonzero_sign::polynomial_has_nonzero_sign | ( | const RationalUnivariatePolynomial & | p | ) | [inline] |
Definition at line 48 of file RealAlgebraicNumberFactory.cpp.
| bool GiNaCRA::polynomial_has_nonzero_sign::operator() | ( | const RealAlgebraicNumberPtr & | a | ) | const [inline] |
Tests whether the given RationalUnivariatePolynomial has nonzero sign on the given real algebraic number.
| a | (unverified input) |
Definition at line 56 of file RealAlgebraicNumberFactory.cpp.
References p, and GiNaC::ZERO_SIGN.
Definition at line 46 of file RealAlgebraicNumberFactory.cpp.
Referenced by operator()().