LICENSE
README.md
pyproject.toml
jacopy/__init__.py
jacopy/bibliography.py
jacopy/py.typed
jacopy.egg-info/PKG-INFO
jacopy.egg-info/SOURCES.txt
jacopy.egg-info/dependency_links.txt
jacopy.egg-info/requires.txt
jacopy.egg-info/top_level.txt
jacopy/algebra/__init__.py
jacopy/algebra/commutator.py
jacopy/algebra/derivation.py
jacopy/algebra/grading.py
jacopy/algebra/lie_bracket_vf.py
jacopy/algorithms/__init__.py
jacopy/algorithms/base.py
jacopy/algorithms/canonicalize.py
jacopy/algorithms/collect_terms.py
jacopy/algorithms/distribute.py
jacopy/algorithms/factor_terms.py
jacopy/algorithms/flatten.py
jacopy/algorithms/normalize_alternating.py
jacopy/algorithms/product_rule.py
jacopy/algorithms/rewrite.py
jacopy/algorithms/simplify.py
jacopy/algorithms/sort_product.py
jacopy/brackets/__init__.py
jacopy/brackets/base.py
jacopy/brackets/derived.py
jacopy/central/__init__.py
jacopy/central/algebroid/__init__.py
jacopy/central/algebroid/algebroid_expansion.py
jacopy/central/algebroid/calculus.py
jacopy/central/algebroid/context.py
jacopy/central/algebroid/declarations.py
jacopy/central/algebroid/defect_formulas.py
jacopy/central/algebroid/engine.py
jacopy/central/algebroid/locality.py
jacopy/central/algebroid/operators.py
jacopy/central/algebroid/rules.py
jacopy/central/algebroid/theorems.py
jacopy/central/calculus/__init__.py
jacopy/central/calculus/bracket_calculus.py
jacopy/central/calculus/indexed_rules.py
jacopy/central/calculus/interior_rules.py
jacopy/central/calculus/partial_eval_rules.py
jacopy/central/calculus/scalars.py
jacopy/central/calculus/slot_rules.py
jacopy/central/calculus/symmetrize_rules.py
jacopy/central/calculus/tensor_calculus.py
jacopy/central/objects/__init__.py
jacopy/central/objects/bundle.py
jacopy/central/objects/connection.py
jacopy/central/objects/endomorphism.py
jacopy/central/objects/form.py
jacopy/central/objects/frame.py
jacopy/central/objects/function.py
jacopy/central/objects/interior.py
jacopy/central/objects/kind.py
jacopy/central/objects/metric.py
jacopy/central/objects/multivector.py
jacopy/central/objects/multivector_interior.py
jacopy/central/objects/musical.py
jacopy/central/objects/partial_eval.py
jacopy/central/objects/tensor.py
jacopy/central/objects/tilde_interior.py
jacopy/central/objects/vector_field.py
jacopy/central/tangent/__init__.py
jacopy/central/tangent/anholonomy.py
jacopy/central/tangent/cartan.py
jacopy/central/tangent/cartan_rules.py
jacopy/central/tangent/definitions.py
jacopy/central/tangent/engine.py
jacopy/central/tangent/exterior.py
jacopy/central/tangent/lie_bracket.py
jacopy/central/tangent/schouten.py
jacopy/central/tangent/tangent_expansion.py
jacopy/core/__init__.py
jacopy/core/equality.py
jacopy/core/expr.py
jacopy/core/hodge.py
jacopy/core/indexed_sum.py
jacopy/core/multi_eval.py
jacopy/core/pairing.py
jacopy/core/properties.py
jacopy/core/registry.py
jacopy/core/symbolic_degree.py
jacopy/core/symmetrize.py
jacopy/core/tensor_product.py
jacopy/core/traverse.py
jacopy/core/wedge.py
jacopy/core/wildcards.py
jacopy/display/__init__.py
jacopy/display/ascii.py
jacopy/display/jupyter.py
jacopy/display/latex.py
jacopy/display/terminal.py
jacopy/oracle/__init__.py
jacopy/oracle/check.py
jacopy/oracle/hook.py
jacopy/oracle/realize.py
jacopy/oracle/realize_e.py
jacopy/oracle/report.py
jacopy/oracle/select.py
jacopy/oracle/values.py
jacopy/oracle/models/__init__.py
jacopy/oracle/models/algebroid.py
jacopy/oracle/models/tangent.py
jacopy/packages/__init__.py
jacopy/packages/drinfeld/__init__.py
jacopy/packages/drinfeld/abstract_double.py
jacopy/packages/drinfeld/bracket_morphism.py
jacopy/packages/drinfeld/calculus_conditions.py
jacopy/packages/drinfeld/double.py
jacopy/packages/drinfeld/examples.py
jacopy/packages/drinfeld/metric_invariance.py
jacopy/packages/drinfeld/poisson_bialgebroid.py
jacopy/packages/drinfeld/roytenberg.py
jacopy/packages/drinfeld/tilde_calculus.py
jacopy/packages/drinfeld/twist.py
jacopy/packages/generalized/__init__.py
jacopy/packages/generalized/_cited_rule.py
jacopy/packages/generalized/bourbaki_exact.py
jacopy/packages/generalized/bourbaki_precalculus.py
jacopy/packages/generalized/bourbaki_severa.py
jacopy/packages/generalized/bourbaki_structure.py
jacopy/packages/generalized/courant_axioms.py
jacopy/packages/generalized/dialect_bridge.py
jacopy/packages/generalized/dorfman_axioms.py
jacopy/packages/generalized/exact_locality_projector.py
jacopy/packages/generalized/exceptional_double.py
jacopy/packages/generalized/exceptional_rotation.py
jacopy/packages/generalized/frame_evaluation.py
jacopy/packages/generalized/general_twist.py
jacopy/packages/generalized/poisson_generalized.py
jacopy/packages/generalized/r_twisted.py
jacopy/packages/generalized/roytenberg_courant.py
jacopy/packages/generalized/standard_courant.py
jacopy/packages/generalized/twisted_courant.py
jacopy/packages/metric_affine/__init__.py
jacopy/packages/metric_affine/admissible.py
jacopy/packages/metric_affine/bianchi.py
jacopy/packages/metric_affine/component_workflow.py
jacopy/packages/metric_affine/decomposition.py
jacopy/packages/metric_affine/derived.py
jacopy/packages/metric_affine/e_bianchi.py
jacopy/packages/metric_affine/e_cartan.py
jacopy/packages/metric_affine/e_connection.py
jacopy/packages/metric_affine/e_koszul.py
jacopy/packages/metric_affine/engine.py
jacopy/packages/metric_affine/frame_components.py
jacopy/packages/metric_affine/koszul.py
jacopy/packages/metric_affine/metric.py
jacopy/packages/metric_affine/metric_affine_expansion.py
jacopy/packages/metric_affine/metric_koszul.py
jacopy/packages/metric_affine/modified.py
jacopy/packages/metric_affine/nonmetricity_forms.py
jacopy/packages/metric_affine/rules.py
jacopy/packages/metric_affine/torsion_curvature.py
jacopy/packages/poisson/__init__.py
jacopy/packages/poisson/core.py
jacopy/packages/poisson/koszul.py
jacopy/packages/poisson/koszul_forms.py
jacopy/packages/poisson/koszul_jacobi.py
jacopy/packages/poisson/nambu.py
jacopy/packages/poisson/showcase.py
jacopy/packages/poisson/symplectic.py
jacopy/packages/poisson/tilde.py
jacopy/proof/__init__.py
jacopy/proof/chain.py
jacopy/proof/diagnostic_rules.py
jacopy/proof/diagnostics.py
jacopy/proof/expansion.py
jacopy/proof/normalize.py
jacopy/proof/ownership.py
jacopy/proof/recognizers.py
jacopy/proof/registry_facts.py
jacopy/proof/replay.py
jacopy/proof/result.py
jacopy/proof/search.py
jacopy/proof/step.py
jacopy/proof/strategies.py
jacopy/proof/theorems.py
jacopy/proof/verifier.py
jacopy/research/__init__.py
jacopy/research/antisymmetrize.py
jacopy/research/axiom_suite.py
jacopy/research/block_matrix.py
jacopy/research/engine_assembly.py
jacopy/research/nambu_kind.py
jacopy/research/providers.py
jacopy/research/sections.py
jacopy/research/structure_kinds.py
tests/test_algebroid_calculus.py
tests/test_algebroid_context.py
tests/test_algebroid_declarations.py
tests/test_algebroid_defect_formulas.py
tests/test_algebroid_locality.py
tests/test_algebroid_metric.py
tests/test_algebroid_operators.py
tests/test_algebroid_projector.py
tests/test_algebroid_theorems.py
tests/test_audit_0b00e1b_algebroid_dE.py
tests/test_audit_0b00e1b_arch_core.py
tests/test_audit_0b00e1b_arch_names.py
tests/test_audit_0b00e1b_core_product_rule.py
tests/test_audit_0b00e1b_integration.py
tests/test_audit_0b00e1b_k1_3_hooks.py
tests/test_audit_0b00e1b_metric_affine.py
tests/test_audit_0b00e1b_notebooks.py
tests/test_audit_0b00e1b_p1_core.py
tests/test_audit_0b00e1b_p1_core_redesign.py
tests/test_audit_0b00e1b_p1_core_round2.py
tests/test_audit_0b00e1b_p1_core_round3.py
tests/test_audit_0b00e1b_p1_core_round4.py
tests/test_audit_0b00e1b_p1_poisson.py
tests/test_audit_0b00e1b_p1_roadmap.py
tests/test_audit_0b00e1b_proof_trust.py
tests/test_audit_0b00e1b_rules_match.py
tests/test_audit_soundness.py
tests/test_cartan_rules_docs.py
tests/test_central_audit_fixes.py
tests/test_central_connection.py
tests/test_central_forms.py
tests/test_central_frame.py
tests/test_central_interior.py
tests/test_central_metric.py
tests/test_central_musical.py
tests/test_central_objects.py
tests/test_central_products.py
tests/test_central_tensors.py
tests/test_citation_metadata.py
tests/test_citation_places.py
tests/test_citations.py
tests/test_component_workflow.py
tests/test_dialect_bridge.py
tests/test_display.py
tests/test_display_coverage.py
tests/test_display_greek.py
tests/test_display_step_labels.py
tests/test_drinfeld_abstract_double.py
tests/test_drinfeld_bialgebroid.py
tests/test_drinfeld_bracket_morphism.py
tests/test_drinfeld_calculus.py
tests/test_drinfeld_double.py
tests/test_drinfeld_examples.py
tests/test_drinfeld_metric_invariance.py
tests/test_drinfeld_roytenberg.py
tests/test_drinfeld_tilde_calculus.py
tests/test_drinfeld_twist.py
tests/test_e_connection.py
tests/test_engine_upgrades.py
tests/test_exact_locality_projector.py
tests/test_foundation.py
tests/test_generalized_bourbaki.py
tests/test_generalized_bourbaki_exact.py
tests/test_generalized_bourbaki_severa.py
tests/test_generalized_bourbaki_structure.py
tests/test_generalized_courant_axioms.py
tests/test_generalized_exceptional_double.py
tests/test_generalized_frame_evaluation.py
tests/test_generalized_general_twist.py
tests/test_generalized_poisson.py
tests/test_generalized_r_twisted.py
tests/test_generalized_roytenberg.py
tests/test_generalized_standard_courant.py
tests/test_generalized_twisted_courant.py
tests/test_grading.py
tests/test_higher_degree_audit.py
tests/test_import_isolation.py
tests/test_indexed_wedge.py
tests/test_kind.py
tests/test_metric_affine_admissible.py
tests/test_metric_affine_bianchi.py
tests/test_metric_affine_connection.py
tests/test_metric_affine_derived.py
tests/test_metric_affine_e_bianchi.py
tests/test_metric_affine_e_koszul.py
tests/test_metric_affine_frame_components.py
tests/test_metric_affine_koszul.py
tests/test_metric_affine_torsion_curvature.py
tests/test_metric_interop.py
tests/test_modified_torsion_curvature.py
tests/test_multivector_interior_forms.py
tests/test_multivector_interior_wedge.py
tests/test_normalize.py
tests/test_oracle_algebroid.py
tests/test_oracle_controls.py
tests/test_oracle_coverage.py
tests/test_oracle_exempt_marker.py
tests/test_oracle_hook.py
tests/test_oracle_independence.py
tests/test_ownership.py
tests/test_partial_eval.py
tests/test_poisson_core.py
tests/test_poisson_koszul.py
tests/test_poisson_nambu.py
tests/test_poisson_showcase.py
tests/test_poisson_symplectic.py
tests/test_poisson_tilde.py
tests/test_proof_result.py
tests/test_public_surface.py
tests/test_research_interface.py
tests/test_rule_roles.py
tests/test_structure_providers.py
tests/test_tangent_anholonomy.py
tests/test_tangent_cartan.py
tests/test_tangent_definitions.py
tests/test_tangent_exterior.py
tests/test_tangent_lie_bracket.py
tests/test_tangent_midterm_q3.py
tests/test_tangent_schouten.py
tests/test_tensor_calculus.py
tests/test_theorem_requires.py
tests/test_traverse.py