Open
Description
The rational variable domain as well as the general flag is supported by Maxima, SymPy, and Pynac. What is needed in Sage is to promote such assumptions to Pynac and allow the variable domain keyword. Finally Expression.is_rational() should be provided.
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/24368