conspire/math/integrate/dae/explicit/variable_step/verner_9/
mod.rs1use crate::math::{
2 Derivative, Differentiable, Quantity, Scalar, Tensor, TensorVec,
3 integrate::{ExplicitDaeVariableStepExplicit, ode::explicit::variable_step::verner_9::*},
4};
5use std::ops::{Mul, Sub};
6
7impl<Y, Z, U, V, W, T> ExplicitDaeVariableStepExplicit<Y, Z, U, V, W, T> for Verner9
8where
9 Y: Differentiable<T> + Tensor,
10 Z: PartialEq + Tensor,
11 Derivative<Y, T>: Mul<Quantity<T>, Output = Y>,
12 U: TensorVec<Item = Y>,
13 V: TensorVec<Item = Z>,
14 W: TensorVec<Item = Derivative<Y, T>>,
15 for<'a> &'a Y: Mul<Scalar, Output = Y> + Sub<&'a Y, Output = Y>,
16 for<'a> &'a Derivative<Y, T>:
17 Mul<Scalar, Output = Derivative<Y, T>> + Mul<Quantity<T>, Output = Y>,
18{
19}