aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/category.daase
diff options
context:
space:
mode:
Diffstat (limited to 'src/share/algebra/category.daase')
-rw-r--r--src/share/algebra/category.daase8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index 3362c5b6..b70e36df 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
-(161804 . 3452194362)
+(161804 . 3452261764)
(((|#2| |#2|) -12 (|has| |#2| (-309 |#2|)) (|has| |#2| (-1094))) ((#0=(-2 (|:| -3026 |#1|) (|:| -3683 |#2|)) #0#) |has| (-2 (|:| -3026 |#1|) (|:| -3683 |#2|)) (-309 (-2 (|:| -3026 |#1|) (|:| -3683 |#2|)))))
((((-564)) . T) (($) -2733 (|has| |#1| (-307)) (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-556))) (((-407 (-564))) -2733 (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T))
(((|#2| |#2|) . T))
@@ -70,7 +70,7 @@
((((-564)) . T) (((-407 (-564))) -2733 (|has| |#2| (-38 (-407 (-564)))) (|has| |#2| (-1034 (-407 (-564))))) ((|#2|) . T) (($) -2733 (|has| |#2| (-452)) (|has| |#2| (-556)) (|has| |#2| (-905))) (((-860 |#1|)) . T))
(-2733 (|has| |#1| (-363)) (|has| |#1| (-556)))
(-2733 (|has| |#1| (-363)) (|has| |#1| (-556)))
-((((-2 (|:| -2014 |#1|) (|:| -2997 |#2|))) . T))
+((((-2 (|:| -2014 |#1|) (|:| -2531 |#2|))) . T))
((($) . T))
((((-564)) . T) (((-407 (-564))) -2733 (|has| |#1| (-38 (-407 (-564)))) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T) (($) -2733 (|has| |#1| (-452)) (|has| |#1| (-556)) (|has| |#1| (-905))) (((-1170)) . T))
((((-858)) -2733 (|has| |#1| (-611 (-858))) (|has| |#1| (-846)) (|has| |#1| (-1094))))
@@ -266,11 +266,11 @@
((((-536)) |has| |#2| (-612 (-536))) (((-888 (-379))) |has| |#2| (-612 (-888 (-379)))) (((-888 (-564))) |has| |#2| (-612 (-888 (-564)))))
((((-858)) . T))
(((|#1| |#2| |#3| |#4|) . T))
-((((-2 (|:| -2014 |#1|) (|:| -2997 |#2|))) . T) (((-858)) . T))
+((((-2 (|:| -2014 |#1|) (|:| -2531 |#2|))) . T) (((-858)) . T))
((((-536)) |has| |#1| (-612 (-536))) (((-888 (-379))) |has| |#1| (-612 (-888 (-379)))) (((-888 (-564))) |has| |#1| (-612 (-888 (-564)))))
(((|#4|) -2733 (|has| |#4| (-172)) (|has| |#4| (-363)) (|has| |#4| (-1045))) (($) |has| |#4| (-172)))
(((|#3|) -2733 (|has| |#3| (-172)) (|has| |#3| (-363)) (|has| |#3| (-1045))) (($) |has| |#3| (-172)))
-((((-2 (|:| -2014 |#1|) (|:| -2997 |#2|))) . T))
+((((-2 (|:| -2014 |#1|) (|:| -2531 |#2|))) . T))
((((-858)) . T))
((((-858)) . T))
((((-536)) . T) (((-564)) . T) (((-888 (-564))) . T) (((-379)) . T) (((-225)) . T))