Hello,
The following code returns the value "False", and I don't understand why. Does 'assume' and 'in RR' work fine together ?
sage: var('alpha')
sage: assume(alpha,'real')
sage: alpha in RR
FalseThank you by advance Please excuse me for the mistakes, I'm French.
When you write var('alpha') you define a symbolic variable, whose role is to serve as an indeterminate in symbolic expressions such as exp(alpha)/log(alpha+pi). When you write assume(alpha,'real'), you add the hint that this symbolic variable serves as a real indeterminate, the system can use this information during its computations (e.g. when simplifying formulas).
Despite its generic name, RR is not an abstraction representing the reals, but one of the available approximations of the real field, namely RR is made of floating-point numbers with 53 bits of precision, so we are quite far from the symbolic ring, in particular, there is no way to transform a symbol into a floating-point number.
Asked: 9 years ago
Seen: 409 times
Last updated: May 19 '15
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.
