It doesn't work, never has, and it is quire unclear how to fix it.
@tab @dots{}a polynomial with (possibly complex) rational coefficients (such as @math{2/3+7/2*I})
@item @code{rational_function}
@tab @dots{}a rational function (@math{x+y}, @math{z/(x+y)})
-@item @code{algebraic}
-@tab @dots{}an algebraic object (@math{sqrt(2)}, @math{sqrt(x)-1})
@end multitable
@end cartouche
return true;
return overall_coeff.info(inf);
}
- case info_flags::algebraic: {
- epvector::const_iterator i = seq.begin(), end = seq.end();
- while (i != end) {
- if ((recombine_pair_to_ex(*i).info(inf)))
- return true;
- ++i;
- }
- return false;
- }
}
return inherited::info(inf);
}
rational_polynomial,
crational_polynomial,
rational_function,
- algebraic,
// answered by class indexed
indexed, // class can carry indices
case info_flags::prime:
case info_flags::crational_polynomial:
case info_flags::rational_function:
- case info_flags::algebraic:
case info_flags::positive:
case info_flags::negative:
case info_flags::nonnegative:
return true;
return overall_coeff.info(inf);
}
- case info_flags::algebraic: {
- for (auto & it : seq) {
- if (recombine_pair_to_ex(it).info(inf))
- return true;
- }
- return false;
- }
case info_flags::positive:
case info_flags::negative: {
if ((inf==info_flags::positive) && (flags & status_flags::is_positive))
return is_odd();
case info_flags::prime:
return is_prime();
- case info_flags::algebraic:
- return !is_real();
}
return false;
}
case info_flags::rational_function:
return exponent.info(info_flags::integer) &&
basis.info(inf);
- case info_flags::algebraic:
- return !exponent.info(info_flags::integer) ||
- basis.info(inf);
case info_flags::expanded:
return (flags & status_flags::expanded);
case info_flags::positive: