diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-25 22:10:18 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-25 22:10:18 +0000 |
| commit | c79e40703ada1ff91b7e057b25d4ae1c4199770a (patch) | |
| tree | e5fd98849be6f127a2c0cd267fdd498ec53c3f90 /src/share/algebra/category.daase | |
| parent | 2e76a77847facaa29b9c0f7c26ea2ba511dc285e (diff) | |
| download | open-axiom-c79e40703ada1ff91b7e057b25d4ae1c4199770a.tar.gz | |
* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Move
partitions to domain Partitions.
* algebra/cycles.spad.pamphlet (CycleIndicators): User partitions
from Partition. Tidy.
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 46719da2..74aa8e0f 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(188640 . 3480995952) +(188640 . 3481068686) (((|#2| |#2|) -12 (|has| |#2| (-313 |#2|)) (|has| |#2| (-1109))) ((#0=(-2 (|:| -2106 |#1|) (|:| -2340 |#2|)) #0#) |has| (-2 (|:| -2106 |#1|) (|:| -2340 |#2|)) (-313 (-2 (|:| -2106 |#1|) (|:| -2340 |#2|))))) ((((-570)) . T) (($) -2892 (|has| |#1| (-311)) (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-562))) (((-413 (-570))) -2892 (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-1047 (-413 (-570))))) ((|#1|) . T)) (((|#2| |#2|) . T)) |