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/perm.input.pamphlet | |
| 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/perm.input.pamphlet')
| -rw-r--r-- | src/input/perm.input.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
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 |