Changes between Initial Version and Version 10 of Ticket #4115


Ignore:
Timestamp:
09/17/08 15:43:20 (13 years ago)
Author:
rlm
Comment:

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
  • 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 possible isomorphisms is the double coset Aut(H) m Aut(G).
     1Implements 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).
    22
    33This 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.