)abbrev package PARADOX Paradox
Paradox(R : CommutativeRing) : Exports == Implementation where
Exports ==> with
catalan: () -> Stream R
f: Stream R -> Stream R
Implementation ==> add
import from StreamTaylorSeriesOperations(R)
f(x: Stream R): Stream R == cons(1,x*x)
catalan(): Stream R == Y(f) $ParadoxicalCombinatorsForStreams(R)
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/5c93d29c-3107-4a47-9564-415bb92c70d2%40hemmecke.org.
