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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer