odeanalysis 0.1.0__py3-none-any.whl

odeanalysis-0.1.0.dist-info/METADATA

@@ -0,0 +1,180 @@
+Metadata-Version: 2.4
+Name: odeanalysis
+Version: 0.1.0
+Summary: Symbolic formal and structural analysis of ODEs and differential systems
+Author-email: Bhuvanesh Bhatt <bhuvaneshbhatt@gmail.com>
+License-Expression: GPL-3.0-only
+Project-URL: Homepage, https://github.com/BhuvaneshBhatt/odeanalysis
+Project-URL: Documentation, https://github.com/BhuvaneshBhatt/odeanalysis/tree/main/docs
+Project-URL: Repository, https://github.com/BhuvaneshBhatt/odeanalysis
+Project-URL: Issues, https://github.com/BhuvaneshBhatt/odeanalysis/issues
+Keywords: ordinary differential equations,symbolic computation,asymptotics,singularities,monodromy,Stokes phenomena
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: sympy>=1.12
+Requires-Dist: funcprops>=0.3.0
+Requires-Dist: semialg>=1.3.0
+Provides-Extra: test
+Requires-Dist: pytest>=8; extra == "test"
+Requires-Dist: hypothesis>=6; extra == "test"
+Provides-Extra: asymptotic
+Requires-Dist: asymptotic>=0.2.0; extra == "asymptotic"
+Provides-Extra: certified
+Requires-Dist: python-flint>=0.9.0; extra == "certified"
+Provides-Extra: dev
+Requires-Dist: build>=1.2; extra == "dev"
+Requires-Dist: ruff>=0.16; extra == "dev"
+Requires-Dist: twine>=6; extra == "dev"
+Dynamic: license-file
+
+# odeanalysis
+
+`odeanalysis` is a SymPy-based package for exact symbolic, formal, structural,
+and certified analysis of **scalar linear ODEs** and **first-order linear
+differential systems**. It is designed for structural questions—singularities,
+Frobenius/Levelt data, Newton and Levelt--Turrittin structure, Stokes geometry,
+turning points, parameter transitions, exact continuation in selected families,
+and rigorously enclosed numerical transport—not as a generic nonlinear ODE
+solver.
+
+The package distinguishes exact, certified-formal, certified-semialgebraic,
+certified-numerical, structural, and incomplete results. See the
+[certification model](./docs/certification-model.md) before interpreting a
+`complete`, `certified`, or `structural_only` field.
+
+## Choose a workflow
+
+| Starting point | First guide | Typical public entry points |
+| --- | --- | --- |
+| Scalar equation/operator | [Scalar workflow](./docs/scalar-workflow.md) | `analyze_ode_singularities`, `frobenius_analysis`, `differential_newton_polygon` |
+| `Y' = A(x)Y+b(x)` | [System workflow](./docs/system-workflow.md) | `analyze_system_singularity`, `formal_system_analysis`, `system_stokes_geometry` |
+| Symbolic parameters | [Parameter workflow](./docs/parameter-workflow.md) | `local_parameter_analysis`, `system_formal_type_stratification`, `parameterized_turning_analysis` |
+| Rigorous numerical transport | [Certified continuation](./docs/certified-continuation.md) | `certified_system_continuation` |
+
+The [documentation index](./docs/index.md) gives the complete map.
+
+## Capability overview
+
+| Capability | Scalar | Systems | Parameters | Evidence |
+| --- | --- | --- | --- | --- |
+| Local singularity classification | Yes | Yes | Yes | Exact where valuations decide |
+| Frobenius / residue-Levelt structure | Yes | Yes | Yes | Exact / bounded formal |
+| Irregular formal analysis | Yes | Yes | Yes | Exact formal within stated bounds |
+| Ramification and exponential parts | Yes | Yes | Yes | Verified formal reduction |
+| Structural Stokes geometry | Yes | Yes | Yes | Structural, not generic analytic constants |
+| Turning points / uniform WKB | Yes | Via scalarization/model-specific paths | Yes | Exact local structure + formal models |
+| Scalar ↔ system interoperability | Companion form | Cyclic scalarization | Bounded by cyclicity proof | Exact transformation replay |
+| Canonical recognition | Selected families | Via scalarization where applicable | Partial | Exact pullback verification |
+| Exact continuation | Selected canonical families | Selected inherited cases | Partial | Exact formulas |
+| Certified numerical continuation | — | Constant homogeneous systems | — | Arb complex-ball enclosure |
+| Generic analytic Stokes matrices | No | No | No | Requires stronger global analytic certification |
+| Nonlinear ODEs | No | No | No | Outside scope |
+
+The theorem-level boundary is in [capabilities and limitations](./docs/capabilities.md).
+
+## Installation
+
+```bash
+python -m pip install odeanalysis
+```
+
+Python 3.11+ is required. Core dependencies are SymPy, `funcprops`, and
+`semialg`. Rigorous ball continuation uses:
+
+```bash
+python -m pip install "odeanalysis[certified]"
+```
+
+## Scalar quick start
+
+```python
+import sympy as sp
+from odeanalysis import analyze_ode_singularities, frobenius_analysis
+
+x = sp.symbols("x")
+y = sp.Function("y")
+ode = x**2*sp.diff(y(x), x, 2) + x*sp.diff(y(x), x) + (x**2-1)*y(x)
+
+singularities = analyze_ode_singularities(ode, y, x)
+frobenius = frobenius_analysis(ode, y, x, point=0, terms=6)
+```
+
+Continue with [local analysis](./docs/local-analysis.md),
+[Fuchsian analysis](./docs/fuchsian-analysis.md), [Newton invariants](./docs/newton-invariants.md),
+[formal asymptotics](./docs/formal-asymptotics.md), [turning points](./docs/turning-points.md),
+[canonical equations](./docs/canonical-equations.md), and
+[analytic continuation](./docs/analytic-continuation.md).
+
+## System quick start
+
+```python
+import sympy as sp
+from odeanalysis import FirstOrderSystem, analyze_system_singularity, formal_system_analysis, system_stokes_geometry
+
+x = sp.symbols("x")
+system = FirstOrderSystem(x, sp.ImmutableMatrix.diag(x**-2, -x**-2))
+local = analyze_system_singularity(system, 0)
+formal = formal_system_analysis(system, 0, adaptive=True)
+stokes = system_stokes_geometry(formal)
+assert formal.certificate.verified
+```
+
+The system guides are [singularities](./docs/system-singularities.md),
+[formal reduction](./docs/system-formal-analysis.md), [Stokes geometry](./docs/system-stokes.md),
+and [parameter stratification](./docs/system-parameters.md). The overview remains in
+[systems](./docs/systems.md) and the deeper reducer reference is
+[Levelt--Turrittin](./docs/levelt-turrittin.md).
+
+## Parameter quick start
+
+```python
+from odeanalysis import system_formal_type_stratification
+
+a = sp.symbols("a", real=True)
+family = FirstOrderSystem(x, sp.ImmutableMatrix.diag(a/x, -a/x))
+strata = system_formal_type_stratification(family, (a,), max_resonance_order=2)
+```
+
+A formal-type stratum certifies a **discrete bounded signature**: singularity
+kind, leading rank, spectral multiplicity pattern, resonance orders within the
+configured bound, ramification, block dimensions, exponential-block data, and
+structural Stokes combinatorics. Continuously varying exponent values are not
+claimed to be constant merely because a cell is open.
+
+## Certified numerical continuation
+
+```python
+from odeanalysis import certified_system_continuation
+
+constant = FirstOrderSystem(x, sp.ImmutableMatrix([[0, 1], [0, 0]]))
+transport = certified_system_continuation(constant, 0, 2, precision_bits=192)
+```
+
+The current certified backend is deliberately narrow: for constant homogeneous
+systems it encloses `exp((b-a)A)` with Arb complex balls. Variable-coefficient
+validated integration is refused rather than replaced by tolerance-only
+floating-point integration. See [certified continuation](./docs/certified-continuation.md).
+
+## Examples, verification, and boundaries
+
+Start with the [example gallery](./docs/example-gallery.md) and
+[worked failures](./docs/worked-failures.md). The older compact
+[examples reference](./docs/examples.md) is retained for API-oriented snippets.
+
+For evidence semantics and conventions see [verification](./docs/verification.md),
+[mathematical conventions](./docs/conventions.md), [API classification](./docs/api-classification.md), [public API index](./docs/api-reference.md),
+[architecture](./docs/architecture.md), and [traceability](./docs/traceability.md).
+[Dominance](./docs/dominance.md) documents sector ordering, and the
+[user guide](./docs/user-guide.md) remains a broad reference.
+
+## License
+
+GPL-3.0-only. See `LICENSE`.

odeanalysis-0.1.0.dist-info/RECORD

@@ -0,0 +1,49 @@
+odeanalysis/__init__.py,sha256=LSFREgi8ArCMdGXqOg7HNNRq_fKxLv4GkfXiRvNHDQA,8066
+odeanalysis/_api_policy.py,sha256=4yUWxUYpEJtogHzK7sFrNDp5vJJQ0USHTLH-3qiMlW8,7893
+odeanalysis/_assumptions.py,sha256=AsQ5xY-nOi5XaPq0bv5kE5p9_CTV4kGYWeVYzqsJglw,3362
+odeanalysis/_block_common.py,sha256=vwZQCzMu5-uH79_PoTJ_EKKDNYWej4WQE8dLvmHbBVM,3311
+odeanalysis/_formal_gauge.py,sha256=JKi-w2tE1w1dPIUNIeFdvCdl5h2zRLVDIan7whO9fDM,4076
+odeanalysis/_local.py,sha256=1QAceK4eFmgnEemyZv-Rrzye3UMGB67OK9BJdHy40sA,5515
+odeanalysis/_moser.py,sha256=x1iuGKLLp39Af_D5xbqaIxGgW1ayvHuCEKXb0Oc4gkU,9192
+odeanalysis/_power_simplify.py,sha256=tWvWitpe0AtMrVQ0F69FRQv4C-F8O_i48n0FlHUyWUU,1145
+odeanalysis/_spectral.py,sha256=zNJr9aBNgln0ZLiPaEjQxAVp7P_Odgx13ccueocctdk,7523
+odeanalysis/_symbolic_compare.py,sha256=oMZu5jpwP4nBq4TrJhv2nM5zZiVFpzfjg8xgUbzla3Q,446
+odeanalysis/_symbolic_errors.py,sha256=sn5HDzgAHpFw0fp85zKsxAeFK_NGtOimbrMnyvR0WYI,511
+odeanalysis/_zero.py,sha256=2Cygkzno1yKnTSnTcu2IIkhjCE1iZQ2DkUnRSjMC5uc,800
+odeanalysis/analytic_continuation.py,sha256=LCNdUZZ-40SNbM9ojAx0ANkfww4FpynbADVNE1zVquc,12498
+odeanalysis/bell.py,sha256=H2c0P8nfW-fnNqvZf4IJrabQOHhLx1nCLE5b_2z5EMs,2760
+odeanalysis/block_decomposition.py,sha256=oJB08q4bpcTuDBvbtWu7ri3wn87KRF0f1Xv2VZ24lzA,41532
+odeanalysis/canonical.py,sha256=IMkgVFD9fvSfwGqV5BB-RyjKtg2LQtJH3eeHbWudtvg,16808
+odeanalysis/certified_continuation.py,sha256=iEm_2rg00oNGxnqehzAYkJDd-tLU3aM8jL-oM50pAe4,5184
+odeanalysis/diagnostics.py,sha256=1KcRtZ1PUmYRYm9U3zE2UKNlAl1s3msalgpqH3xJ9Jk,408
+odeanalysis/dominance.py,sha256=iLAGmm585o2mSLIIjiNIFdr1zhf5xZ9DgjnW-PEyY90,4408
+odeanalysis/factorization.py,sha256=uATx1LurIzEwK11aa26d_DdaQj2TV2f1ydQoUkvxa10,3093
+odeanalysis/formal.py,sha256=2ZLMyR1xk2xcEMYdWp7bgENt-1HueThXpHNXow5LvNU,36807
+odeanalysis/formal_basis.py,sha256=b5PkjReSKNz9L-B4d6ewgCY6qwmPPOfa9yjuGDLXHhE,36796
+odeanalysis/frobenius.py,sha256=5oHDcxyD9tE1KO-AUPdqVhHmxoRB172c2B651gRHjNg,11593
+odeanalysis/fuchsian.py,sha256=RiDPDv8XoQZZsQSF9WvuJJAdv8zS345VKZMbOObazgM,13314
+odeanalysis/interchange.py,sha256=3iSnKKcyuZaLMA730oWSVH9f2H3PID5wj73O8VUxyT4,22498
+odeanalysis/interoperability.py,sha256=bMZPHiz9fsN1MIwHd-Fx4atmgAairVcvIPtBU-EORiA,4922
+odeanalysis/irregular.py,sha256=8i1_2e1gtXjWRUFk_ZO5T0uUx5KOw4uN0QD-C6YhPUA,8667
+odeanalysis/kovacic.py,sha256=TwFiKxI0_JjAD4vUDDzggi5rVkui8czRYAEcf7k--_w,16481
+odeanalysis/levelt.py,sha256=coO-xyifd208JZI8Uq9k8j5Wn0yFJ-iaqwLwpBv_tIM,24686
+odeanalysis/local_analysis.py,sha256=ZDMPxqVbLUBXpxqVBejfde5pZFnu5NjH5t13tdXB4lk,13841
+odeanalysis/local_structure.py,sha256=jBpc3ZbLFPBBrZyaLM1EGEKc3GS873CAr3hU2ePH7KA,10528
+odeanalysis/matrix_series.py,sha256=6Y0EBeMgiM6PqIH1RXgalRCCvZua5_GNhLT36I8E-7I,12983
+odeanalysis/newton.py,sha256=HxBvZ4Gop0qrXhlKiPff0kqeVFneXGgo54-Tryvko14,16750
+odeanalysis/operator.py,sha256=l7pWUVZw_kMJEtvgYfOo_v9m7MR-enpsrAC40gwddn0,7148
+odeanalysis/parameter_wkb.py,sha256=o4zE3FdzTbeJtLkQc-DpkY7hW4HBsb_iFEtVNiKegMA,3247
+odeanalysis/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+odeanalysis/series.py,sha256=hh2zH4GOPHqw62OEv9CZzWyYOnFo7uDIiOoHByezyvI,6824
+odeanalysis/singularities.py,sha256=kTWFAYbe5PV1VV1NFIwyMzWPsxsnYcGcjkv_5XGlIhQ,8909
+odeanalysis/stokes.py,sha256=WmYTWcQ00ki_UW6QBAa-zd3n2gvrXZ6yC9E_q1x2Pbc,29491
+odeanalysis/system.py,sha256=ZcC3DbKALRj6ff-ZktoM-tzEhLl24p2JhlMCpeM5AHs,12683
+odeanalysis/system_analysis.py,sha256=wq7x1o_YiSx085p1b59M2oEFR3ZmW8RbGyom7Nr26XY,21828
+odeanalysis/transition_loci.py,sha256=tmceFYTJysGpuS_lIEIEgGq1IzkjtDOkFhgZ7MQ8Mp8,11721
+odeanalysis/turning.py,sha256=erjz-H30kx-PNxfpOEqOO9oRkYefZ8WnNhm1L5VXpnk,18243
+odeanalysis/wronskian.py,sha256=fs0CcgqhB6FVbJdQxnJoPkbVeaOAnzD9vyNZBs_sG4E,3937
+odeanalysis-0.1.0.dist-info/licenses/LICENSE,sha256=sK9DawbJdOPTZI-T1wvMZR7bQVXC_DaJ3qYOK_rrXyU,35223
+odeanalysis-0.1.0.dist-info/METADATA,sha256=tOcYcHzY9OkQSzyWuQwBDeXi3D7sC-cmk6zweDABg5s,8300
+odeanalysis-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+odeanalysis-0.1.0.dist-info/top_level.txt,sha256=X7hf1HCGLf3CxoCWtt1ML8af5JoAnN15avwZHbmTfGo,12
+odeanalysis-0.1.0.dist-info/RECORD,,

odeanalysis-0.1.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+