diff options
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 14fc3be9..27c0e3bb 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(162119 . 3451403478) +(162119 . 3451427262) (((|#2| |#2|) -12 (|has| |#2| (-309 |#2|)) (|has| |#2| (-1094))) ((#0=(-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) #0#) |has| (-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) (-309 (-2 (|:| -3090 |#1|) (|:| -2538 |#2|))))) ((((-564)) . T) (($) -2797 (|has| |#1| (-307)) (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-556))) (((-407 (-564))) -2797 (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -70,7 +70,7 @@ ((((-564)) . T) (((-407 (-564))) -2797 (|has| |#2| (-38 (-407 (-564)))) (|has| |#2| (-1034 (-407 (-564))))) ((|#2|) . T) (($) -2797 (|has| |#2| (-452)) (|has| |#2| (-556)) (|has| |#2| (-905))) (((-860 |#1|)) . T)) (-2797 (|has| |#1| (-363)) (|has| |#1| (-556))) (-2797 (|has| |#1| (-363)) (|has| |#1| (-556))) -((((-2 (|:| -2017 |#1|) (|:| -3016 |#2|))) . T)) +((((-2 (|:| -2016 |#1|) (|:| -3756 |#2|))) . T)) ((($) . T)) ((((-564)) . T) (((-407 (-564))) -2797 (|has| |#1| (-38 (-407 (-564)))) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T) (($) -2797 (|has| |#1| (-452)) (|has| |#1| (-556)) (|has| |#1| (-905))) (((-1170)) . T)) ((((-858)) -2797 (|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 (|:| -2017 |#1|) (|:| -3016 |#2|))) . T) (((-858)) . T)) +((((-2 (|:| -2016 |#1|) (|:| -3756 |#2|))) . T) (((-858)) . T)) ((((-536)) |has| |#1| (-612 (-536))) (((-888 (-379))) |has| |#1| (-612 (-888 (-379)))) (((-888 (-564))) |has| |#1| (-612 (-888 (-564))))) (((|#4|) -2797 (|has| |#4| (-172)) (|has| |#4| (-363)) (|has| |#4| (-1045))) (($) |has| |#4| (-172))) (((|#3|) -2797 (|has| |#3| (-172)) (|has| |#3| (-363)) (|has| |#3| (-1045))) (($) |has| |#3| (-172))) -((((-2 (|:| -2017 |#1|) (|:| -3016 |#2|))) . T)) +((((-2 (|:| -2016 |#1|) (|:| -3756 |#2|))) . T)) ((((-858)) . T)) ((((-858)) . T)) ((((-536)) . T) (((-564)) . T) (((-888 (-564))) . T) (((-379)) . T) (((-225)) . T)) @@ -334,7 +334,7 @@ ((((-858)) . T)) (((|#2| |#2|) -12 (|has| |#2| (-309 |#2|)) (|has| |#2| (-1094))) ((#0=(-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) #0#) |has| (-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) (-309 (-2 (|:| -3090 |#1|) (|:| -2538 |#2|))))) (((|#1|) . T)) -((((-1259 (-339 (-2358) (-2358 (QUOTE X)) (-695)))) . T)) +((((-1259 (-339 (-2357) (-2357 (QUOTE X)) (-695)))) . T)) (((|#1| |#1|) -12 (|has| |#1| (-309 |#1|)) (|has| |#1| (-1094))) ((#0=(-2 (|:| -3090 (-1152)) (|:| -2538 |#1|)) #0#) |has| (-2 (|:| -3090 (-1152)) (|:| -2538 |#1|)) (-309 (-2 (|:| -3090 (-1152)) (|:| -2538 |#1|))))) ((((-858)) . T)) ((((-564) |#1|) . T)) @@ -1825,7 +1825,7 @@ (|has| |#1| (-1094)) ((((-564)) -12 (|has| |#1| (-363)) (|has| |#2| (-637 (-564)))) ((|#2|) |has| |#1| (-363))) (-2797 (|has| |#2| (-25)) (|has| |#2| (-131)) (|has| |#2| (-172)) (|has| |#2| (-363)) (|has| |#2| (-368)) (|has| |#2| (-722)) (|has| |#2| (-789)) (|has| |#2| (-844)) (|has| |#2| (-1045)) (|has| |#2| (-1094))) -((((-685 (-339 (-2358) (-2358 (QUOTE X) (QUOTE HESS)) (-695)))) . T)) +((((-685 (-339 (-2357) (-2357 (QUOTE X) (QUOTE HESS)) (-695)))) . T)) (((|#2|) |has| |#2| (-172))) (((|#1|) |has| |#1| (-172))) ((((-2 (|:| -3090 |#1|) (|:| -2538 |#2|))) . T)) |