LICENSE
README.md
pyproject.toml
pysurgery/__init__.py
pysurgery/algebraic_poincare.py
pysurgery/algebraic_surgery.py
pysurgery/coverage_matrix.yaml
pysurgery/homeomorphism.py
pysurgery/homeomorphism_witness.py
pysurgery/scratch.py
pysurgery/structure_set.py
pysurgery/topoview.py
pysurgery/wall_groups.py
pysurgery.egg-info/PKG-INFO
pysurgery.egg-info/SOURCES.txt
pysurgery.egg-info/dependency_links.txt
pysurgery.egg-info/requires.txt
pysurgery.egg-info/top_level.txt
pysurgery/bridge/__init__.py
pysurgery/bridge/julia_bridge.py
pysurgery/bridge/surgery_backend.jl
pysurgery/core/__init__.py
pysurgery/core/characteristic_classes.py
pysurgery/core/complexes.py
pysurgery/core/cup_product.py
pysurgery/core/embedding.py
pysurgery/core/exact_algebra.py
pysurgery/core/exceptions.py
pysurgery/core/foundations.py
pysurgery/core/fundamental_group.py
pysurgery/core/gauss_bonnet.py
pysurgery/core/generator_models.py
pysurgery/core/geometrization_3d.py
pysurgery/core/group_rings.py
pysurgery/core/homology_generators.py
pysurgery/core/intersection_forms.py
pysurgery/core/intrinsic_dimension.py
pysurgery/core/k_theory.py
pysurgery/core/kirby_calculus.py
pysurgery/core/math_core.py
pysurgery/core/metrics.py
pysurgery/core/pi1_group_ring_scaffold.py
pysurgery/core/quadratic_forms.py
pysurgery/core/theorem_tags.py
pysurgery/core/uniformization.py
pysurgery/integrations/__init__.py
pysurgery/integrations/gudhi_bridge.py
pysurgery/integrations/jax_bridge.py
pysurgery/integrations/lean_export.py
pysurgery/integrations/pytorch_geometric_bridge.py
pysurgery/integrations/trimesh_bridge.py
pysurgery/utils/__init__.py
pysurgery/utils/tutorial_coverage_validator.py
tests/test_3_manifolds.py
tests/test_4_manifolds.py
tests/test_advanced_surfaces.py
tests/test_algebraic_poincare.py
tests/test_algebraic_surgery.py
tests/test_alpha_complex.py
tests/test_characteristic_classes.py
tests/test_complexes.py
tests/test_cup_product.py
tests/test_embedding.py
tests/test_exact_algebra.py
tests/test_exact_intrinsic_dimension.py
tests/test_foundations.py
tests/test_fundamental_group.py
tests/test_gauss_bonnet.py
tests/test_geometrization_3d.py
tests/test_group_rings.py
tests/test_gudhi_bridge.py
tests/test_gudhi_bridge_unit.py
tests/test_homeomorphism.py
tests/test_homeomorphism_witness.py
tests/test_integration_scope.py
tests/test_intersection_forms.py
tests/test_intrinsic_dimension.py
tests/test_invariants_cross_validation.py
tests/test_jax_bridge.py
tests/test_jax_bridge_extended.py
tests/test_julia_bridge.py
tests/test_k_theory.py
tests/test_kirby_calculus_advanced.py
tests/test_lean_export.py
tests/test_math_core.py
tests/test_pi1_and_homology_generators.py
tests/test_pi1_group_ring_scaffold.py
tests/test_property_backend.py
tests/test_property_complex_construction.py
tests/test_property_surgery.py
tests/test_property_topology.py
tests/test_quadratic_forms.py
tests/test_quick_mapper.py
tests/test_structure_set.py
tests/test_theorem_tags.py
tests/test_triangulation.py
tests/test_tutorial_coverage_matrix.py
tests/test_uniformization.py
tests/test_wall_groups.py
tests/test_witness_scaling.py