diff options
Diffstat (limited to 'src/input')
| -rw-r--r-- | src/input/grpthry.input.pamphlet | 6 | ||||
| -rw-r--r-- | src/input/perm.input.pamphlet | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/src/input/grpthry.input.pamphlet b/src/input/grpthry.input.pamphlet index 2de5aa4e..e11ed503 100644 --- a/src/input/grpthry.input.pamphlet +++ b/src/input/grpthry.input.pamphlet @@ -22,7 +22,7 @@ g2 : PERMGRP INT := [ x , z ] g3 : PERMGRP INT := [ y , z ] order g1 degree g3 -movedPoints g2 +support g2 orbit (g1, 3) orbits g3 member? ( y , g2 ) @@ -72,9 +72,9 @@ px * pz py ** 3 inv px order px -movedPoints py +support py orbit ( pz , 3 ) -eval ( py , 7 ) +py 7 )sh PERM -- Input for page RepA6Page diff --git a/src/input/perm.input.pamphlet b/src/input/perm.input.pamphlet index 503c5c91..8b75c033 100644 --- a/src/input/perm.input.pamphlet +++ b/src/input/perm.input.pamphlet @@ -61,7 +61,7 @@ inv px -- or for the image of some element under a special permutation: -eval(px,17::PrimeField(29)) +elt(px,17::PrimeField(29)) -- you may try to build commutators: @@ -76,7 +76,7 @@ orbit(px,11::PrimeField(29)) -- or for the elements of the underlying set, which are permuted -- by a given permutation: -movedPoints(pk) +support(pk) -- Now we take a short look on permutation groups. -- They are represented as a list of generating permutations: @@ -129,9 +129,9 @@ el4 : PERM Vector PrimeField 2 := coerceListOfPairs ll4 -- Now we can do the same operations as before, e.g. -eval ( el3 , vl.5 ) +el3(vl.5) el2 * el1 -movedPoints el4 +support el4 -- Let's built the general linear group now |