Martin Baker <ax87...@martinb.com> writes:
[...] | > They are used to build symolic expressions, for example: | > | > conjunction(p,q) == | > per kernel(operator(AND, 2), [p, q], 1 + max(level p, level q)) | | > Here, AND has not other meaning than being the internal name of the | > logical conjunction operators. I kept the name close to the | > intermediate language representation since they have similar (or exact) | > semantics. | | So since operator is defined like this: | | TermAlgebraOperator(S: SetCategory): Public == Private where | Public == OperatorCategory S with | operator: (S,Arity) -> % Hmm, I think you should not need to get there -- unless you also want to implement the full universal algebra machinery (which isn't completely done in OpenAxiom yet.) For the time being, OpenAxiom just reuses the existing BasicOperator domain, which I think should be sufficient (if a little bit heavy, but not much.) If you just copied the current PropositionalFormula domain. you should not need a lot before getting it working in FriCAS. Am I underestimating something? -- Gaby ------------------------------------------------------------------------------ All the data continuously generated in your IT infrastructure contains a definitive record of customers, application performance, security threats, fraudulent activity and more. Splunk takes this data and makes sense of it. Business sense. IT sense. Common sense. http://p.sf.net/sfu/splunk-d2d-oct _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
