Bill Page <[email protected]> writes: | 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).
"imitation is the sincerest form of flattery" :-) -- Gaby -- 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.
