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 eae8086c..71a8c12a 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(161890 . 3440274389) +(161890 . 3440285151) (((|#2| |#2|) -12 (|has| |#2| (-308 |#2|)) (|has| |#2| (-1087))) ((#0=(-2 (|:| -2055 |#1|) (|:| -3528 |#2|)) #0#) |has| (-2 (|:| -2055 |#1|) (|:| -3528 |#2|)) (-308 (-2 (|:| -2055 |#1|) (|:| -3528 |#2|))))) ((((-558)) . T) (($) -3996 (|has| |#1| (-306)) (|has| |#1| (-362)) (|has| |#1| (-348)) (|has| |#1| (-550))) (((-406 (-558))) -3996 (|has| |#1| (-362)) (|has| |#1| (-348)) (|has| |#1| (-1028 (-406 (-558))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -66,7 +66,7 @@ ((((-558)) . T) (((-406 (-558))) -3996 (|has| |#2| (-38 (-406 (-558)))) (|has| |#2| (-1028 (-406 (-558))))) ((|#2|) . T) (($) -3996 (|has| |#2| (-450)) (|has| |#2| (-550)) (|has| |#2| (-899))) (((-855 |#1|)) . T)) (-3996 (|has| |#1| (-362)) (|has| |#1| (-550))) (-3996 (|has| |#1| (-362)) (|has| |#1| (-550))) -((((-2 (|:| -2197 |#1|) (|:| -1473 |#2|))) . T)) +((((-2 (|:| -2197 |#1|) (|:| -1555 |#2|))) . T)) ((($) . T)) ((((-558)) . T) (((-406 (-558))) -3996 (|has| |#1| (-38 (-406 (-558)))) (|has| |#1| (-1028 (-406 (-558))))) ((|#1|) . T) (($) -3996 (|has| |#1| (-450)) (|has| |#1| (-550)) (|has| |#1| (-899))) (((-1163)) . T)) ((((-853)) -3996 (|has| |#1| (-605 (-853))) (|has| |#1| (-841)) (|has| |#1| (-1087)))) @@ -261,11 +261,11 @@ ((((-534)) |has| |#2| (-606 (-534))) (((-882 (-378))) |has| |#2| (-606 (-882 (-378)))) (((-882 (-558))) |has| |#2| (-606 (-882 (-558))))) ((((-853)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -2197 |#1|) (|:| -1473 |#2|))) . T) (((-853)) . T)) +((((-2 (|:| -2197 |#1|) (|:| -1555 |#2|))) . T) (((-853)) . T)) ((((-534)) |has| |#1| (-606 (-534))) (((-882 (-378))) |has| |#1| (-606 (-882 (-378)))) (((-882 (-558))) |has| |#1| (-606 (-882 (-558))))) (((|#4|) -3996 (|has| |#4| (-171)) (|has| |#4| (-362)) (|has| |#4| (-1039))) (($) |has| |#4| (-171))) (((|#3|) -3996 (|has| |#3| (-171)) (|has| |#3| (-362)) (|has| |#3| (-1039))) (($) |has| |#3| (-171))) -((((-2 (|:| -2197 |#1|) (|:| -1473 |#2|))) . T)) +((((-2 (|:| -2197 |#1|) (|:| -1555 |#2|))) . T)) ((((-853)) . T)) ((((-853)) . T)) ((((-534)) . T) (((-558)) . T) (((-882 (-558))) . T) (((-378)) . T) (((-224)) . T)) |