diff options
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 5436af06..28532714 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(161804 . 3452610480) +(161804 . 3452645038) (((|#2| |#2|) -12 (|has| |#2| (-309 |#2|)) (|has| |#2| (-1094))) ((#0=(-2 (|:| -1901 |#1|) (|:| -3813 |#2|)) #0#) |has| (-2 (|:| -1901 |#1|) (|:| -3813 |#2|)) (-309 (-2 (|:| -1901 |#1|) (|:| -3813 |#2|))))) ((((-564)) . T) (($) -2807 (|has| |#1| (-307)) (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-556))) (((-407 (-564))) -2807 (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -70,7 +70,7 @@ ((((-564)) . T) (((-407 (-564))) -2807 (|has| |#2| (-38 (-407 (-564)))) (|has| |#2| (-1034 (-407 (-564))))) ((|#2|) . T) (($) -2807 (|has| |#2| (-452)) (|has| |#2| (-556)) (|has| |#2| (-905))) (((-860 |#1|)) . T)) (-2807 (|has| |#1| (-363)) (|has| |#1| (-556))) (-2807 (|has| |#1| (-363)) (|has| |#1| (-556))) -((((-2 (|:| -2083 |#1|) (|:| -1410 |#2|))) . T)) +((((-2 (|:| -2083 |#1|) (|:| -1838 |#2|))) . T)) ((($) . T)) ((((-564)) . T) (((-407 (-564))) -2807 (|has| |#1| (-38 (-407 (-564)))) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T) (($) -2807 (|has| |#1| (-452)) (|has| |#1| (-556)) (|has| |#1| (-905))) (((-1170)) . T)) ((((-858)) -2807 (|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 (|:| -2083 |#1|) (|:| -1410 |#2|))) . T) (((-858)) . T)) +((((-2 (|:| -2083 |#1|) (|:| -1838 |#2|))) . T) (((-858)) . T)) ((((-536)) |has| |#1| (-612 (-536))) (((-888 (-379))) |has| |#1| (-612 (-888 (-379)))) (((-888 (-564))) |has| |#1| (-612 (-888 (-564))))) (((|#4|) -2807 (|has| |#4| (-172)) (|has| |#4| (-363)) (|has| |#4| (-1045))) (($) |has| |#4| (-172))) (((|#3|) -2807 (|has| |#3| (-172)) (|has| |#3| (-363)) (|has| |#3| (-1045))) (($) |has| |#3| (-172))) -((((-2 (|:| -2083 |#1|) (|:| -1410 |#2|))) . T)) +((((-2 (|:| -2083 |#1|) (|:| -1838 |#2|))) . T)) ((((-858)) . T)) ((((-858)) . T)) ((((-536)) . T) (((-564)) . T) (((-888 (-564))) . T) (((-379)) . T) (((-225)) . T)) |