#5855: [with patch, needs review] implement squarefree_divisors function
------------------------------+---------------------------------------------
Reporter: rlm | Owner: somebody
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.0
Component: basic arithmetic | Keywords:
------------------------------+---------------------------------------------
Comment(by cremona):
I'm a bit late to this discussion. I see that the new funtcion applies,
for example, tp ZZ[x], but gives the wrong results because factor() is
wrong for that ring:
{{{
sage: R.<x> = ZZ[]
sage: f = 30*x
sage: f.factor()
30 * x
}}}
which should return 2*3*5*x, if we mean the factors to be irreducibles in
th parent ring. Unless we make a deliberate design decision not to (since
then factorization obviously becomes as hard as in ZZ).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5855#comment:6>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---