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).
Then SYMB especially attracted my attention, however, I didn't apprehend it yet:
I'd expected (7) returning 'true'.
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.
