Hi,
In new symbolics, the default symbolic variables are complex.
However, sometime it is useful/desirable to make the domain of
variables to be real.
Currently, there are no way to specify the domain of variables
in Sage although underlying Ginac allows it. For example: following
would to be good to have.
------
sage: var('x,y,z', domain='real')
------
Also, "assume" should be fixed so that it updates the domain.
Currently it doesn't do so.
--------
sage: conjugate(x)
conjugate(x)
sage: assume(x, 'real')
sage: assumptions()
[x is real]
sage: conjugate(x)
conjugate(x)
--------
I could implement above rather easily by exposing underlying Ginac
feature. However, I am not sure how to submit patches for pynac/ginac
as its not under "devel/sage".
Cheers
Golam
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
