--- a/src/cylinder.rs	Sun Dec 15 01:10:52 2024 -0500
+++ b/src/cylinder.rs	Thu Dec 19 15:55:32 2024 -0500
@@ -2,12 +2,13 @@
 Implementation of the surface of a 3D cylinder as a [`ManifoldPoint`].
 */
 
-use alg_tools::euclidean::{Euclidean, Dot};
+use alg_tools::euclidean::Euclidean;
 use serde_repr::*;
 use serde::{Serialize, Deserialize};
 use alg_tools::loc::Loc;
 use alg_tools::norms::{Norm, L2};
 use alg_tools::types::Float;
+use alg_tools::impl_basic_space;
 use crate::manifold::{ManifoldPoint, EmbeddedManifoldPoint, FacedManifoldPoint};
 use crate::newton::{newton_sym1x1, newton_sym2x2};
 
@@ -908,6 +909,8 @@
     }
 }
 
+impl_basic_space!(OnCylinder<'a> where 'a);
+
 #[cfg(test)]
 mod tests {
     use super::*;
@@ -1142,3 +1145,4 @@
         }
     }
 }
+