QFunctionTools2(C, L, CX, LX)

qetatool.spad line 184

• C: Ring
• L: UnivariateLaurentSeriesCategory C
• CX: Ring
• LX: UnivariateLaurentSeriesCategory CX

QFunctionTools2 allows to create a series from another series.

map: ((C, Integer ) -> CX, Integer -> Integer , L) -> LX

If x = sum_{n=m}^infty c(n)*q^n, then map(g, f, x) returns a series sum{n=m}^infty g(c(n), n)*q^{f(n}}. f is assumed to be strictly increasing. x is assumed to be non-zero.

map: (Record(k: Integer , c: C) -> Record(k: Integer , c: CX), L) -> LX

If x = sum_{n=m}^infty c(n)*q^n, then map(h, x) returns a series sum{n=m}^infty g(c(n), n)*q^{f(n}} where h([k,c]) is assumed to be equal to [f(k), g(c, k)]. f is assumed to be strictly increasing. x is assumed to be non-zero.