TangentExpansions R

efstruc.spad line 28 [edit on github]

• R: Field

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).