You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: docs/src/design/many_differentials.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -14,7 +14,7 @@ Beyond being a vector space, differentials need to be able to be added to a prim
14
14
Or roughly equivalently a differential is a difference between two primal values.
15
15
16
16
One thing to note in this example is that the primal does not have to be a vector.
17
-
As an example, consider `DateTime`. A `DateTime` is not a vector space: there is no `zero(::DateTime)`, and `DateTime`s cannot be added to each other. The corresponding differential type is any subtype of `Period`, such as `Millisecond`, `Hour`, `Day` etc.
17
+
As an example, consider `DateTime`. A `DateTime` is not a vector space: there is no origin point, and `DateTime`s cannot be added to each other. The corresponding differential type is any subtype of `Period`, such as `Millisecond`, `Hour`, `Day` etc.
0 commit comments