#12795: Invalid simplification from Expression.simplify_trig()
-----------------------------+----------------------------------------------
Reporter: mjo | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-5.11
Component: symbolics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-----------------------------+----------------------------------------------
Description changed by kcrisman:
Old description:
> Same issue as #12794 from the looks of it. Maybe this is just a
> particularly nasty function?
New description:
Same issue as #12794 from the looks of it. Maybe this is just a
particularly nasty function?
{{{
u,x = var('u,x')
F = -1/12*(2*(sqrt(24*sqrt(2) - 30)*(155*sqrt(2) - 228) + 2368*sqrt(2) -
3086)*u^3 + (8*(5*(3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) - 128*sqrt(2) +
106)*u^3 + 32*(5*(3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) - 128*sqrt(2) +
106)*u^2 + (sqrt(24*sqrt(2) - 30)*(385*sqrt(2) - 492) - 6976*sqrt(2) +
6902)*u)*x^3 + 2*(sqrt(24*sqrt(2) - 30)*(525*sqrt(2) - 764) + 6592*sqrt(2)
- 8834)*u^2 + 3*(8*(5*(3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) - 128*sqrt(2)
+ 106)*u^3 + 32*(5*(3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) - 128*sqrt(2) +
106)*u^2 + (sqrt(24*sqrt(2) - 30)*(575*sqrt(2) - 788) - 1216*sqrt(2) -
118)*u)*x^2 + (5*sqrt(24*sqrt(2) - 30)*(191*sqrt(2) - 276) + 10304*sqrt(2)
- 14158)*u + 3*(8*(5*(3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) - 128*sqrt(2) +
106)*u^3 + 2*(sqrt(24*sqrt(2) - 30)*(335*sqrt(2) - 468) + 832*sqrt(2) -
1814)*u^2 + (sqrt(24*sqrt(2) - 30)*(765*sqrt(2) - 1084) + 4544*sqrt(2) -
7138)*u)*x)/(sqrt(24*sqrt(2) - 30)*(95*sqrt(2) - 148) + 2880*sqrt(2) -
3510)
b = -1/6*(128*x^3 + 384*x^2 + 6*sqrt(24*sqrt(2) - 30)*((3*sqrt(2) - 4)*x +
3*sqrt(2) - 4) + (x + 1)*sqrt(9216*sqrt(2) + 1216*x^4 + 22144*x^3 +
16*(576*sqrt(2) - 1253)*x + 13056*x^2 + 24*sqrt(24*sqrt(2) -
30)*(4*(3*sqrt(2) - 4)*x^4 - 8*(3*sqrt(2) - 4)*x^3 + 16*(3*sqrt(2) -
4)*x^2 + 25*(3*sqrt(2) - 4)*x - 9*sqrt(2) + 12) - 12176) + 204*x -
52)/(16*x^3 + 48*x^2 + (3*sqrt(2) - 4)*sqrt(24*sqrt(2) - 30) + 48*x - 14)
p = plot(F(u=b), x, -1, 0)
p += plot(F(u=b).simplify_trig(), x, -1, 0, color='red')
p.show(filename='simplify_trig_gone_wild.png')
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12795#comment:3>
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.
