diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
| commit | 37b62857fd265cc8bfd157b5cb206f87be29c89c (patch) | |
| tree | e4c06ddc33b8efea2863284d88a962784012d2eb /src/share/algebra/operation.daase | |
| parent | fe37a8dc69fe54f48078fd893a7490555ce804ed (diff) | |
| download | open-axiom-37b62857fd265cc8bfd157b5cb206f87be29c89c.tar.gz | |
Tidy indexed direct product domains
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 8f555e93..db9897e9 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(630818 . 3576902406) +(630818 . 3576910162) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1178 *4)) (-4 *4 (-13 (-962) (-581 (-484)))) (-5 *2 (-1178 (-347 (-484)))) (-5 *1 (-1207 *4))))) @@ -2236,7 +2236,7 @@ (-5 *2 (-584 (-2 (|:| |gen| *3) (|:| -3939 *4)))))) ((*1 *2 *1) (-12 (-4 *1 (-447 *3 *4)) (-4 *3 (-72)) (-4 *4 (-760)) - (-5 *2 (-584 (-783 *4 *3))))) + (-5 *2 (-584 (-451 *3 *4))))) ((*1 *2 *1) (-12 (-5 *2 (-584 (-2 (|:| -3950 *3) (|:| -3934 *4)))) (-5 *1 (-675 *3 *4)) (-4 *3 (-962)) (-4 *4 (-664)))) |