On Mon, Oct 10, 2011 at 11:30 AM, Martin Baker wrote: > ... > So, I guess what I am asking is: would it make sense for me to try > to implement the OpenAxiom PropositionalLogic category and > PropositionalFormula domain in FriCAS? >
Yes! I think this would make very good sense. It is a high compliment to the authors of the original software that you might want to copy and incorporate their work. This is one of the advantages of open source and it should be exploited whenever possible (licenses permitting). > If I did this, would the PropositionalFormula domain have some > equivalence to the Lambda domain in computation framework? If so, > would it make sense to include both these domains? > I do not think they are equivalent. Yes it makes sense to include both. > OpenAxiom PropositionalLogic uses Kernel domain as its representation > and I have some have some issues trying to understand this, as > discussed here: > http://groups.google.com/group/fricas-devel/browse_thread/thread/f39862f4a243239b?hl=en# > (especially as PropositionalLogic and Kernel have minimal > documentation) It is worth understanding this representation and also completing the missing documentation where possible. > ... Regards, Bill Page. -- 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.
