> That cannot work. You are basically asking that the system delays > everything until you ask for a value. That is basically saying that all > you do is untyped and only when you evaluate types will be tried to > match. In other words, you basically move all the typing stuff from > compiletime to runtime. That's not how FriCAS works. FriCAS wants to > know all types at compiletime. That's the main difference to most of the > other CAS.
Just found out that, this can be done (in a way): h y == x+-> f x + g x f x == x + x g x == x * x tmp := h "waste argument" tmp 4 tmp 3.5 This can work, but 'h' uses free variable reference of 'f' and 'g', instead of reference to its arguments. Is this the root of this problem? -- 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.
