diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-12 11:42:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-12 11:42:58 +0000 |
commit | 22e30ed358890e963a5777f0f6c843fba4f841e4 (patch) | |
tree | bccaf9422e96445dfa1bc74ae65e770c79971e84 /src/input | |
parent | fecb6dc501ce3eeadb6d3f5a39de6a1ac808190d (diff) | |
download | open-axiom-22e30ed358890e963a5777f0f6c843fba4f841e4.tar.gz |
* algebra/permgrps.spad.pamphlet (PermutationGroup): Rename
movedPoints to support. Adjust call eval.
* algebra/perm.spad.pamphlet (PermutationCategory): Now extend
Eltable. Remove eval. Rename movedPoints to support.
(Permutation): Adjust.
* algebra/irsn.spad.pamphlet (listPermutationIrrRepSymNatPackage):
Change call to eval to elt.
* algebra/rep1.spad.pamphlet: Likewise.
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 |