diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-22 01:40:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-22 01:40:53 +0000 |
| commit | 9fac9abefef7f727a59b7861317d148352a43d88 (patch) | |
| tree | 6cf281301d4609d71aae0540b6cd098abd41de2b /src/algebra/perm.spad.pamphlet | |
| parent | dca6da4bba9a14e544345d4b54f623450d47f283 (diff) | |
| download | open-axiom-9fac9abefef7f727a59b7861317d148352a43d88.tar.gz | |
* algebra/irsn.spad.pamphlet (IrrRepSymNatPackage): Tidy.
* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Likewise.
* algebra/cycles.spad.pamphlet (complete$CycleIndicators): Now
take only positive integers.
(powerSum$CycleIndicators): Likewise.
(elementary$CycleIndicators): Likewise.
(alternating$CycleIndicators): Likewise.
(cyclic$CycleIndicators): Likewise.
(dihedral$CycleIndicators): Likewise.
(graphs$CycleIndicators): Likewise.
Diffstat (limited to 'src/algebra/perm.spad.pamphlet')
| -rw-r--r-- | src/algebra/perm.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/perm.spad.pamphlet b/src/algebra/perm.spad.pamphlet index 51048658..69f33f83 100644 --- a/src/algebra/perm.spad.pamphlet +++ b/src/algebra/perm.spad.pamphlet @@ -343,10 +343,10 @@ removes fixed points from its result. out cyclePartition p == - partition([#c for c in coerceToCycle(p, false)])$Partition + partition([#c::PI for c in coerceToCycle(p, false)])$Partition order p == - ord: I := lcm removeDuplicates convert cyclePartition p + ord: I := lcm removeDuplicates(cyclePartition(p)::L(PI) pretend L I) ord::NNI sign(p) == @@ -483,8 +483,8 @@ Up to [[patch--50]] we did not check for duplicates. fixedPoints ( p ) == complement movedPoints p cyclePartition p == - pt := partition([#c for c in coerceToCycle(p, false)])$Partition - pt +$PT conjugate(partition([#fixedPoints(p)])$PT)$PT + pt := partition([#c::PI for c in coerceToCycle(p, false)])$Partition + pt +$PT conjugate(partition([#fixedPoints(p)::PI])$PT)$PT @ \section{License} |