#14305: bug in simplify_radical
----------------------------+-------------------------
Reporter: zimmerma | Owner: burcin
Type: defect | Status: new
Priority: critical | Milestone: sage-5.12
Component: calculus | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
----------------------------+-------------------------
Comment (by zimmerma):
while trying to see how we could tell Maxima that {{{x}}} is real after
{{{assume(x>0)}}}, I noticed that the examples with {{{assume(x,'real')}}}
in Sage are fake:
1) in {{{misc/functional.py}}} we have:
{{{
sage: a, b, c = var("a, b, c")
sage: assume((a, 'real'), (b, 'real'), (c, 'real'))
sage: z = a + b*I
sage: bool(norm(z).simplify() == a^2 + b^2)
True
}}}
but the same works without {{{assume}}}:
{{{
+--------------------------------------------------------------------+
| Sage Version 5.11, Release Date: 2013-08-13 |
| Type "notebook()" for the browser-based notebook interface. |
| Type "help()" for help. |
+--------------------------------------------------------------------+
sage: a, b, c = var("a, b, c")
sage: z = a + b*I
sage: norm(z).simplify()
a^2 + b^2
}}}
2) in {{{symbolic/expression.pyx}}} we have
{{{
sage: a,b = var('a,b')
sage: assume((a, 'real'), (b, 'real'))
sage: f = a + b*I
sage: f.rectform()
a + I*b
}}}
and again it works without {{{assume}}}:
{{{
+--------------------------------------------------------------------+
| Sage Version 5.11, Release Date: 2013-08-13 |
| Type "notebook()" for the browser-based notebook interface. |
| Type "help()" for help. |
+--------------------------------------------------------------------+
sage: a,b = var('a,b')
sage: f = a + b*I
sage: f.rectform()
a + I*b
}}}
Paul
--
Ticket URL: <http://trac.sagemath.org/ticket/14305#comment:15>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
