#8659: another broken square root simplification
-------------------------+--------------------------------------------------
Reporter: burcin | Owner: burcin
Type: defect | Status: needs_info
Priority: critical | Milestone: sage-4.7
Component: symbolics | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author: Burcin Erocal
Merged: | Dependencies:
-------------------------+--------------------------------------------------
Changes (by kcrisman):
* status: needs_review => needs_info
Comment:
At first I thought I minded this discrepancy, but I think that maybe
that's okay, given they really do live in different places. At the same
time, in theory then we should be holding anything that might ever be
multivalued. Like a square root.
{{{
sage: 8^(1/2)
2*sqrt(2)
sage: I.pyobject().parent()
Number Field in I with defining polynomial x^2 + 1
sage: I.pyobject().parent()(8)^(1/2)
sqrt(8)
}}}
In particular, what do we want here?
{{{
sage: a= matrix([[2,2,I],[2,2,-I],[I,-I,0]]).determinant();
sage: b = a.pyobject()
sage: b^(-1/2); a^(-1/2)
1/sqrt(8)
1/8*sqrt(8)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8659#comment:7>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
