#4115: [with patch, needs review] Double coset problems
--------------------------+-------------------------------------------------
Reporter: rlm | Owner: rlm
Type: defect | Status: new
Priority: major | Milestone: sage-3.1.3
Component: group_theory | Resolution:
Keywords: |
--------------------------+-------------------------------------------------
Old description:
> Implements computations of properties which form double cosets. For
> example, if G is isomorphic to H, and m : G -> H is an isomorphism, then
> the set of all possible isomorphisms is the double coset Aut(H) m Aut(G).
>
> This algorithm is pretty close to the canonical label algorithm, but it
> is a more efficient way to implement the isomorphism question. If the
> objects are not isomorphic, it will tend to discover this pretty quickly,
> via refinement invariants and examining the partition structure. If they
> are isomorphic, chances are this isomorphism will be discovered quickly
> and the algorithm will terminate at that moment.
New description:
Implements computations of properties which form double cosets. For
example, if G is isomorphic to H, and m : G -> H is an isomorphism, then
the set of all isomorphisms is the double coset Aut(H) m Aut(G).
This algorithm is pretty close to the canonical label algorithm, but it is
a more efficient way to implement the isomorphism question. If the objects
are not isomorphic, it will tend to discover this pretty quickly, via
refinement invariants and examining the partition structure. If they are
isomorphic, chances are this isomorphism will be discovered quickly and
the algorithm will terminate at that moment.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4115#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
-~----------~----~----~----~------~----~------~--~---
