Mercurial > repos > alg_tools / file diff

--- a/src/mapping.rs	Fri Apr 28 09:03:21 2023 +0300
+++ b/src/mapping.rs	Fri Apr 28 13:42:03 2023 +0300
@@ -51,7 +51,7 @@
 
 
 /// Trait for calculation the differential of `Self` as a mathematical function on `X`.
-pub trait Differentiate<X> {
+pub trait Differentiable<X> {
     type Output;
 
     /// Compute the differential of `self` at `x`.
@@ -65,16 +65,16 @@
 /// This is automatically implemented when the relevant [`Differentiate`] are implemented.
 pub trait DifferentiableMapping<Domain>
 : Mapping<Domain>
-  + Differentiate<Domain, Output=Self::Differential>
-  + for<'a> Differentiate<&'a Domain, Output=Self::Differential>{
+  + Differentiable<Domain, Output=Self::Differential>
+  + for<'a> Differentiable<&'a Domain, Output=Self::Differential>{
     type Differential;
 }
 
 
 impl<Domain, Differential, T> DifferentiableMapping<Domain> for T
 where T : Mapping<Domain>
-          + Differentiate<Domain, Output=Differential>
-          + for<'a> Differentiate<&'a Domain, Output=Differential> {
+          + Differentiable<Domain, Output=Differential>
+          + for<'a> Differentiable<&'a Domain, Output=Differential> {
     type Differential = Differential;
 }
 
@@ -103,7 +103,7 @@
     }
 }
 
-impl<Domain, M> Differentiate<Domain> for Sum<Domain, M>
+impl<Domain, M> Differentiable<Domain> for Sum<Domain, M>
 where M : DifferentiableMapping<Domain>,
       M :: Codomain : std::iter::Sum,
       M :: Differential : std::iter::Sum,