Hello,
I notice that there is a function like this
D: (%, Symbol, NonNegativeInteger) -> %
in UnivariateTaylorSeries:
https://fricas.github.io/api/UnivariateTaylorSeries.html
Why then does this Spad program not compile:
)abbrev package XSMP XSomePack
XSomePack(): Exports == Implementation where
I ==> Integer
Exports ==> with
f: () -> I
Implementation ==> add
SYM ==> Symbol
EXPR ==> Expression(I)
TAY ==> UnivariateTaylorSeries(EXPR, 'x, 0$EXPR)
diff(t: TAY, s: SYM, n: NonNegativeInteger): TAY ==
D(t, s, n)$TAY
f(): I ==
0
This is the error message I get:
****** comp fails at level 2 with expression: ******
error in function diff
((|Sel|
(|UnivariateTaylorSeries| (|Expression| (|Integer|)) '|x|
(|Sel| (|Expression| (|Integer|)) 0))
D)
|t| | << s >> | |n|)
****** level 2 ******
$x:= s
$m:= (List (Symbol))
$f:=
((((|n| # #) (|s| # #) (|t| # #) (|diff| #) ...)))
>> Apparent user error:
Cannot coerce s
of mode (Symbol)
to mode (List (Symbol))
The compiler seems to think that it needs List Symbol instead of Symbol??
Thanks,
Neven
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4Mk3Qr9OoNrqOMJQSftQTYuCL1iSZgyk5yDyNONDKGa_g%40mail.gmail.com.
