The file xpoly.spad.pamphlet (LIECAT.spad) contains
LieAlgebra(R: CommutativeRing): Category == Module(R) with
--attributes
NullSquare
JacobiIdentity
...
but I don't see NullSquare or JacobiIdentity listed in
src/interp/daase.lisp.
Actually, I should ask: why is *attributes* hardcoded in daase.lisp?
Shouldn't that be inferred from the .spad files? And what is the
relation to the AttributeRegistry in /src/algebra/attreg.spad.pamphlet?
What should be considered the original source?
Ralf
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
