<p>The functions for orbital structures are based on recent work in permutation group algorithms. An orbital structure contains information about orbits and stabilisers of a group acting on a set for the purposes of quickly determining representatives, canonising elements, and transversal elements (directed) orbitals (orbits of ordered pairs of elements of the domain), and undirected orbitals, i.e. orbits of sets of size two.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ OrbitalStructure</code>( <var class="Arg">gens</var>, <var class="Arg">domain</var>, <var class="Arg">act</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: An orbital structure</p>
<p>Given generators, a set, and an action function create an orbital structure. An orbital structure contains a list of orbits of the group generated by <var class="Arg">gens</var> on <var class="Arg">domain</var>, a hashmap that maps any element of <var class="Arg">domain</var> to the index of its orbit in the list of orbits. We choose the smallest element of each orbit as representative. For each orbit, the orbital structure also contains the stabilizer of the chosen orbit representative, together with all orbits of that stabilizer on <var class="Arg">domain</var> with chosen representatives.</p>
<p>Given an orbital structure <var class="Arg">os</var> and a pair <var class="Arg">pair</var> of elements of the domain that <var class="Arg">os</var> is defined on, returns a canonical representative of <var class="Arg">pair</var> in its orbit of ordered pairs.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AllOrbitalRepresentatives</code>( <var class="Arg">os</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Return the set of canonical representatives of orbits of pairs under the action of the orbital structure.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ OrbitalCanonizingElement</code>( <var class="Arg">os</var>, <var class="Arg">pair</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a group element</p>
<p>Given an orbital structure <var class="Arg">os</var> and the pair <var class="Arg">pair</var> returns an element <span class="SimpleMath">g</span> of the group that maps <var class="Arg">pair</var> to <code class="code">OrbitalRepresentative(os, pair)</code>.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ OrbitalTransversalIterator</code>( <var class="Arg">os</var>, <var class="Arg">pair</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: an iterator</p>
<p>Given an orbital structure <var class="Arg">os</var> and a pair <var class="Arg">pair</var>, returns an iterator that produces an element <code class="code">g</code> for every element <code class="code">e</code> in the orbit such that <code class="code">OnTuples(OrbitalRepresentative(os, pair), g) = e</code>.</p>
<p>Given an orbital structure <var class="Arg">os</var> and a pair <var class="Arg">pair</var> of elements of the domain that <var class="Arg">os</var> is defined on, returns a canonical representative of <var class="Arg">pair</var> in its orbit of sets.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AllUnorderedOrbitalRepresentatives</code>( <var class="Arg">os</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Return the set of canonical representatives of orbits of sets of size two under the action of the orbital structure.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ UnorderedOrbitalTransversalIterator</code>( <var class="Arg">os</var>, <var class="Arg">pair</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: an iterator</p>
<p>Given an orbital structure <var class="Arg">os</var> and a pair <var class="Arg">pair</var>, returns an iterator that produces an element <code class="code">g</code> for every element <code class="code">e</code> in the orbit such that <code class="code">OnSets(UnorderedOrbitalRepresentative(os, pair), g) = e</code>.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ UnorderedOrbitalCanonizingElement</code>( <var class="Arg">os</var>, <var class="Arg">pair</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a group element</p>
<p>Given an orbital structure <var class="Arg">os</var> and the pair <var class="Arg">pair</var> returns an element <span class="SimpleMath">g</span> of the group that maps <var class="Arg">pair</var> to <code class="code">UnorderedOrbitalRepresentative(os, pair)</code>.</p>
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
