*)
(* UNEXPORTED
-Section Power_Series.
+Section Power_Series
*)
(*#* **General results
%\end{convention}%
*)
-inline "cic:/CoRN/transc/PowerSeries/J.var".
+alias id "J" = "cic:/CoRN/transc/PowerSeries/Power_Series/J.var".
-inline "cic:/CoRN/transc/PowerSeries/x0.var".
+alias id "x0" = "cic:/CoRN/transc/PowerSeries/Power_Series/x0.var".
-inline "cic:/CoRN/transc/PowerSeries/Hx0.var".
+alias id "Hx0" = "cic:/CoRN/transc/PowerSeries/Power_Series/Hx0.var".
-inline "cic:/CoRN/transc/PowerSeries/a.var".
+alias id "a" = "cic:/CoRN/transc/PowerSeries/Power_Series/a.var".
inline "cic:/CoRN/transc/PowerSeries/FPowerSeries.con".
(* begin show *)
-inline "cic:/CoRN/transc/PowerSeries/Ha.var".
+alias id "Ha" = "cic:/CoRN/transc/PowerSeries/Power_Series/Ha.var".
-inline "cic:/CoRN/transc/PowerSeries/r.con".
+inline "cic:/CoRN/transc/PowerSeries/Power_Series/r.con" "Power_Series__".
-inline "cic:/CoRN/transc/PowerSeries/Hr.con".
+inline "cic:/CoRN/transc/PowerSeries/Power_Series/Hr.con" "Power_Series__".
(* end show *)
(* begin show *)
-inline "cic:/CoRN/transc/PowerSeries/Ha'.var".
+alias id "Ha'" = "cic:/CoRN/transc/PowerSeries/Power_Series/Ha'.var".
(* end show *)
inline "cic:/CoRN/transc/PowerSeries/FPowerSeries'_conv.con".
(* UNEXPORTED
-End Power_Series.
+End Power_Series
*)
(* UNEXPORTED
*)
(* UNEXPORTED
-Section More_on_PowerSeries.
+Section More_on_PowerSeries
*)
(*#*
%\end{convention}%
*)
-inline "cic:/CoRN/transc/PowerSeries/x0.var".
+alias id "x0" = "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/x0.var".
-inline "cic:/CoRN/transc/PowerSeries/a.var".
+alias id "a" = "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/a.var".
(* begin hide *)
-inline "cic:/CoRN/transc/PowerSeries/F.con".
+inline "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/F.con" "More_on_PowerSeries__".
-inline "cic:/CoRN/transc/PowerSeries/G.con".
+inline "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/G.con" "More_on_PowerSeries__".
(* end hide *)
(* begin show *)
-inline "cic:/CoRN/transc/PowerSeries/Hf.var".
+alias id "Hf" = "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/Hf.var".
-inline "cic:/CoRN/transc/PowerSeries/Hf'.var".
+alias id "Hf'" = "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/Hf'.var".
-inline "cic:/CoRN/transc/PowerSeries/Hg.var".
+alias id "Hg" = "cic:/CoRN/transc/PowerSeries/More_on_PowerSeries/Hg.var".
(* end show *)
inline "cic:/CoRN/transc/PowerSeries/Derivative_FPowerSeries1'.con".
(* UNEXPORTED
-End More_on_PowerSeries.
+End More_on_PowerSeries
*)
(* UNEXPORTED
-Section Definitions.
+Section Definitions
*)
(*#* **Function definitions through power series
inline "cic:/CoRN/transc/PowerSeries/Logarithm.con".
(* UNEXPORTED
-End Definitions.
+End Definitions
*)
(* UNEXPORTED