#5855: [with patch, with positive 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):
OK for this patch. FOr the wider issues, here's what I think we should
do. There are several divisor-related functions (including divisors(),
square-free-divisors(), and some more) all of which are trivial get from a
Factorization object such as is returned by factor() on a large variety of
things (not just rings: think of ideal factorizations in number fields,
for example).
So I think the Factorization class should implement all these. By default
they should ignore unit factors (if users know that there are finitely
many users they can have a separate iterator over those and multiply).
Then for the most general kind of ring where factorization makes sense
(should be a UFD mathematicall) we put in a factor() function which is a
placeholder (NotImplemented) together with a few one-line functions which
return for example divisors() by just doing self.factor().divisors().
Then for any subsidiary classes which actuall implement factor(), these
associated functions are automatically available.
Does any of that make sense?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5855#comment:8>
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
-~----------~----~----~----~------~----~------~--~---
