diff options
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index f6836c38..b49c3ca9 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(205732 . 3499115857) +(205732 . 3499555794) (((|#2| |#2|) -12 (|has| |#2| (-321 |#2|)) (|has| |#2| (-1131))) ((#0=(-2 (|:| -2338 |#1|) (|:| -2079 |#2|)) #0#) |has| (-2 (|:| -2338 |#1|) (|:| -2079 |#2|)) (-321 (-2 (|:| -2338 |#1|) (|:| -2079 |#2|))))) ((((-578)) . T) (($) -2225 (|has| |#1| (-319)) (|has| |#1| (-376)) (|has| |#1| (-362)) (|has| |#1| (-570))) (((-421 (-578))) -2225 (|has| |#1| (-376)) (|has| |#1| (-362)) (|has| |#1| (-1069 (-421 (-578))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -54,7 +54,7 @@ (((|#1|) . T) (((-578)) |has| |#1| (-1069 (-578))) (((-421 (-578))) |has| |#1| (-1069 (-421 (-578))))) (-2225 (|has| |#2| (-175)) (|has| |#2| (-466)) (|has| |#2| (-570)) (|has| |#2| (-938))) (-2225 (|has| |#1| (-175)) (|has| |#1| (-466)) (|has| |#1| (-570)) (|has| |#1| (-938))) -(((|#2| (-496 (-4416 |#1|) (-793))) . T)) +(((|#2| (-496 (-4415 |#1|) (-793))) . T)) ((((-1207)) -2225 (|has| (-421 |#2|) (-927 (-1207))) (|has| (-421 |#2|) (-929 (-1207))))) (((|#1| (-545 (-1207))) . T)) ((((-1189)) . T) (((-987 (-131))) . T) (((-886)) . T)) @@ -78,7 +78,7 @@ ((((-578)) . T) (((-421 (-578))) -2225 (|has| |#2| (-38 (-421 (-578)))) (|has| |#2| (-1069 (-421 (-578))))) ((|#2|) . T) (($) -2225 (|has| |#2| (-466)) (|has| |#2| (-570)) (|has| |#2| (-938))) (((-888 |#1|)) . T)) (-2225 (|has| |#1| (-376)) (|has| |#1| (-570))) (-2225 (|has| |#1| (-376)) (|has| |#1| (-570))) -((((-2 (|:| -2480 |#1|) (|:| -1647 |#2|))) . T)) +((((-2 (|:| -2480 |#1|) (|:| -2300 |#2|))) . T)) ((($) . T)) ((((-886)) |has| |#1| (-632 (-886))) ((|#1|) . T)) ((((-578)) . T) (((-421 (-578))) -2225 (|has| |#1| (-38 (-421 (-578)))) (|has| |#1| (-1069 (-421 (-578))))) ((|#1|) . T) (($) -2225 (|has| |#1| (-466)) (|has| |#1| (-570)) (|has| |#1| (-938))) (((-1207)) . T)) @@ -314,11 +314,11 @@ ((((-550)) |has| |#2| (-633 (-550))) (((-917 (-392))) |has| |#2| (-633 (-917 (-392)))) (((-917 (-578))) |has| |#2| (-633 (-917 (-578))))) ((((-886)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -2480 |#1|) (|:| -1647 |#2|))) . T) (((-886)) . T)) +((((-2 (|:| -2480 |#1|) (|:| -2300 |#2|))) . T) (((-886)) . T)) ((((-550)) |has| |#1| (-633 (-550))) (((-917 (-392))) |has| |#1| (-633 (-917 (-392)))) (((-917 (-578))) |has| |#1| (-633 (-917 (-578))))) (((|#4|) -2225 (|has| |#4| (-175)) (|has| |#4| (-376)) (|has| |#4| (-1080)))) (((|#3|) -2225 (|has| |#3| (-175)) (|has| |#3| (-376)) (|has| |#3| (-1080)))) -((((-2 (|:| -2480 |#1|) (|:| -1647 |#2|))) . T)) +((((-2 (|:| -2480 |#1|) (|:| -2300 |#2|))) . T)) ((((-886)) . T)) ((((-886)) . T)) ((((-550)) . T) (((-578)) . T) (((-917 (-578))) . T) (((-392)) . T) (((-229)) . T)) @@ -390,7 +390,7 @@ (|has| |#1| (-870)) (((|#2| |#2|) -12 (|has| |#2| (-321 |#2|)) (|has| |#2| (-1131))) ((#0=(-2 (|:| -2338 |#1|) (|:| -2079 |#2|)) #0#) |has| (-2 (|:| -2338 |#1|) (|:| -2079 |#2|)) (-321 (-2 (|:| -2338 |#1|) (|:| -2079 |#2|))))) (((|#1|) . T)) -((((-1298 (-352 (-2877) (-2877 (QUOTE X)) (-721)))) . T)) +((((-1298 (-352 (-2876) (-2876 (QUOTE X)) (-721)))) . T)) (((|#1| |#1|) -12 (|has| |#1| (-321 |#1|)) (|has| |#1| (-1131))) ((#0=(-2 (|:| -2338 (-1189)) (|:| -2079 |#1|)) #0#) |has| (-2 (|:| -2338 (-1189)) (|:| -2079 |#1|)) (-321 (-2 (|:| -2338 (-1189)) (|:| -2079 |#1|))))) ((((-886)) . T)) ((((-578) |#1|) . T)) @@ -1129,7 +1129,7 @@ (|has| |#1| (-149)) (|has| |#1| (-147)) (|has| |#1| (-149)) -(((|#2| (-247 (-4416 |#1|) (-793)) (-888 |#1|)) . T)) +(((|#2| (-247 (-4415 |#1|) (-793)) (-888 |#1|)) . T)) (((|#1| (-545 |#3|) |#3|) . T)) (|has| |#1| (-147)) (((#0=(-421 (-578)) #0#) |has| |#2| (-376)) (($ $) . T)) @@ -1780,7 +1780,7 @@ ((((-886)) . T)) ((((-886)) . T)) (-2225 (|has| |#1| (-102)) (|has| |#1| (-1131))) -(((|#2| (-496 (-4416 |#1|) (-793)) (-888 |#1|)) . T)) +(((|#2| (-496 (-4415 |#1|) (-793)) (-888 |#1|)) . T)) ((((-421 (-578))) . #0=(|has| |#2| (-376))) (($) . #0#)) (((|#1| (-545 (-1207)) (-1207)) . T)) (((|#1|) . T)) @@ -2179,7 +2179,7 @@ (-2225 (|has| |#1| (-102)) (|has| |#1| (-1131))) ((((-578)) -12 (|has| |#1| (-376)) (|has| |#2| (-660 (-578)))) ((|#2|) |has| |#1| (-376))) (-2225 (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-25)) (|has| |#2| (-133)) (|has| |#2| (-175)) (|has| |#2| (-376)) (|has| |#2| (-381)) (|has| |#2| (-748)) (|has| |#2| (-815)) (|has| |#2| (-871)) (|has| |#2| (-1080)) (|has| |#2| (-1131))) -((((-711 (-352 (-2877) (-2877 (QUOTE X) (QUOTE HESS)) (-721)))) . T)) +((((-711 (-352 (-2876) (-2876 (QUOTE X) (QUOTE HESS)) (-721)))) . T)) (((|#2|) |has| |#2| (-175))) (((|#1|) |has| |#1| (-175))) ((((-2 (|:| -2338 |#1|) (|:| -2079 |#2|))) . T)) @@ -3082,7 +3082,7 @@ ((((-578)) . T) (($) . T)) ((((-578)) . T) (($) . T)) ((((-793) |#1|) . T)) -(((|#2| (-247 (-4416 |#1|) (-793))) . T)) +(((|#2| (-247 (-4415 |#1|) (-793))) . T)) (((|#1| (-545 |#3|)) . T)) ((((-421 (-578))) . T)) (-2225 (|has| |#1| (-466)) (|has| |#1| (-570)) (|has| |#1| (-938))) @@ -3592,7 +3592,7 @@ (((|#1|) . T)) ((((-886)) . T)) (-2225 (|has| |#1| (-102)) (|has| |#1| (-1131))) -(((|#2| (-496 (-4416 |#1|) (-793))) . T)) +(((|#2| (-496 (-4415 |#1|) (-793))) . T)) ((((-578) |#1|) . T)) ((((-1189)) . T) (((-886)) . T)) (((|#2| |#2|) . T)) @@ -3657,7 +3657,7 @@ ((((-1207)) -12 (|has| |#3| (-927 (-1207))) (|has| |#3| (-1080)))) (((|#1|) . T)) (|has| |#1| (-240)) -(((|#2| (-247 (-4416 |#1|) (-793))) . T)) +(((|#2| (-247 (-4415 |#1|) (-793))) . T)) (((|#1| (-545 |#3|)) . T)) (|has| |#1| (-381)) (|has| |#1| (-381)) |