#20843: Fraction not cancelled by Expression.normalize()
----------------------------+----------------------------------------------
Reporter: rws | Owner:
Type: defect | Status: positive_review
Priority: major | Milestone: sage-duplicate/invalid/wontfix
Component: | Resolution:
symbolics | Merged in:
Keywords: | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
----------------------------+----------------------------------------------
Description changed by rws:
Old description:
> {{{
> sage: var('a y')
> (a, y)
> sage: f = ((x - 2*y)^4/(x^2 - 4*y^2)^2 + 1)*(y + a)*(2*y + x) / (4*y^2 +
> x^2)
> sage: f.normalize()
> 2*(x^4 - 4*x^3*y + 8*x^2*y^2 - 16*x*y^3 + 16*y^4)*(a + y)*(x + 2*y)/((x^2
> + 4*y^2)*(x^2 - 4*y^2)^2)
> sage: ((x - 2*y)^4/(x^2 - 4*y^2)^2).normalize()
> (x - 2*y)^4/(x^2 - 4*y^2)^2
> }}}
>
> This bug (also in current GiNaC) is fixed in recent Pynac.
New description:
{{{
sage: var('a y')
(a, y)
sage: f = ((x - 2*y)^4/(x^2 - 4*y^2)^2 + 1)*(y + a)*(2*y + x) / (4*y^2 +
x^2)
sage: f.normalize()
2*(x^4 - 4*x^3*y + 8*x^2*y^2 - 16*x*y^3 + 16*y^4)*(a + y)*(x + 2*y)/((x^2
+ 4*y^2)*(x^2 - 4*y^2)^2)
sage: ((x - 2*y)^4/(x^2 - 4*y^2)^2).normalize()
(x - 2*y)^4/(x^2 - 4*y^2)^2
}}}
This is fixed in recent Pynac.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20843#comment:4>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
