diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 16f49c90..7923c5c4 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(733547 . 3480551178) +(733547 . 3480583734) (((*1 *2 *1) (-12 (-4 *1 (-378 *3)) (-4 *3 (-1227)) (-4 *3 (-856)) (-5 *2 (-112)))) ((*1 *2 *3 *1) @@ -2154,7 +2154,7 @@ ((*1 *2 *1 *3) (-12 (-5 *3 (-777)) (-5 *1 (-886 *2)) (-4 *2 (-1227)))) ((*1 *2 *1 *3) (-12 (-5 *3 (-777)) (-5 *1 (-889 *2)) (-4 *2 (-1227))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) (((*1 *2 *1) (-12 (-5 *2 (-413 (-959 *3))) (-5 *1 (-459 *3 *4 *5 *6)) (-4 *3 (-562)) (-4 *3 (-174)) (-14 *4 (-928)) @@ -6244,7 +6244,7 @@ (-12 (-4 *3 (-1058)) (-5 *2 (-965 (-718 *3 *4))) (-5 *1 (-718 *3 *4)) (-4 *4 (-1253 *3))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) (((*1 *1 *2 *3 *1) (-12 (-5 *2 (-899 *4)) (-4 *4 (-1109)) (-5 *1 (-896 *4 *3)) (-4 *3 (-1109))))) @@ -7712,7 +7712,7 @@ (-12 (-4 *4 (-562)) (-5 *2 (-650 *3)) (-5 *1 (-43 *4 *3)) (-4 *3 (-423 *4))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) (((*1 *1 *2 *1) (-12 (-5 *2 (-1 (-112) *3)) (|has| *1 (-6 -4449)) (-4 *1 (-237 *3)) (-4 *3 (-1109)))) @@ -7994,7 +7994,7 @@ (((*1 *2) (-12 (-4 *3 (-174)) (-5 *2 (-1277 *1)) (-4 *1 (-372 *3))))) (((*1 *2 *1) (-12 (-5 *2 (-1282)) (-5 *1 (-828))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) ((*1 *2 *1) (-12 (-5 *2 (-1277 (-3 (-474) "undefined"))) (-5 *1 (-1278))))) (((*1 *2 *3) (-12 (-5 *2 (-112)) (-5 *1 (-593 *3)) (-4 *3 (-551))))) @@ -8917,7 +8917,7 @@ (((*1 *1) (-5 *1 (-603)))) (((*1 *2 *1) (-12 (-5 *2 (-1144)) (-5 *1 (-523))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) (((*1 *2 *1) (-12 (-4 *1 (-1260 *3 *4)) (-4 *3 (-1058)) (-4 *4 (-1237 *3)) (-5 *2 (-413 (-570)))))) @@ -10594,7 +10594,7 @@ (-5 *2 (-1 (-1166 *4) (-1166 *4) (-1166 *4))) (-5 *1 (-1270 *4 *5))))) (((*1 *1 *1) (-12 (-5 *1 (-176 *2)) (-4 *2 (-311)))) ((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) ((*1 *1 *1) (-12 (-4 *1 (-680 *2)) (-4 *2 (-1227)))) ((*1 *1 *1) (-4 *1 (-875 *2))) ((*1 *1 *1) @@ -15507,7 +15507,7 @@ (|:| |hom| (-650 (-1277 (-777)))))) (-5 *1 (-238))))) (((*1 *2 *3) - (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) + (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) (((*1 *2 *3) (|partial| -12 (-4 *4 (-562)) (-4 *5 (-799)) (-4 *6 (-856)) (-4 *7 (-1074 *4 *5 *6)) |