diff options
Diffstat (limited to 'src')
| -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 |