TrigonometricManipulationsAux(G, FG)

efstruc.spad line 752 [edit on github]

• G : Join(IntegralDomain, Comparable)
• FG : Join(FunctionSpace(G), RadicalCategory, TranscendentalFunctionCategory)

This package provides transformations from trigonometric functions to exponentials and logarithms, and back. F and FG should be the same type of function space.

trigs2explogs : (FG, List(Kernel(FG))) -> FG

trigs2explogs(f, [k1, ..., kn]) rewrites all the trigonometric functions appearing in f in terms of complex logarithms and exponentials. A kernel of the form tan(u) is expressed using exp(u)^2 if it is one of the ki's, in terms of exp(2*u) otherwise.