StreamTaylorSeriesOperations2(R, M)ΒΆ

sttaylor.spad line 90 [edit on github]

StreamTaylorSeriesOperations2 implements operations from StreamTaylorSeriesOperationsCategory, allowing operations on series having values in modules. Operations were extracted and generalized from StreamTaylorSeriesOperations.

*: (M, Stream R) -> Stream M if M has RightModule R

from StreamTaylorSeriesOperationsCategory(R, M)

*: (R, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

*: (Stream M, R) -> Stream M if M has RightModule R

from StreamTaylorSeriesOperationsCategory(R, M)

*: (Stream R, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

+: (Stream M, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

-: (Stream M, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

-: Stream M -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

addiag: Stream Stream M -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

coerce: M -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

compose: (Stream M, Stream R) -> Stream M if M has RightModule R

from StreamTaylorSeriesOperationsCategory(R, M)

deriv: Stream M -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

eval: (Stream M, R) -> Stream M if M has RightModule R

from StreamTaylorSeriesOperationsCategory(R, M)

gderiv: (Integer -> R, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

int: R -> Stream R

from StreamTaylorSeriesOperationsCategory(R, M)

integers: Integer -> Stream Integer

from StreamTaylorSeriesOperationsCategory(R, M)

integrate: (M, Stream M) -> Stream M if R has Algebra Fraction Integer

from StreamTaylorSeriesOperationsCategory(R, M)

invmultisect: (Integer, Integer, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

lazyIntegrate: (M, () -> Stream M) -> Stream M if R has Algebra Fraction Integer

from StreamTaylorSeriesOperationsCategory(R, M)

mapmult: (Stream M, Stream R) -> Stream M if M has RightModule R

from StreamTaylorSeriesOperationsCategory(R, M)

mapmult: (Stream R, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

monom: (M, Integer) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

multisect: (Integer, Integer, Stream M) -> Stream M

from StreamTaylorSeriesOperationsCategory(R, M)

oddintegers: Integer -> Stream Integer

from StreamTaylorSeriesOperationsCategory(R, M)

StreamTaylorSeriesOperationsCategory(R, M)