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