On 30 December 2014 at 17:49, Raymond Rogers <[email protected]> wrote: > > On 12/30/2014 04:44 PM, Bill Page wrote: > I am inclined more to agree with Waldek here that the SPAD language > is already in principle sufficient as a mathematical notation - for > someone sufficiently motivated to actually want to do mathematics > this way. Translating from one notation to another is only a matter of > temporary convenience. Eventually one needs to become fluent in > the language of implementation. To the extent that this remains > uncomfortable, this is reason and motivation to change the language > in fundamental ways - not just as the level of the notation. To some > extent in systems like Axiom this can be accomplished through > (re-)design of the underlying libraries. > > Okay I'll nibble at the bait. I have a current problem that I will start a > page on in the development site.
"development site"? Do you mean http://axiom-wiki.newsynthesis.org ? > It's neither too hard or too easy and as far as I can tell a little original; > although I can never tell until the end. It involves attempts to > resolve/equate hypergeometric series terms/identities; not the > standard equation solving techniques (I don't think). I think I know > how to phrase the questions in mathematics; but I don't know the > answers and don't want trial by exhaustion that leaves no trace of why > or how or much of anything. So it's a development project to test the > ease of phrasing standard mathematics in ... pick a language Aldor or > Fricas. And if it can easily be used to test hypothesis's; I generate a > lot and almost all are wrong. OK. My ideal for the kind of collaboration that would be great for FriCAS is exemplified by: https://en.wikipedia.org/wiki/NLab http://ncatlab.org/nlab/show/HomePage http://nforum.mathforge.org/ In fact I think a lot of the mathematics and the categorical formalism presented in nLab has direct applicability to FriCAS library design. It would be very nice if we could replace axiom-wiki with something like Instiki wiki used by this site. https://golem.ph.utexas.edu/wiki/instiki/show/HomePage axiom-wiki is based on a somewhat older version of Zwiki. http://www.wikimatrix.org/compare/Instiki+Zwiki Happy New Year to all! Bill Page. -- 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.
