Changes between Initial Version and Version 10 of Ticket #4115
 Timestamp:
 Sep 17, 2008, 3:43:20 PM (14 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #4115

Property
Summary
changed from
[with patch, not ready for review] Double coset problems
to[with patch, needs review] Double coset problems

Property
Summary
changed from

Ticket #4115 – Description
initial v10 1 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 possibleisomorphisms is the double coset Aut(H) m Aut(G).1 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). 2 2 3 3 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.