LICENSE
README.md
pyproject.toml
pysurgery/__init__.py
pysurgery/auto_surgery.py
pysurgery/coverage_matrix.yaml
pysurgery/homeomorphism.py
pysurgery/homeomorphism_witness.py
pysurgery/structure_set.py
pysurgery/surgery.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/adams/__init__.py
pysurgery/adams/differentials.py
pysurgery/adams/e_infinity_exhaustive.py
pysurgery/adams/e_infinity_resolver.py
pysurgery/adams/extension_solver.py
pysurgery/adams/interactive_resolver.py
pysurgery/adams/lambda_algebra.py
pysurgery/adams/lean_resolver.py
pysurgery/adams/odd_prime_cobar.py
pysurgery/adams/spectral_sequence.py
pysurgery/adams/u_resolution.py
pysurgery/adams/unstable.py
pysurgery/adams/adams_data/sphere_p2.json
pysurgery/adams/adams_data/sphere_p3.json
pysurgery/adams/adams_data/sphere_p5.json
pysurgery/algebra/__init__.py
pysurgery/algebra/exact_algebra.py
pysurgery/algebra/exact_sequences.py
pysurgery/algebra/exact_snf_julia.py
pysurgery/algebra/group_rings.py
pysurgery/algebra/intersection_forms.py
pysurgery/algebra/k_theory.py
pysurgery/algebra/math_core.py
pysurgery/algebra/quadratic_forms.py
pysurgery/bridge/__init__.py
pysurgery/bridge/julia_bridge.py
pysurgery/bridge/juliapkg.json
pysurgery/bridge/surgery_backend.jl
pysurgery/core/__init__.py
pysurgery/core/exceptions.py
pysurgery/core/foundations.py
pysurgery/core/generator_models.py
pysurgery/core/theorem_tags.py
pysurgery/geometry/__init__.py
pysurgery/geometry/bundles.py
pysurgery/geometry/characteristic_classes.py
pysurgery/geometry/embedding.py
pysurgery/geometry/gauss_bonnet.py
pysurgery/geometry/geometrization_3d.py
pysurgery/geometry/immersion_obstructions.py
pysurgery/geometry/intrinsic_dimension.py
pysurgery/geometry/metrics.py
pysurgery/geometry/uniformization.py
pysurgery/homology/__init__.py
pysurgery/homology/algebraic_poincare.py
pysurgery/homology/controlled_cohomology.py
pysurgery/homology/cup_product.py
pysurgery/homology/ext_cocycles.py
pysurgery/homology/ext_yoneda_product.py
pysurgery/homology/homology_generators.py
pysurgery/homology/poincare_duality_verification.py
pysurgery/homology/topological_sequences.py
pysurgery/homotopy/__init__.py
pysurgery/homotopy/higher_homotopy_groups.py
pysurgery/homotopy/homotopy_verifier.py
pysurgery/homotopy/known_homotopy_tables.py
pysurgery/homotopy/multi_prime_synthesis.py
pysurgery/homotopy/rational_homotopy.py
pysurgery/homotopy/sullivan_models.py
pysurgery/integrations/__init__.py
pysurgery/integrations/jax_bridge.py
pysurgery/integrations/lean_export.py
pysurgery/integrations/pytorch_geometric_bridge.py
pysurgery/integrations/trimesh_bridge.py
pysurgery/knots/__init__.py
pysurgery/knots/analysis.py
pysurgery/knots/constructors.py
pysurgery/knots/invariants.py
pysurgery/knots/linking.py
pysurgery/manifolds/__init__.py
pysurgery/manifolds/handle_decompositions.py
pysurgery/manifolds/handle_surgery.py
pysurgery/manifolds/kirby_calculus.py
pysurgery/manifolds/rational_surgery.py
pysurgery/manifolds/surgery.py
pysurgery/spectral/__init__.py
pysurgery/spectral/spectral_sequences.py
pysurgery/topology/__init__.py
pysurgery/topology/complexes.py
pysurgery/topology/filtration_tools.py
pysurgery/topology/fundamental_group.py
pysurgery/topology/fundamental_polyhedron.py
pysurgery/topology/persistent_homology.py
pysurgery/topology/pi1_group_ring_scaffold.py
pysurgery/topology/temporal_topology.py
pysurgery/utils/__init__.py
pysurgery/utils/signature.py
pysurgery/utils/tutorial_coverage_validator.py
tests/test_3_manifolds.py
tests/test_4_manifolds.py
tests/test_adams_bound_tightening.py
tests/test_adams_differentials.py
tests/test_adams_e2_page.py
tests/test_adams_extension_solver.py
tests/test_adams_u_resolution.py
tests/test_advanced_surfaces.py
tests/test_algebraic_poincare.py
tests/test_algebraic_surgery.py
tests/test_alpha_complex.py
tests/test_auto_surgery_contractible.py
tests/test_auto_surgery_detection.py
tests/test_auto_surgery_kill.py
tests/test_auto_surgery_obstruction.py
tests/test_auto_surgery_separate.py
tests/test_auto_surgery_unlink.py
tests/test_backend_consistency.py
tests/test_backend_consistency_comprehensive.py
tests/test_basis_change.py
tests/test_canonical_spaces_and_homotopy.py
tests/test_characteristic_classes.py
tests/test_cobordism_complex.py
tests/test_complexes.py
tests/test_controlled_cohomology.py
tests/test_cup_product.py
tests/test_decision_key_shared.py
tests/test_dynamic_complexes.py
tests/test_e_infinity_resolution.py
tests/test_embedding.py
tests/test_exact_algebra.py
tests/test_exact_algebra_sequences.py
tests/test_exact_intrinsic_dimension.py
tests/test_exact_metadata_consistency.py
tests/test_exact_snf_julia.py
tests/test_ext_cocycles.py
tests/test_ext_yoneda_product.py
tests/test_filtration_tools.py
tests/test_formality_detection.py
tests/test_foundations.py
tests/test_fundamental_group.py
tests/test_fundamental_polyhedron.py
tests/test_gauss_bonnet.py
tests/test_geometrization_3d.py
tests/test_global_backend_consistency.py
tests/test_group_rings.py
tests/test_handle_decompositions.py
tests/test_handle_decompositions_morse.py
tests/test_handle_surgery.py
tests/test_homeomorphism.py
tests/test_homeomorphism_witness.py
tests/test_homotopy_oop.py
tests/test_homotopy_verifier.py
tests/test_immersion_integration.py
tests/test_immersion_obstructions.py
tests/test_integration_scope.py
tests/test_interactive_resolver.py
tests/test_intersection_forms.py
tests/test_intrinsic_dimension.py
tests/test_invariants_cross_validation.py
tests/test_isotopy_hierarchy.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_knots.py
tests/test_known_homotopy_tables.py
tests/test_lean_export.py
tests/test_lean_formal_resolver.py
tests/test_math_core.py
tests/test_module_c_integration.py
tests/test_modules_a_b_integration.py
tests/test_multi_prime_synthesis.py
tests/test_odd_prime_adams.py
tests/test_path_intersection.py
tests/test_persistence_backend_dispatch.py
tests/test_persistence_wrapper.py
tests/test_pi1_and_homology_generators.py
tests/test_pi1_group_ring_scaffold.py
tests/test_poincare_duality_verification.py
tests/test_point_cloud_mappings.py
tests/test_property_backend.py
tests/test_property_complex_construction.py
tests/test_property_surgery.py
tests/test_property_topology.py
tests/test_public_api_v2.py
tests/test_quadratic_forms.py
tests/test_quick_mapper.py
tests/test_rational_dga.py
tests/test_rational_homotopy_group_schema.py
tests/test_rational_surgery.py
tests/test_slides_cancellation.py
tests/test_spectral_sequences.py
tests/test_structure_set.py
tests/test_sullivan_models.py
tests/test_sullivan_phase2_integration.py
tests/test_surgery.py
tests/test_surgery_atomicity.py
tests/test_surgery_session.py
tests/test_temporal_topology.py
tests/test_theorem_tags.py
tests/test_topological_loss.py
tests/test_topological_sequences.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
tests/test_zigzag_persistence.py