On 14 November 2016 at 23:59, oldk1331 <[email protected]> wrote: >> How about using List of EXPR as Rep? > > Second thought, it will not work, polynomial will still be expanded. > >> On the other hand, probably carrying it too far, one might use OutputForm >> which >> is very expressive and greatest possible "symbolic", if only there were a way >> back ;) > > Yes, something between OutputForm and Expression: it will keep the similarity > of its input form and have semantic to perform various operations. >
InputForm is rather poorly named but logically I think it does fall somewhere between OutputForm and Expression. Both InputForm and OutputForm are represented as Lisp SExpressions and functionally assisted by built-in boot and Lisp coding. In fact the current version of 'Symbolic' takes advantage of the fact that for the most part InputForm can just be interpreted as a particular sort of OutputForm via 'pretend'. This is adequate in a large majority of cases but it is awkward for example in representing arbitrary precision Float numbers. Conversion of Float to InputForm relegates this to the syntax of a function call to 'float'. As I understand it the formatting of Float values is currently handled directly by coerce in Float while DoubleFloat is handled by OutputForm. In principle OutputForm could be improved to do both. > ... -- 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.
