diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-13 07:49:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-13 07:49:23 +0000 |
| commit | 667ec69af3090bccd576e23e56a229168f8733b7 (patch) | |
| tree | 29c79e3c4e3c651bd24ea8aa64188185f596931a /src/share/algebra/category.daase | |
| parent | 82c5eafa04137f6c660d8b4d3f8512587d4fef9c (diff) | |
| download | open-axiom-667ec69af3090bccd576e23e56a229168f8733b7.tar.gz | |
small cleanup
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 464d95b4..33c4302b 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(205526 . 3487980650) +(205526 . 3487991541) (((|#2| |#2|) -12 (|has| |#2| (-320 |#2|)) (|has| |#2| (-1125))) ((#0=(-2 (|:| -4323 |#1|) (|:| -2438 |#2|)) #0#) |has| (-2 (|:| -4323 |#1|) (|:| -2438 |#2|)) (-320 (-2 (|:| -4323 |#1|) (|:| -2438 |#2|))))) ((((-577)) . T) (($) -2811 (|has| |#1| (-318)) (|has| |#1| (-375)) (|has| |#1| (-361)) (|has| |#1| (-569))) (((-420 (-577))) -2811 (|has| |#1| (-375)) (|has| |#1| (-361)) (|has| |#1| (-1063 (-420 (-577))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -78,7 +78,7 @@ ((((-577)) . T) (((-420 (-577))) -2811 (|has| |#2| (-38 (-420 (-577)))) (|has| |#2| (-1063 (-420 (-577))))) ((|#2|) . T) (($) -2811 (|has| |#2| (-465)) (|has| |#2| (-569)) (|has| |#2| (-932))) (((-882 |#1|)) . T)) (-2811 (|has| |#1| (-375)) (|has| |#1| (-569))) (-2811 (|has| |#1| (-375)) (|has| |#1| (-569))) -((((-2 (|:| -3251 |#1|) (|:| -2860 |#2|))) . T)) +((((-2 (|:| -3251 |#1|) (|:| -1527 |#2|))) . T)) ((($) . T)) ((((-880)) |has| |#1| (-626 (-880))) ((|#1|) . T)) ((((-577)) . T) (((-420 (-577))) -2811 (|has| |#1| (-38 (-420 (-577)))) (|has| |#1| (-1063 (-420 (-577))))) ((|#1|) . T) (($) -2811 (|has| |#1| (-465)) (|has| |#1| (-569)) (|has| |#1| (-932))) (((-1201)) . T)) @@ -314,11 +314,11 @@ ((((-549)) |has| |#2| (-627 (-549))) (((-911 (-391))) |has| |#2| (-627 (-911 (-391)))) (((-911 (-577))) |has| |#2| (-627 (-911 (-577))))) ((((-880)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -3251 |#1|) (|:| -2860 |#2|))) . T) (((-880)) . T)) +((((-2 (|:| -3251 |#1|) (|:| -1527 |#2|))) . T) (((-880)) . T)) ((((-549)) |has| |#1| (-627 (-549))) (((-911 (-391))) |has| |#1| (-627 (-911 (-391)))) (((-911 (-577))) |has| |#1| (-627 (-911 (-577))))) (((|#4|) -2811 (|has| |#4| (-174)) (|has| |#4| (-375)) (|has| |#4| (-1074)))) (((|#3|) -2811 (|has| |#3| (-174)) (|has| |#3| (-375)) (|has| |#3| (-1074)))) -((((-2 (|:| -3251 |#1|) (|:| -2860 |#2|))) . T)) +((((-2 (|:| -3251 |#1|) (|:| -1527 |#2|))) . T)) ((((-880)) . T)) ((((-880)) . T)) ((((-549)) . T) (((-577)) . T) (((-911 (-577))) . T) (((-391)) . T) (((-228)) . T)) |