diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 22:20:00 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 22:20:00 -0800 |
commit | 5a0f02ce8f0040acec58c1c94961968b00c4bb8c (patch) | |
tree | c3cc6f954b1df6e1e3bb05c01b191587c804e731 | |
parent | a5676cf9d45c089a1f247c54e5f43309ca7aa2e4 (diff) | |
download | open-axiom-5a0f02ce8f0040acec58c1c94961968b00c4bb8c.tar.gz |
compCategories: Use DB parameter for current constructor's modemap.
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/functor.boot | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index a2fdd2b4..913696d1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2015-12-30 Gabriel Dos Reis <gdr@axiomatics.org> + * interp/functor.boot (compCategories): Use the DB parameter is + asking for modemaps of current constructor. + +2015-12-30 Gabriel Dos Reis <gdr@axiomatics.org> + * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity. diff --git a/src/interp/functor.boot b/src/interp/functor.boot index d49e242f..9579defb 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -219,7 +219,9 @@ compCategories(db,u,e) == -- There is no modemap property for these guys so do it by hand. [u.op, :[compCategories1(db,a,$SetCategory,e) for a in u.args]] u is ['SubDomain,D,.] => compCategories(db,D,e) - v := get(u.op,'modemap,e) + v := + symbolEq?(u.op,dbConstructor db) => [dbConstructorModemap db] + get(u.op,'modemap,e) v isnt [.,:.] => error ['"compCategories: could not get proper modemap for operator",u.op] if rest v then |