diff --git a/CHANGELOG.md b/CHANGELOG.md index 57e6688..cd1ca2b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -23,7 +23,7 @@ This project adheres to [Semantic Versioning](http://semver.org/). * The `Affine` trait now has methods for appending/prepending pure translation/rotation/scaling. * `EuclideanSpace::Vector` has been renamed `EuclideanSpace::Coordinates`. - * Added `Rotation::scaled_rotation_between` wich is a combination of + * Added `Rotation::scaled_rotation_between` which is a combination of `Rotation::rotation_between` and `Rotation::powf`. * `FiniteDimVectorSpace` looses `::component` but gains the `::component_unchecked_mut` method (for mutable compoent borrowing without diff --git a/alga/src/general/lattice.rs b/alga/src/general/lattice.rs index 687a64f..40a78da 100644 --- a/alga/src/general/lattice.rs +++ b/alga/src/general/lattice.rs @@ -8,13 +8,13 @@ pub trait MeetSemilattice: Sized { fn meet(&self, other: &Self) -> Self; } -/// A set where every two elements have a suppremum (i.e. smallest upper bound). +/// A set where every two elements have a supremum (i.e. smallest upper bound). pub trait JoinSemilattice: Sized { /// Returns the join (aka. supremum) of two values. fn join(&self, other: &Self) -> Self; } -/// Partially orderable sets where every two elements have a suppremum and infimum. +/// Partially orderable sets where every two elements have a supremum and infimum. pub trait Lattice: MeetSemilattice + JoinSemilattice + PartialOrd { /// Returns the infimum and the supremum simultaneously. #[inline] diff --git a/alga/src/general/one_operator.rs b/alga/src/general/one_operator.rs index 3ebeb74..fab5f54 100644 --- a/alga/src/general/one_operator.rs +++ b/alga/src/general/one_operator.rs @@ -114,7 +114,7 @@ pub trait AbstractSemigroup: PartialEq + AbstractMagma { } } -/// Implements the semigroup trait for types provded. +/// Implements the semigroup trait for types provided. /// # Examples /// /// ``` diff --git a/alga/src/general/operator.rs b/alga/src/general/operator.rs index 4a692a7..a51095a 100644 --- a/alga/src/general/operator.rs +++ b/alga/src/general/operator.rs @@ -19,7 +19,7 @@ pub trait Inverse: Sized { /// Returns the inverse of `self`, relative to the operator `O`. fn inverse(&self) -> Self; - /// In-place inversin of `self`. + /// In-place inversion of `self`. #[inline] fn inverse_mut(&mut self) { *self = self.inverse() @@ -118,16 +118,16 @@ impl Inverse for Complex { } } -/// [Alias] Trait alias for `Add` and `AddAsign` with result of type `Self`. +/// [Alias] Trait alias for `Add` and `AddAssign` with result of type `Self`. pub trait ClosedAdd: Sized + Add + AddAssign {} -/// [Alias] Trait alias for `Sub` and `SubAsign` with result of type `Self`. +/// [Alias] Trait alias for `Sub` and `SubAssign` with result of type `Self`. pub trait ClosedSub: Sized + Sub + SubAssign {} -/// [Alias] Trait alias for `Mul` and `MulAsign` with result of type `Self`. +/// [Alias] Trait alias for `Mul` and `MulAssign` with result of type `Self`. pub trait ClosedMul: Sized + Mul + MulAssign {} -/// [Alias] Trait alias for `Div` and `DivAsign` with result of type `Self`. +/// [Alias] Trait alias for `Div` and `DivAssign` with result of type `Self`. pub trait ClosedDiv: Sized + Div + DivAssign {} /// [Alias] Trait alias for `Neg` with result of type `Self`. diff --git a/alga/src/general/real.rs b/alga/src/general/real.rs index 1595af3..d9c3688 100644 --- a/alga/src/general/real.rs +++ b/alga/src/general/real.rs @@ -24,8 +24,8 @@ use num; /// Reals are equipped with functions that are commonly used on reals. The results of those /// functions only have to be approximately equal to the actual theoretical values. // FIXME: SubsetOf should be removed when specialization will be supported by rustc. This will -// allow a blancket impl: impl SubsetOf for T { ... } -// NOTE: make all types debuggable/'static/Any ? This seems essencial for any kind of generic programming. +// allow a blanket impl: impl SubsetOf for T { ... } +// NOTE: make all types debuggable/'static/Any ? This seems essential for any kind of generic programming. pub trait Real: SubsetOf + SupersetOf diff --git a/alga/src/general/subset.rs b/alga/src/general/subset.rs index e0a3aea..ffcdec5 100644 --- a/alga/src/general/subset.rs +++ b/alga/src/general/subset.rs @@ -15,11 +15,11 @@ use decimal::d128; /// practice f64 has more elements). /// * u32 and i8 are respectively supposed to represent natural and relative numbers. Thus, u32 is /// a subset of i8. -/// * A quaterion and a 3x3 orthogonal matrix with unit determinant are both sets of rotations. +/// * A quaternion and a 3x3 orthogonal matrix with unit determinant are both sets of rotations. /// They can thus be considered equal. /// /// In other words, implementation details due to machine limitations are ignored (otherwise we -/// could not even, e.g., convert a u64 to an i64). If considering those limintations are +/// could not even, e.g., convert a u64 to an i64). If considering those limitations are /// important, other crates allowing you to query the limitations of given types should be used. pub trait SubsetOf: Sized { /// The inclusion map: converts `self` to the equivalent element of its superset. @@ -55,11 +55,11 @@ pub trait SubsetOf: Sized { /// practice f64 has more elements). /// * u32 and i8 are respectively supposed to represent natural and relative numbers. Thus, i8 is /// a superset of u32. -/// * A quaterion and a 3x3 orthogonal matrix with unit determinant are both sets of rotations. +/// * A quaternion and a 3x3 orthogonal matrix with unit determinant are both sets of rotations. /// They can thus be considered equal. /// /// In other words, implementation details due to machine limitations are ignored (otherwise we -/// could not even, e.g., convert a u64 to an i64). If considering those limintations are +/// could not even, e.g., convert a u64 to an i64). If considering those limitations are /// important, other crates allowing you to query the limitations of given types should be used. pub trait SupersetOf: Sized { /// The inverse inclusion map: attempts to construct `self` from the equivalent element of its diff --git a/alga/src/linear/transformation.rs b/alga/src/linear/transformation.rs index b46bf25..c2d24ab 100644 --- a/alga/src/linear/transformation.rs +++ b/alga/src/linear/transformation.rs @@ -228,7 +228,7 @@ pub trait Translation : DirectIsometry /* + SubsetOf */ { // NOTE: we must define those two conversions here (instead of just using SubsetOf) because the // structure of Self uses the multiplication for composition, while E::Coordinates uses addition. - // Having a trait that sais "remap this operator to this other one" does not seem to be + // Having a trait that says "remap this operator to this other one" does not seem to be // possible without higher kinded traits. /// Converts this translation to a vector. fn to_vector(&self) -> E::Coordinates; diff --git a/alga/src/linear/vector.rs b/alga/src/linear/vector.rs index e820b74..57a45a6 100644 --- a/alga/src/linear/vector.rs +++ b/alga/src/linear/vector.rs @@ -33,14 +33,14 @@ pub trait NormedSpace: VectorSpace { /// Normalizes this vector in-place or does nothing if its norm is smaller or equal to `eps`. /// - /// If the normalization succeded, returns the old normal of this vector. + /// If the normalization succeeded, returns the old normal of this vector. fn try_normalize_mut(&mut self, eps: Self::Field) -> Option; } -/// A vector space aquipped with an inner product. +/// A vector space equipped with an inner product. /// /// It must be a normed space as well and the norm must agree with the inner product. -/// The inner product must be symmetric, linear in its first agurment, and positive definite. +/// The inner product must be symmetric, linear in its first aguement, and positive definite. pub trait InnerSpace: NormedSpace::Real> { /// The result of inner product (same as the field used by this vector space). type Real: Real; diff --git a/alga_derive/src/lib.rs b/alga_derive/src/lib.rs index 1257a3a..4e68e94 100644 --- a/alga_derive/src/lib.rs +++ b/alga_derive/src/lib.rs @@ -35,7 +35,7 @@ //! If `#[alga_quickcheck]` attribute is added for the target of the derive, //! then `quickcheck` tests will be generated. //! These tests will check that the algebraic properties of the derived trait are true for the type. -//! This attribute requires `quickcheck`s `Arbitary` trait to be implemented for the target of the derive. +//! This attribute requires `quickcheck`s `Arbitrary` trait to be implemented for the target of the derive. //! //! ~~~.ignore //! extern crate alga;