diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index fa861702..35e58f61 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(1288378 . 3662084403) +(1288378 . 3662386289) (((*1 *2 *3 *4) (|partial| AND (|isDomain| *3 (|Vector| *4)) (|ofCategory| *4 (|Join| (|Ring|) (|LinearlyExplicitRingOver| (|Integer|)))) |