Hello! Citing Axioms's doc: Conceptually, an object of type Expression can be thought of a quotient of multivariate polynomials, where the "variables" are kernels. The arguments of the kernels are again expressions and so the structure recurses. See Expression for examples of using kernels to take apart expression objects.
You can find this in HyperDoc in the description of "Kernel" or in the bookvol0 (9.44 Kernel). As far as I understand this definition, Expression is defined through Kernel, and Kernel through Expression. How is this loop resolved? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To view this discussion on the web visit https://groups.google.com/d/msg/fricas-devel/-/n5DBuSp9zRcJ. 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.
