TangentExpansions RΒΆ

efstruc.spad line 28

Expands tangents of sums and scalar products.

tanAn: (R, PositiveInteger) -> SparseUnivariatePolynomial R
tanAn(a, n) returns P(x) such that if a = tan(u) then P(tan(u/n)) = 0.
tanNa: (R, Integer) -> R
tanNa(a, n) returns f(a) such that if a = tan(u) then f(a) = tan(n * u).
tanSum: List R -> R
tanSum([a1, ..., an]) returns f(a1, ..., an) such that if ai = tan(ui) then f(a1, ..., an) = tan(u1 + ... + un).