Girsanov in SageMath

Introduction In the previous blogs we taught SageMath how to represent stochastic differential equations (as a data class), apply Ito s lemma (as part of our Ito package), derive infinitesimal generators, and connect those generators to the Kolmogorov equations. We also introduced exponential martingales in the previous blog, and now, in this blog, that implementation will [ ]