Hello I am trying to write an expressing showing its membership in ZZ, RR, QQ. e.g In sage "assume(x in ZZ) "gives me error.
If I want to show that the symbol x belongs to ZZ then how should I express it ?
Best wishes
assume() is a wrapper for the function with the same name in Maxima. You can find out about the syntax with the usual method of adding a ? after the function name:
sage: assume?In this case, to indicate that the variable x is in ZZ, you need to type:
sage: assume(x, 'integer')Unfortunately, Sage relies on two different backends for symbolic computations, Maxima and Pynac. Each of these uses a different method to indicate domains. We haven't reconciled these through the same interface yet. In order to indicate that a variable is real to Pynac, you can do:
sage: var('x', domain=RR)At this moment, Pynac does not have different domains for ZZ or QQ. It only knows about RR, CC and NN.
Thank you, answer is very useful to me.
Then you can mark my answer as the accepted one. This will prevent this question from getting in the way if someone searches for the list of unanswered questions on this site.
I don't know if you actually need symbolic expressions, otherwise tests are very straightforward:
sage: x=12
sage: x in ZZ, x in QQ, x in RR
(True, True, True)Note that tests using pure Python isinstance give different output, no surprise:
sage: isinstance(x, Integer), isinstance(x, ZZ)
(True, False)Thank you very much.
Asked: 12 years ago
Seen: 1,296 times
Last updated: Jan 03 '13
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.