• BINARYNEWTON_REFINEMENTSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• BINARYSAMPLE_ISOLATIONSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• BINARYSAMPLE_REFINEMENTSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• BINNARYMIDPOINTSAMPLE_REFINEMENTSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• DUCOS_SUBRESULTANTSTRATEGY : GiNaCRA::UnivariatePolynomial
• GENERIC_ISOLATIONSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• GENERIC_REFINEMENTSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• GENERIC_SUBRESULTANTSTRATEGY : GiNaCRA::UnivariatePolynomial
• LAZARDS_SUBRESULTANTSTRATEGY : GiNaCRA::UnivariatePolynomial
• SIMPLE_ISOLATIONSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• TERNARYNEWTON_ISOLATIONSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings
• TERNARYSAMPLE_ISOLATIONSTRATEGY : GiNaCRA::RealAlgebraicNumberSettings