Hello,
On Thu, Jun 18, 2009 at 12:59 PM, Golam Mortuza Hossain
<gmhoss...@gmail.com> wrote:
>
> Hi,
> (1) Assumptions:
> How does the assumption framework work in new symbolic?
These are all done via Maxima.
>
> For example:
> ------
> 1 > 0
> -
> True
> ---
> a=var('a');
> a > 0
> -
> a > 0
> ---
> assume(a>0)
> a > 0
> -
> a > 0
> --------
> I was expecting a "True" in last line but that doesn't seem to happen.
sage: a = var('a')
sage: assume(a>0)
sage: a > 0
a > 0
sage: bool(a > 0)
True
sage: forget(a > 0)
sage: bool(a > 0)
False
> (2) How should the expression "operator" be tested
> to check whether its multiplication or addition?
> -----
> ex = x1*x2
> ex.operator() == "<built-in function mul>"
> False
> -----
sage: import operator
sage: x1, x2 = var('x1,x2')
sage: (x1*x2).operator() is operator.mul
True
sage: (x1+x2).operator() is operator.add
True
--Mike
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
