> | 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 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
