#6016: [with patch, with positive review] factoring rational functions
-------------------------+--------------------------------------------------
Reporter: syazdani | Owner: tbd
Type: enhancement | Status: new
Priority: trivial | Milestone: sage-4.0.1
Component: algebra | Keywords:
-------------------------+--------------------------------------------------
Comment(by cremona):
Replying to [comment:6 mabshoff]:
> I am not sure this should go in as is since the return result is a
little strange. Is this consistent with other interfaces in Sage? What
does Magma do?
>
> Cheers,
>
> Michael
This is entirely consistent with (for example) factorization of rational
numbers in Sage:
{{{
sage: QQ(123/456).factor()
2^-3 * 19^-1 * 41
}}}
Magma does not allow factorization in QQ or in function fields, which is
very annoying (e.g. you cannot factor the discriminant of an elliptic
curve (with integral model) over QQ without coercing it into ZZ first).
But Magma does allow for some non-integral factorizations, e.g. of
fractional ideals.
So Michael's worry is a reasonable one but this should definitely be
included. I have therefore removed the "needs discussion" tag!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6016#comment:7>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
