Rational variable

asked 2022-10-12 03:43:59 +0100

AlAnGeTo gravatar image

How would one define the domain of a symbolic variable to be rational? For a real variable $a$ it would be var('a', domain='real') or var('a', domain='RR'). However, it seems that the domain can only be 'complex', 'real', 'positive' or 'integer'. Is there a reason for this and how would one get around this if one needs to define a rational variable?

edit retag flag offensive close merge delete


Maxima can declare some variables as rational or irrational, but this has not (yet) be implemented in Sage.

This might be a worthwhile addition for the parts of Sage that get subcontracted to Maxima. You may try to post on sage-devel...

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2022-10-15 22:43:43 +0100 )edit