diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-21 20:41:53 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-21 20:41:53 -0800 |
commit | 28501b2d6ae273f3be80b087f4e508ffcff3c182 (patch) | |
tree | a5c60bf60309952729342f67eedc2a5cc7889b13 /src/share/algebra/operation.daase | |
parent | e572854c495b63ee446831a7d61a27e5bc84550f (diff) | |
download | open-axiom-28501b2d6ae273f3be80b087f4e508ffcff3c182.tar.gz |
getConstructorAncestorsFromDB: get them from generated code
Ancestors for category constructors are stored in databases with
parameter names of the form #1, #2, etc. called "formals", instead of
the user-writtern parameters in the input souce code. However, the
ancestors as previously stored in generated code used the input
source-level parameter names. Changed to formals, so no rewrite
needed before making databases.
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|)))) |