diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
-rw-r--r-- | src/share/algebra/operation.daase | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index c03e5ea0..d6135691 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(631296 . 3577905060) +(631296 . 3577918049) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1180 *4)) (-4 *4 (-13 (-962) (-581 (-485)))) (-5 *2 (-1180 (-350 (-485)))) (-5 *1 (-1209 *4))))) @@ -7424,7 +7424,7 @@ (-12 (-4 *1 (-887 *3 *4 *5)) (-4 *3 (-962)) (-4 *4 (-717)) (-4 *5 (-757)) (-5 *2 (-85))))) (((*1 *1 *1) (-12 (-5 *1 (-148 *2)) (-4 *2 (-258)))) - ((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164)))) + ((*1 *2 *3) (-12 (-5 *3 (-695)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164)))) ((*1 *1 *1) (-12 (-4 *1 (-617 *2)) (-4 *2 (-1130)))) ((*1 *1 *1) (-4 *1 (-780 *2))) ((*1 *1 *1) @@ -12935,7 +12935,7 @@ (((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) (((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) (((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) -(((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) +(((*1 *2 *3) (-12 (-5 *3 (-695)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) (((*1 *2 *3) (-12 (-5 *3 (-831)) (-5 *2 (-1093 (-350 (-485)))) (-5 *1 (-164))))) (((*1 *2 *3) (-12 (-5 *3 (-1180 (-631 *4))) (-4 *4 (-146)) |