Skip to main content

proof_engine/topology/
mod.rs

1// topology/mod.rs — Module hub for topological spaces and non-Euclidean geometry
2
3pub mod hyperbolic;
4pub mod spherical;
5pub mod toroidal;
6pub mod klein;
7pub mod mobius;
8pub mod projective;
9pub mod genus;
10pub mod tiling;
11pub mod portals;
12pub mod geodesic;
13pub mod curvature;
14
15pub use hyperbolic::{PoincareDisk, KleinDisk, HyperbolicTiling, HyperbolicPolygon, HyperbolicGrid};
16pub use spherical::{SphericalCoord, SphericalGrid};
17pub use toroidal::ToroidalSpace;
18pub use klein::{KleinBottle, KleinNavigation, KleinRenderer};
19pub use mobius::{MobiusStrip, MobiusNavigation};
20pub use projective::ProjectivePlane;
21pub use genus::{SurfaceType, GenusRenderer};
22pub use tiling::{WallpaperGroup, TileInstance, FundamentalDomain, PenroseTile, PenroseType};
23pub use portals::{Portal, PortalFrame, TopologyType, PortalManager};
24pub use geodesic::GeodesicSurface;
25pub use curvature::{CurvatureField, GaussianCurvature};