I failed to find the answer in axiom books (at least in first few). It is only said that "The type Expression Integer (abbreviated EXPR INT) is used to represent general symbolic expressions in Axiom".
What is the underlying theory (I guess the one that underlies all CAS's)? Is there a technique to avoid this general type? Or why it should not be avoided? -- 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.
