Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision |
tutorial:apps_group [2017/08/07 11:33] – [Decomposition into irreps, and bases of isotypic components] commented out erroneous example oroehrig | user_guide:tutorials:apps_group [2019/01/25 13:40] – ↷ Links adapted because of a move operation oroehrig |
---|
We start with the description of permutation groups in ''polymake''. An object of type [[https://polymake.org/release_docs/latest/group.html#group__Group__5 | Group]] records the abstract properties of the groups that do not depend on any particular representation, which essentially are just the ''ORDER'', ''CHARACTER_TABLE'', and ''CONJUGACY_CLASS_SIZES''. Moreover, a ''Group'' object can contain several subobjects that encode actions (representations) of the group, most notably a ''PERMUTATION_ACTION'' that encodes permutations of indices. If the Group object is contained inside a ''Cone'', ''Polytope'', ''PointConfiguration'', or ''VectorConfiguration'', it may be encoded more specifically as a ''RAY_ACTION'', ''FACET_ACTION'', etc. See the [[https://polymake.org/doku.php/release_docs/latest/group.html | documentation]] for more information on the action types. | We start with the description of permutation groups in ''polymake''. An object of type [[https://polymake.org/release_docs/latest/group.html#group__Group__5 | Group]] records the abstract properties of the groups that do not depend on any particular representation, which essentially are just the ''ORDER'', ''CHARACTER_TABLE'', and ''CONJUGACY_CLASS_SIZES''. Moreover, a ''Group'' object can contain several subobjects that encode actions (representations) of the group, most notably a ''PERMUTATION_ACTION'' that encodes permutations of indices. If the Group object is contained inside a ''Cone'', ''Polytope'', ''PointConfiguration'', or ''VectorConfiguration'', it may be encoded more specifically as a ''RAY_ACTION'', ''FACET_ACTION'', etc. See the [[https://polymake.org/doku.php/release_docs/latest/group.html | documentation]] for more information on the action types. |
| |
In order to access the complete set of functions dealing with groups, you should switch to the corresponding [[howto/lingo# application| application]]. | In order to access the complete set of functions dealing with groups, you should switch to the corresponding [[user_guide:lingo# application| application]]. |
<code> | <code> |
> application "group"; | > application "group"; |
4 2 0 1 -1 0 -1 | 4 2 0 1 -1 0 -1 |
1 1 1 1 1 1 1 | 1 1 1 1 1 1 1 |
| |
| group > $s->REGULAR_REPRESENTATION; |
| |
group > print $s->REGULAR_REPRESENTATION->CHARACTER; | group > print $s->REGULAR_REPRESENTATION->CHARACTER; |