Hello!
What is the best resource for SPAD? Aldor has a really excellent book
( https://www.aldor.org/docs/aldorug.pdf ) and I don't suppose that SPAD
has something similar? Presumably the FriCAS book (
https://fricas.github.io/book.pdf ) and the FriCAS source are the best
resources? The FriCAS book covers SPAD in chapters 12 and 13, but I feel
it's not sufficient for me, especially when it comes to compiler errors.
I am currently struggling to implement functions around series expansions.
It's probably one of the most complicated situations to start with due to
the dependent types, but it's what I need :)
My ultimate goal is to write a function (in a package) that takes an
expression for series expansion and the expansion point and returns the
series expansion. So basically as a first step I would just like to write a
simple wrapper around series/taylor/puiseux with fixed input/output types.
I've tried this in a SPAD function:
x := 'x
ex := x :: Expression(Integer)
eqn := (ex = 0)
testseries := taylor(x,eqn)
But the compiler complains about
>> Apparent user error:
NoValueMode
is an unknown mode
What does such an error mean? I tried to get away with a minimal number of
type annotations, but adding additional for the taylor function doesn't
seem to help this error.
Furthermore, suppose I want to write a wrapper around taylor, could I write
the function with dependent types like this (I think something like this
would work in Aldor):
wrapper : (Expression(Integer), p:Expression(Integer), x0:Integer) ->
UnivariateTaylorSeries(Expression(Integer), p, x0)
wrapper (expr, x, x0) == series(expr,x=x0)
I would appreciate some help regarding this. Eventually I might be able to
write a tuturial with my struggles for future users.
Tobias
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/e21a5844-a8fd-4c88-8338-8a423fdcaeb8n%40googlegroups.com.
