pub fn ideal_induction( v: &Manifold<f64>, b: &Manifold<f64>, ) -> PropagatingEffect<CausalTensor<f64>>