> I would like FriCAS to be as general as possible and to minimise > rules that are hard-coded in. So I would like such > identities/axioms/rules impemented on a per-domain or per-category by > using some common mechanism in SPAD.
Oh, that sounds as if you want to implement a term algebra with just logical function symbols plus several rules to simplify to some "simpler" form. Yes, that's also wanted, but you miss an important point. FriCAS and SPAD are designed to be able to code specialized areas more efficiently. Just to mention one recent example: "Set(S)". In case the argument S is ordered, internally the sets are stored by keeping their elements in sorted form. You can certainly find more examples where even the underlying representation changes if the argument of the domain constructor has certain properties. That being said... I don't see your and my efforts as mutually excluding each other. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
