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 970d87c8..7a9fe5a2 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(204999 . 3486848007) +(204999 . 3486852434) (((|#2| |#2|) -12 (|has| |#2| (-319 |#2|)) (|has| |#2| (-1121))) ((#0=(-2 (|:| -2240 |#1|) (|:| -2905 |#2|)) #0#) |has| (-2 (|:| -2240 |#1|) (|:| -2905 |#2|)) (-319 (-2 (|:| -2240 |#1|) (|:| -2905 |#2|))))) ((((-576)) . T) (($) -3795 (|has| |#1| (-317)) (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-568))) (((-419 (-576))) -3795 (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-1059 (-419 (-576))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -77,7 +77,7 @@ ((((-576)) . T) (((-419 (-576))) -3795 (|has| |#2| (-38 (-419 (-576)))) (|has| |#2| (-1059 (-419 (-576))))) ((|#2|) . T) (($) -3795 (|has| |#2| (-464)) (|has| |#2| (-568)) (|has| |#2| (-928))) (((-878 |#1|)) . T)) (-3795 (|has| |#1| (-374)) (|has| |#1| (-568))) (-3795 (|has| |#1| (-374)) (|has| |#1| (-568))) -((((-2 (|:| -2413 |#1|) (|:| -3235 |#2|))) . T)) +((((-2 (|:| -2411 |#1|) (|:| -4080 |#2|))) . T)) ((($) . T)) (((|#1|) . T)) ((((-576)) . T) (((-419 (-576))) -3795 (|has| |#1| (-38 (-419 (-576)))) (|has| |#1| (-1059 (-419 (-576))))) ((|#1|) . T) (($) -3795 (|has| |#1| (-464)) (|has| |#1| (-568)) (|has| |#1| (-928))) (((-1197)) . T)) @@ -313,11 +313,11 @@ ((((-548)) |has| |#2| (-626 (-548))) (((-907 (-390))) |has| |#2| (-626 (-907 (-390)))) (((-907 (-576))) |has| |#2| (-626 (-907 (-576))))) ((((-876)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -2413 |#1|) (|:| -3235 |#2|))) . T) (((-876)) . T)) +((((-2 (|:| -2411 |#1|) (|:| -4080 |#2|))) . T) (((-876)) . T)) ((((-548)) |has| |#1| (-626 (-548))) (((-907 (-390))) |has| |#1| (-626 (-907 (-390)))) (((-907 (-576))) |has| |#1| (-626 (-907 (-576))))) (((|#4|) -3795 (|has| |#4| (-174)) (|has| |#4| (-374)) (|has| |#4| (-1070)))) (((|#3|) -3795 (|has| |#3| (-174)) (|has| |#3| (-374)) (|has| |#3| (-1070)))) -((((-2 (|:| -2413 |#1|) (|:| -3235 |#2|))) . T)) +((((-2 (|:| -2411 |#1|) (|:| -4080 |#2|))) . T)) ((((-876)) . T)) ((((-876)) . T)) ((((-548)) . T) (((-576)) . T) (((-907 (-576))) . T) (((-390)) . T) (((-227)) . T)) @@ -388,7 +388,7 @@ (|has| |#1| (-860)) (((|#2| |#2|) -12 (|has| |#2| (-319 |#2|)) (|has| |#2| (-1121))) ((#0=(-2 (|:| -2240 |#1|) (|:| -2905 |#2|)) #0#) |has| (-2 (|:| -2240 |#1|) (|:| -2905 |#2|)) (-319 (-2 (|:| -2240 |#1|) (|:| -2905 |#2|))))) (((|#1|) . T)) -((((-1288 (-350 (-4124) (-4124 (QUOTE X)) (-711)))) . T)) +((((-1288 (-350 (-4125) (-4125 (QUOTE X)) (-711)))) . T)) (((|#1| |#1|) -12 (|has| |#1| (-319 |#1|)) (|has| |#1| (-1121))) ((#0=(-2 (|:| -2240 (-1179)) (|:| -2905 |#1|)) #0#) |has| (-2 (|:| -2240 (-1179)) (|:| -2905 |#1|)) (-319 (-2 (|:| -2240 (-1179)) (|:| -2905 |#1|))))) ((((-876)) . T)) ((((-576) |#1|) . T)) @@ -2165,7 +2165,7 @@ (-3795 (|has| |#1| (-102)) (|has| |#1| (-1121))) ((((-576)) -12 (|has| |#1| (-374)) (|has| |#2| (-651 (-576)))) ((|#2|) |has| |#1| (-374))) (-3795 (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-25)) (|has| |#2| (-132)) (|has| |#2| (-174)) (|has| |#2| (-374)) (|has| |#2| (-379)) (|has| |#2| (-738)) (|has| |#2| (-805)) (|has| |#2| (-861)) (|has| |#2| (-1070)) (|has| |#2| (-1121))) -((((-701 (-350 (-4124) (-4124 (QUOTE X) (QUOTE HESS)) (-711)))) . T)) +((((-701 (-350 (-4125) (-4125 (QUOTE X) (QUOTE HESS)) (-711)))) . T)) (((|#2|) |has| |#2| (-174))) (((|#1|) |has| |#1| (-174))) ((((-2 (|:| -2240 |#1|) (|:| -2905 |#2|))) . T)) |