> | However this would not be compatible with existing PropositionalFormula > | and it would not be closed. That is I would like: > | PropositionalFormula Product(A,B) > | PropositionalFormula Sum(A,B) > | PropositionalFormula Exponent(A,B) > | all to be treated as: PropositionalFormula SetCategory > | Can that be done in a way that is compatible with SPAD static typing. > > SetCategory is a category, not a domain, so is not appropriate argument > for PropositionalFormula. Categories cannot be constructor arguments -- > all AXIOM flavours affected. > > In OpenAxiom, you use the domain Domain, so you would get something like > > PropositionalFormula Domain > > which is probably what you want.
Gaby, The Domain domain has minimal documentation (about 2 lines of in-line comments for each public function), I can't find anything about: why it was created? how its intended to be used? and so on. Most of the functions call Lisp code so there is not many clues there. I am guessing its part of the universal algebra stuff you mentioned before? Is this all intended to be part of a meta model of OpenAxiom? Will it allow introspection and dynamic code creation? Is there any further documentation about this? I get the impression that the universal algebra stuff is potentially very powerful but I am very reluctant to use something that is only available on one flavor of axiom, are other flavors of Axiom planning to implement this functionality? Have I missed any documentation about this? Martin ------------------------------------------------------------------------------ The demand for IT networking professionals continues to grow, and the demand for specialized networking skills is growing even more rapidly. Take a complimentary Learning@Cisco Self-Assessment and learn about Cisco certifications, training, and career opportunities. http://p.sf.net/sfu/cisco-dev2dev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
