Skip to main content

adams_bashforth_error_ty

oxilean_std::numerical_analysis::functions

Function adams_bashforth_error_ty 

Source 
pub fn adams_bashforth_error_ty() -> Expr
Expand description

AdamsBashforthError : Nat → Real → Prop Adams-Bashforth p-step method has global error O(h^p).