aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/category.daase
diff options
context:
space:
mode:
Diffstat (limited to 'src/share/algebra/category.daase')
-rw-r--r--src/share/algebra/category.daase8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index bd6e5018..039173cb 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
-(203818 . 3486548950)
+(203818 . 3486554170)
(((|#2| |#2|) -12 (|has| |#2| (-319 |#2|)) (|has| |#2| (-1119))) ((#0=(-2 (|:| -4282 |#1|) (|:| -4352 |#2|)) #0#) |has| (-2 (|:| -4282 |#1|) (|:| -4352 |#2|)) (-319 (-2 (|:| -4282 |#1|) (|:| -4352 |#2|)))))
((((-576)) . T) (($) -2835 (|has| |#1| (-317)) (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-568))) (((-419 (-576))) -2835 (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-1057 (-419 (-576))))) ((|#1|) . T))
(((|#2| |#2|) . T))
@@ -75,7 +75,7 @@
((((-576)) . T) (((-419 (-576))) -2835 (|has| |#2| (-38 (-419 (-576)))) (|has| |#2| (-1057 (-419 (-576))))) ((|#2|) . T) (($) -2835 (|has| |#2| (-464)) (|has| |#2| (-568)) (|has| |#2| (-926))) (((-876 |#1|)) . T))
(-2835 (|has| |#1| (-374)) (|has| |#1| (-568)))
(-2835 (|has| |#1| (-374)) (|has| |#1| (-568)))
-((((-2 (|:| -3257 |#1|) (|:| -4290 |#2|))) . T))
+((((-2 (|:| -3257 |#1|) (|:| -4153 |#2|))) . T))
((($) . T))
((((-576)) . T) (((-419 (-576))) -2835 (|has| |#1| (-38 (-419 (-576)))) (|has| |#1| (-1057 (-419 (-576))))) ((|#1|) . T) (($) -2835 (|has| |#1| (-464)) (|has| |#1| (-568)) (|has| |#1| (-926))) (((-1195)) . T))
((((-874)) -2835 (|has| |#1| (-625 (-874))) (|has| |#1| (-862)) (|has| |#1| (-1119))))
@@ -309,11 +309,11 @@
((((-548)) |has| |#2| (-626 (-548))) (((-905 (-390))) |has| |#2| (-626 (-905 (-390)))) (((-905 (-576))) |has| |#2| (-626 (-905 (-576)))))
((((-874)) . T))
(((|#1| |#2| |#3| |#4|) . T))
-((((-2 (|:| -3257 |#1|) (|:| -4290 |#2|))) . T) (((-874)) . T))
+((((-2 (|:| -3257 |#1|) (|:| -4153 |#2|))) . T) (((-874)) . T))
((((-548)) |has| |#1| (-626 (-548))) (((-905 (-390))) |has| |#1| (-626 (-905 (-390)))) (((-905 (-576))) |has| |#1| (-626 (-905 (-576)))))
(((|#4|) -2835 (|has| |#4| (-174)) (|has| |#4| (-374)) (|has| |#4| (-1068))))
(((|#3|) -2835 (|has| |#3| (-174)) (|has| |#3| (-374)) (|has| |#3| (-1068))))
-((((-2 (|:| -3257 |#1|) (|:| -4290 |#2|))) . T))
+((((-2 (|:| -3257 |#1|) (|:| -4153 |#2|))) . T))
((((-874)) . T))
((((-874)) . T))
((((-548)) . T) (((-576)) . T) (((-905 (-576))) . T) (((-390)) . T) (((-227)) . T))