#3749: [with patch; needs work] Request for a method "is_cyclic" for groups in
SAGE
--------------------------+-------------------------------------------------
Reporter: ljpk | Owner: joyner
Type: defect | Status: new
Priority: minor | Milestone: sage-3.2.2
Component: group_theory | Resolution:
Keywords: |
--------------------------+-------------------------------------------------
Changes (by was):
* summary: [with patch; needs review] Request for a method "is_cyclic"
for groups in SAGE => [with patch; needs work]
Request for a method "is_cyclic" for groups in
SAGE
Comment:
* Is this statement that is in the docs still true? "Thus we see that the
"invariants" are not the invariant factors but the "elementary divisors"
(in the terminology of Rotman [R])."
* It doesn't make sense to include in the docs that paragraph about how
to compute the elementary divisors, because we didn't implement that
algorithm. It would make sense to include that paragraph as a comment and
say -- when somebody wants to speed this code up, please implement this
algorithm.
* Is this actually necessary:
{{{
665 if 1 in edivs:
666 edivs.remove(1)
}}}
Since I think that the only possible way 1 can be in evids is if evids =
[1], in which case the group is trivial, hence cyclic.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3749#comment:10>
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
-~----------~----~----~----~------~----~------~--~---
