diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-29 01:19:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 01:19:04 +0000 |
commit | eb64be4107401efb087f02628aff43be0055c71d (patch) | |
tree | 499eb5ea8beb6ee335bea994227e240cfc6d69c7 /src/share/algebra/category.daase | |
parent | 322c78e4fbe48f8449bf0e22c001c2fc9719b4c4 (diff) | |
download | open-axiom-eb64be4107401efb087f02628aff43be0055c71d.tar.gz |
* algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):
Rework implementation.
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 b74acbfe..c82eb837 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(203818 . 3486753502) +(203818 . 3486762012) (((|#2| |#2|) -12 (|has| |#2| (-319 |#2|)) (|has| |#2| (-1119))) ((#0=(-2 (|:| -4298 |#1|) (|:| -4437 |#2|)) #0#) |has| (-2 (|:| -4298 |#1|) (|:| -4437 |#2|)) (-319 (-2 (|:| -4298 |#1|) (|:| -4437 |#2|))))) ((((-576)) . T) (($) -2755 (|has| |#1| (-317)) (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-568))) (((-419 (-576))) -2755 (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-1057 (-419 (-576))))) ((|#1|) . T)) (((|#2| |#2|) . T)) |