include "transc/Trigonometric.ma".
(* UNEXPORTED
-Section Sum_and_so_on.
+Section Sum_and_so_on
*)
(* UNEXPORTED
(* begin hide *)
-inline "cic:/CoRN/transc/SinCos/F.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/F.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/G.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/G.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/F'.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/F'.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/G'.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/G'.con" "Sum_and_so_on__".
(* end hide *)
inline "cic:/CoRN/transc/SinCos/FFT'.con".
(* UNEXPORTED
-End Sum_and_so_on.
+End Sum_and_so_on
*)
(* UNEXPORTED
*)
(* UNEXPORTED
-Section Basic_Properties.
+Section Basic_Properties
*)
(*#* **Basic properties
inline "cic:/CoRN/transc/SinCos/AbsIR_Sin_less_One.con".
(* UNEXPORTED
-End Basic_Properties.
+End Basic_Properties
*)
(* UNEXPORTED