implementing more sophisticated positivity heuristics for multivariate rational functions.
implementing more sophisticated positivity heuristics for multivariate rational functions.