Kurt, On 4 February 2017 at 14:15, Kurt Pagani <[email protected]> wrote: > Awesome! You really put much effort in it. > Although I can't overlook the details yet (very elaborate;) I clearly see the > potential applications. I've some use cases which I want to try asap. > > What I've noticed so far is an oddity with "/" division (see output below > 3,4).
Thank you. Yes that is a bug. Easily fixed. I did not distinguish between left and right identities. > Then SYMB especially attracted my attention, however, I didn't apprehend it > yet: > I'd expected (7) returning 'true'. > ASSS is the abbreviation for Associative* not Associative+. (9) is a known bug. There is still more work to do on differentiation. Bill. > To give some reasonable comments I first have to delve into the matter more > profoundly. > > ; /home/kfp/Devel/fricas_input/spad/symbolic/SYMPKG1.NRLIB/SYMPKG1.fasl > written > ; compilation finished in 0:00:00.060 > ------------------------------------------------------------------------ > SymbolicFunctions1 is now explicitly exposed in frame frame1 > SymbolicFunctions1 will be automatically loaded when needed from > /home/kfp/Devel/fricas_input/spad/symbolic/SYMPKG1.NRLIB/SYMPKG1 > > (1) -> > (1) -> SEI ==> SymbolicExpression Integer > Type: Void > (2) -> (u,v,w):SEI > Type: Void > (3) -> u*(1/u) > > 2 > (3) u > Type: SymbolicExpression(Integer) > (4) -> 1/u > > (4) u > Type: SymbolicExpression(Integer) > (5) -> t:=t::SYMB(INT,ASSS) > > (5) t > Type: Symbolic(Integer,Associative*) > (6) -> r:=r::SYMB(INT,ASSS) > > (6) r > Type: Symbolic(Integer,Associative*) > (7) -> eq:= t+(r+t) = (t+r)+t > > (7) t + r + t = t + r + t > Type: Equation(Symbolic(Integer,Associative*)) > (8) -> test eq > > (8) false > Type: Boolean > > (9) -> D(exp(-w^2),'w) > > (9) 2%diff %diff w > Type: SymbolicExpression(Integer) > (10) -> > > > > > Am 03.02.2017 um 21:46 schrieb Bill Page: >> I have made quite a lot of progress on my original proposal to use the >> InputForm domain as a basis for the implementation of symbolic >> expressions that resemble the Expression domain but remain >> unsimplified except where specified or until specifically requested. >> >> See the experimental code here: >> http://axiom-wiki.newsynthesis.org/SandBoxSymbolicExpressions >> >> A simple computation using patterns in trigonometric symbolic >> expressions as discussed on another recent email chain on this list is >> shown in >> >> http://axiom-wiki.newsynthesis.org/SandBoxSymbolicTrig >> >> There is more testing and considerably more work to do before I would >> consider this complete. And of course I need to spend some time on >> documentation for which your comments and questions would be >> invaluable. >> >> I would be very happy to receive criticisms, comments and suggestions. >> > > -- > 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. -- 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.
