Hi again, just for reference, a simple and quite precise explanation of evaluation in a proposed variant of A^# called B^# is available here: [JenksTrager94] at p 39. The authors say that evaluation in B^# corresponds to scratchpad and Common Lisp, so I *hope* that it is what is used by Axiom/FriCAS. If you know of similar/better references, please let me know, there are tons of articles out there.
Greetings ric [JenksTrager94] http://axiom-wiki.newsynthesis.org/public/refs/axiom-scratchpad.pdf -- 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 https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
