case info_flags::cinteger_polynomial:
case info_flags::rational_polynomial:
case info_flags::crational_polynomial:
- return exponent.info(info_flags::nonnegint) &&
- basis.info(inf);
+ return basis.info(inf) && exponent.info(info_flags::nonnegint);
case info_flags::rational_function:
- return exponent.info(info_flags::integer) &&
- basis.info(inf);
+ return basis.info(inf) && exponent.info(info_flags::integer);
+ case info_flags::real:
+ return basis.info(inf) && exponent.info(info_flags::integer);
case info_flags::expanded:
return (flags & status_flags::expanded);
case info_flags::positive:
return basis.info(info_flags::positive) && exponent.info(info_flags::real);
case info_flags::nonnegative:
return (basis.info(info_flags::positive) && exponent.info(info_flags::real)) ||
- (basis.info(info_flags::real) && exponent.info(info_flags::integer) && exponent.info(info_flags::even));
+ (basis.info(info_flags::real) && exponent.info(info_flags::even));
case info_flags::has_indices: {
if (flags & status_flags::has_indices)
return true;