I would like to use the Sparse version of UnivariateLaurentSeries, but it's not working. :-(
This is demonstrated on a slightly modified version of FriCAS, but not touching the series code. Ralf Checking for foreign routines AXIOM="/home/hemmecke/software/lib/fricas/target/x86_64-linux-gnu" spad-lib="/home/hemmecke/software/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so" foreign routines found openServer result -2 FriCAS Computer Algebra System Version: FriCAS 6948d0fa5ca6ae77551f818a836343c3b21df2cd Timestamp: Mon Mar 12 12:54:44 CET 2018 ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave FriCAS and return to shell. ----------------------------------------------------------------------------- (1) -> N ==> NonNegativeInteger Type: Void (2) -> Z ==> Integer Type: Void (3) -> Q ==> Fraction Z Type: Void (4) -> R ==> Record(k: N, c: Q) Type: Void (5) -> S ==> Stream R Type: Void (6) -> h(r: R): R == [r.k+1, 2*r.c]$R Function declaration h : Record(k: NonNegativeInteger,c: Fraction( Integer)) -> Record(k: NonNegativeInteger,c: Fraction(Integer)) has been added to workspace. Type: Void (7) -> s: S := stream(h, [1, 1]$R) Compiling function h with type Record(k: NonNegativeInteger,c: Fraction(Integer)) -> Record(k: NonNegativeInteger,c: Fraction( Integer)) (7) [[k = 1, c = 1], [k = 2, c = 2], [k = 3, c = 4], [k = 4, c = 8], [k = 5, c = 16], [k = 6, c = 32], [k = 7, c = 64], [k = 8, c = 128], [k = 9, c = 256], [k = 10, c = 512], ...] Type: Stream(Record(k: NonNegativeInteger,c: Fraction(Integer))) (8) -> series(s)$UnivariateTaylorSeries(Q, 'x, 0) (8) 2 3 4 5 6 7 8 9 10 x + 2 x + 4 x + 8 x + 16 x + 32 x + 64 x + 128 x + 256 x + 512 x + 11 O(x ) Type: UnivariateTaylorSeries(Fraction(Integer),x,0) (9) -> series(s)$SparseUnivariateTaylorSeries(Q, 'x, 0) INFO: Control stack guard page unprotected -- 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 post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
N ==> NonNegativeInteger Z ==> Integer Q ==> Fraction Z R ==> Record(k: N, c: Q) S ==> Stream R h(r: R): R == [r.k+1, 2*r.c]$R s: S := stream(h, [1, 1]$R) series(s)$UnivariateTaylorSeries(Q, 'x, 0) series(s)$SparseUnivariateTaylorSeries(Q, 'x, 0)