/top,ln_exp,expt,hyperbolic,taylor_help,exp_series,ln_series,exp_approx,ln_approx,ln_exp_series_alt,ln_exp_ineq
structures/for_iterate
reals/real_fun_preds,factorial,binomial,sign,log_nat,sqrt_exists,polynomials,prelude_aux,real_fun_ops,quad_minmax,quadratic,sigma_upto,sigma_swap,product,sigma,sqrt,sq,sigma_nat
ints/factorial
top:ln_exp,expt,hyperbolic,exp_series,ln_series,exp_approx,ln_approx,ln_exp_series_alt,ln_exp_ineq
ln_exp:reals@real_fun_ops,reals@real_fun_preds
expt:ln_exp
hyperbolic:reals@sq,reals@sqrt,ln_exp,reals@binomial,taylor_help,reals@polynomials
taylor_help:
exp_series:ln_exp,reals@sigma_nat,reals@factorial,taylor_help
ln_series:ln_exp,reals@sigma_nat,taylor_help
exp_approx:exp_series,reals@quad_minmax
ln_approx:ln_series,reals@log_nat
ln_exp_series_alt:ln_exp,reals@sqrt,reals@sigma_nat,reals@factorial,taylor_help
ln_exp_ineq:ln_exp,ln_exp_series_alt
[ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
]
