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()().