spacecore 0.2.0__tar.gz → 0.3.1__tar.gz

spacecore-0.3.1/CHANGELOG.md

@@ -0,0 +1,306 @@
+# Changelog
+
+All notable changes to SpaceCore are documented in this file.
+
+The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
+and the project adheres to [Semantic Versioning](https://semver.org/).
+
+## [0.3.1]
+
+SpaceCore 0.3.1 is a release-candidate stabilization release for the `0.3.x`
+API. It focuses on documentation consistency, tutorial execution, release
+artifact checks, and public API audit cleanup. It does not add new solver
+families or SDPLab-specific downstream integration.
+
+### Documentation
+
+- Reworked API reference landing pages for backend, context, spaces, linear
+  operators, functionals, and linalg.
+- Added design notes for context ownership, batching, and capability dispatch.
+- Clarified conversion and dtype policy documentation for explicit target
+  contexts.
+- Clarified adjoint documentation to distinguish coordinate transpose,
+  Euclidean adjoint, and metric/Riesz-represented adjoint behavior.
+
+### Examples and Tutorials
+
+- Added a SpaceCore-only weighted Tikhonov worked example demonstrating
+  weighted spaces, metric adjoints, lazy operator algebra, CG, and an
+  independent dense NumPy reference solve.
+- Integrated the weighted Tikhonov example into tests and documentation.
+
+### Testing and CI
+
+- Documentation CI now builds Sphinx with warnings as errors.
+- Release-candidate checks include full tests, strict docs build, public API
+  audit, artifact build, `twine check`, clean wheel installation, and smoke
+  testing.
+
+### Known limitations
+
+- Optional backend behavior depends on installed optional dependencies. CuPy is
+  not required for the core release-candidate gate.
+- The advanced regularized OT tutorial is an illustrative SpaceCore/JAX/Optax
+  example, not a claim that SpaceCore ships a production OT solver.
+
+## [0.3.0]
+
+SpaceCore 0.3.0 is a breaking release for the unstable `0.x` series. Space
+capabilities are now derived from actual structure, dtype, and inner product,
+and conversions rebuild spaces through public factories so stale capabilities
+are not retained.
+
+### Migration
+
+| 0.2.x | 0.3.0 |
+| --- | --- |
+| `space.eigh(x)` | `space.spectral_decompose(x)` for eigenvalues and frame |
+| `space.eigh(x)` | `space.spectrum(x)` for eigenvalues only |
+| `sc.VectorSpace((n,))` | `sc.DenseVectorSpace((n,))` |
+| `sc.VectorSpace((d, d))` | `sc.DenseCoordinateSpace((d, d))` |
+| `ProductInnerProductSpace(...)` | `ProductSpace(...)` |
+| `ProductStarSpace(...)` | `ProductSpace(...)` |
+| `ProductJordanAlgebraSpace(...)` | `ProductSpace(...)` |
+| `ProductEuclideanJordanAlgebraSpace(...)` | `ProductSpace(...)` |
+| `StackedInnerProductSpace(...)` | `StackedSpace(...)` |
+| `StackedStarSpace(...)` | `StackedSpace(...)` |
+| `StackedJordanAlgebraSpace(...)` | `StackedSpace(...)` |
+| `StackedEuclideanJordanAlgebraSpace(...)` | `StackedSpace(...)` |
+| `BatchSpace` and `space.batch(...)` | leading-axis batched arrays with `vapply(...)` / `rvapply(...)` |
+| `op.vapply(xs, batch_space=...)` | `op.vapply(xs)` |
+| global context conversion policies | explicit `Context` construction and `obj.convert(ctx)` |
+| global dtype preservation policies | target-context dtype during explicit conversion |
+
+Prominent `eigh` replacement:
+
+```python
+space.eigh(x)
+# -> space.spectral_decompose(x)  # eigenvalues and frame
+# -> space.spectrum(x)            # eigenvalues only
+```
+
+### Added
+
+- `spectrum`, `spectral_decompose`, and `from_spectrum` as the public spectral
+  contract for Jordan spaces.
+- `ElementwiseJordanSpace` for real or complex elementwise Jordan algebras.
+- `EuclideanElementwiseJordanSpace` for real Euclidean elementwise Jordan
+  algebras.
+- Jordan capability hierarchy separating `JordanAlgebraSpace` from
+  `EuclideanJordanAlgebraSpace`.
+- `ProductStructure`, `TupleStructure`, `PytreeStructure`, and
+  `ProductSpace.from_template` for structured product elements.
+- `ProductSpectralDecomposition` for product spectral data independent of
+  product element structure.
+- `StackedSpace` for leading-axis repeated leaf spaces.
+- Vectorizable axis-aware validation checks.
+- `InnerProduct.validate_for(space)` and construction-time validation for
+  `WeightedInnerProduct`.
+- `scripts/api_audit.py` for repository and downstream migration audits.
+
+### Changed
+
+- `VectorSpace` is an abstract linear-capability base.
+- Previous concrete `VectorSpace` use cases moved to `DenseVectorSpace` for
+  one-dimensional dense vectors and `DenseCoordinateSpace` for generic dense
+  coordinate arrays.
+- `DenseVectorSpace` is now a plain one-dimensional vector space with star and
+  no Jordan capability by default.
+- Elementwise Euclidean-Jordan capability is selected only for real dtype with
+  `EuclideanInnerProduct`.
+- `ProductSpace(...)` and `StackedSpace(...)` are the only public product and
+  stacked constructors; they auto-dispatch to private implementation classes.
+- `convert()` for elementwise, product, and stacked spaces recomputes
+  capabilities through public factories.
+- `ProductSpace.spectral_decompose` returns explicit product spectral data
+  rather than routing decompositions through element structure adapters.
+
+### Removed
+
+- Removed `eigh` from spaces. Use `spectral_decompose` when both eigenvalues
+  and a reconstruction frame are needed, or `spectrum` for eigenvalues only.
+- Removed public specialized product and stacked constructors from the public
+  API.
+- Removed `BatchSpace`, `Space.batch`, and `batch_space=` arguments from public
+  batching APIs. Use leading-axis vectorization through `vapply` and `rvapply`.
+- Removed global context-policy and dtype-policy APIs. Conversion now follows
+  the requested target `Context` directly.
+
+## [0.2.0]
+
+SpaceCore 0.2.0 is a major API expansion. The backend layer now sits on the
+Array API standard. Operators gained a lazy algebra with adjoint views,
+composition, sums, and scaling. A new `Functional` hierarchy provides
+scalar-valued maps with gradients and pull-backs. A new `spacecore.linalg`
+module ships four JIT-compatible iterative solvers. Spaces, operators, and
+functionals share a single validation pattern via `checked_method`, and the
+public API is documented to numpydoc standard with doctest coverage.
+
+This release introduces breaking changes; see [Migration](#migration-from-01x).
+
+### Added
+
+#### Backend
+
+- Migrated `BackendOps` to the Array API standard via `array-api-compat`.
+- `CuPyOps` and the `cupy` backend family as an optional install
+  (`pip install 'spacecore[cupy]'`).
+- `BackendOps.is_complex_dtype` for backend-aware complex detection.
+- `BackendOps.real_dtype` for extracting the real dtype matching a complex one.
+- Broadened backend coverage for array creation, dtype conversion, sparse
+  conversion, indexing, reductions, linear algebra, loop primitives
+  (`fori_loop`, `while_loop`, `cond`), tree helpers, and vectorized mapping.
+- JAX pytree registration for operator, space, and functional types so they
+  pass through `jax.jit`, `jax.vmap`, and `jax.grad` boundaries.
+
+#### Context and checking
+
+- Public free-function API in `spacecore._contextual`: `set_context`,
+  `get_context`, `resolve_context_priority`, `register_ops`, and the
+  resolution-policy accessors.
+- Extended `checked_method` to support validation against `self` and multiple
+  input argument positions.
+- Reusable space-validation checks: backend, dtype, shape, Hermitian,
+  square-matrix, product-structure, and product-component checks. Documented
+  at `docs/source/design/checking_policy.rst`.
+
+#### Spaces
+
+- `BatchSpace` for batched elements with explicit batch shape and batch-axis
+  metadata.
+
+#### Linear operators
+
+- Lazy operator algebra:
+  - `A @ B` composes operators.
+  - `A + B` sums operators.
+  - `alpha * A` scales an operator.
+  - `A.H` returns a cached adjoint view satisfying `A.H.H is A`.
+  - Algebraic simplification eliminates `I`, `Zero`, `alpha = 0`, `alpha = 1`,
+    and flattens nested sums.
+- New operator types: `IdentityLinOp`, `ZeroLinOp`, `MatrixFreeLinOp`,
+  `DiagonalLinOp`.
+- Structural `LinOp.is_hermitian()` reporting `True`, `False`, or `None`
+  (unknown) without applying incorrect Euclidean assumptions for custom space
+  geometries.
+- `LinOp.to_dense()` for materializing operators as backend arrays.
+- Product-structured operators and batched lifting:
+  - `ProductLinOp`
+  - `BlockDiagonalLinOp`
+  - `StackedLinOp`
+  - `SumToSingleLinOp`
+  - `vapply` / `rvapply` paths for batched operator application.
+
+#### Functionals
+
+- `Functional` as an abstract base for scalar-valued maps on spaces, with
+  `value`, `grad`, `hess_apply`, and batched counterparts.
+- Linear functionals: `LinearFunctional`, `InnerProductFunctional`,
+  `MatrixFreeLinearFunctional`.
+- Quadratic forms: `QuadraticForm`, `LinOpQuadraticForm`.
+- `Functional.compose` and `ComposedFunctional` for pull-backs along linear
+  operators, with specializations that preserve the concrete functional type
+  when possible.
+
+#### Linear algebra
+
+The `spacecore.linalg` module is new in 0.2.0. It provides JIT-compatible
+iterative solvers and structured result types.
+
+- Iterative solvers:
+  - `cg` for Hermitian positive-definite systems.
+  - `lsqr` for rectangular least-squares problems.
+  - `power_iteration` for dominant-eigenpair estimates of a `LinOp` or
+    `QuadraticForm`.
+  - `lanczos_smallest` for smallest-Ritz-eigenpair estimates of Hermitian
+    operators.
+  - `expm_multiply` for Krylov matrix-exponential actions `exp(t A) v` on
+    Hermitian operators, with complex `t` supported for Schrodinger-type
+    evolution.
+- Structured result types `CGResult`, `LSQRResult`, `PowerIterationResult`,
+  `LanczosResult`, and `ExpmMultiplyResult`, each carrying convergence
+  diagnostics and a compact `__repr__`.
+- Solvers are geometry-aware: norms, inner products, and the default initial
+  vector use `Space.inner` and `Space.norm` rather than assuming Euclidean
+  geometry. This makes the solvers correct on custom inner products such as
+  RKHS or weighted spaces.
+
+#### Documentation
+
+- Numpydoc-standard public docstrings with runnable doctests for solvers,
+  spaces, operators, functionals, backends, and contextual helpers.
+- API reference pages for backend ops, spaces, linear operators, functionals,
+  and linear algebra.
+- JAX integration design note at `docs/source/design/jax_integration.rst`
+  covering trace-time operator algebra and recommended JIT usage.
+- Tutorials for backend operations, linear operators, and matrix-free linalg
+  workflows.
+
+#### Tooling
+
+- Optional dependency groups: `[jax]`, `[torch]`, `[cupy]`, `[examples]`,
+  `[docs]`, `[dev]`.
+- Explicit `__all__` at the top level covering new backends, operators,
+  functionals, solvers, result types, validation checks, and contextual
+  helpers.
+- CI runs a JIT-traceability audit in `--check` mode and enforces a 70%
+  coverage floor via `pytest-cov`.
+- Cross-backend tests covering NumPy, JAX, Torch, and optional CuPy.
+
+### Changed
+
+- Restructured `_contextual` to hide implementation details while preserving
+  the public API via free functions.
+- Replaced manual `if self._enable_checks` guards with `checked_method` across
+  `Space`, `LinOp`, and `Functional`. Inline guards are now reserved for
+  non-membership checks such as dense-array assertions and custom output-shape
+  checks.
+- Improved `VectorSpace`, `HermitianSpace`, and `ProductSpace` conversion
+  behavior, validation, batching support, and docstrings.
+- Improved linear-operator equality, representation, conversion, and JAX
+  pytree behavior.
+- `spacecore.__version__` now resolves from package metadata via
+  `importlib.metadata` instead of a hand-maintained constant.
+- Bumped the package version to `0.2.0`.
+
+### Fixed
+
+- `LinOp.__eq__` returns `NotImplemented` instead of raising
+  `NotImplementedError` on the base class, so `op == None` and
+  `op in some_list` no longer raise.
+- `DenseLinOp.is_hermitian` and `SparseLinOp.is_hermitian` return `None` for
+  custom space geometries instead of applying an incorrect Euclidean
+  matrix-symmetry test.
+
+### Migration from 0.1.x
+
+- `BackendOps.eps` is now a method `eps(dtype)` rather than a property.
+  Callers must pass a dtype, typically `ctx.dtype`.
+- The implementation attribute `DenseLinOp.A` is now a `cached_property`
+  backed by `_A`. The public attribute access `op.A` is unchanged.
+- `LinOp.__eq__` returns `NotImplemented` rather than raising; downstream code
+  relying on the exception should be updated to handle the new behavior.
+- Several module-internal helpers in `spacecore._contextual` moved to private
+  modules. Use the public functions re-exported from `spacecore._contextual`
+  (`set_context`, `get_context`, `resolve_context_priority`, `register_ops`,
+  `set_resolution_policy`, and the dtype-policy accessors) rather than
+  importing from internal modules.
+
+### Known limitations
+
+- `cg`, `lsqr`, and `power_iteration` do not structurally validate operator
+  properties (positive-definiteness, full Hermiticity) and may silently
+  produce incorrect results on inputs that violate their preconditions. See
+  each function's `Notes` section for details.
+- Operator algebra runs Python-level simplification at construction time. For
+  maximum JIT efficiency, assemble operator expressions outside the
+  `jax.jit` boundary; see the JAX integration design note.
+- `MatrixFreeLinOp` stores its callables in pytree auxiliary data.
+  Constructing one inside a JIT-traced function with a new lambda each call
+  triggers retracing. Construct outside the traced region with a stable
+  callable reference.
+- The CuPy backend is provided as a preview. Coverage of non-standard
+  operations and sparse handling may evolve in a subsequent release.
+
+[0.3.0]: https://github.com/Pavlo3P/SpaceCore/releases/tag/v0.3.0
+[0.2.0]: https://github.com/Pavlo3P/SpaceCore/releases/tag/v0.2.0

spacecore-0.3.1/CONTRIBUTING.md

@@ -0,0 +1,13 @@
+# Contributing
+
+Bug reports, feature requests, and pull requests are welcome.
+
+For local development:
+
+```bash
+python -m pip install -e ".[dev,docs]"
+pytest
+ruff check .
+```
+
+Please include tests or documentation updates for behavior changes.

spacecore-0.3.1/MANIFEST.in

@@ -0,0 +1,12 @@
+include CHANGELOG.md
+include CONTRIBUTING.md
+
+recursive-include docs/source *.rst *.py *.css
+recursive-include docs/dev *.md
+recursive-include examples *.py
+recursive-include tests *.py
+recursive-include tutorials *.ipynb *.md
+
+global-exclude *.py[cod]
+global-exclude __pycache__
+global-exclude .DS_Store

spacecore-0.3.1/PKG-INFO

@@ -0,0 +1,206 @@
+Metadata-Version: 2.4
+Name: spacecore
+Version: 0.3.1
+Summary: Backend-agnostic vector spaces and linear operators.
+Author: Pavlo Pelikh
+License-Expression: Apache-2.0
+Keywords: linear-algebra,jax,pytorch,numpy,operators,spaces
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: array-api-compat>=1.14.0
+Requires-Dist: numpy>=2.0.0
+Requires-Dist: scipy>=1.17
+Provides-Extra: jax
+Requires-Dist: jax>=0.9.1; extra == "jax"
+Provides-Extra: torch
+Requires-Dist: torch>=2.0; extra == "torch"
+Provides-Extra: cupy
+Requires-Dist: cupy>=13.0; extra == "cupy"
+Provides-Extra: examples
+Requires-Dist: matplotlib>=3.8; extra == "examples"
+Requires-Dist: optax>=0.2; extra == "examples"
+Provides-Extra: docs
+Requires-Dist: sphinx>=8.0; extra == "docs"
+Requires-Dist: pydata-sphinx-theme>=0.16; extra == "docs"
+Requires-Dist: sphinx-copybutton>=0.5; extra == "docs"
+Requires-Dist: sphinx-design>=0.6; extra == "docs"
+Requires-Dist: numpydoc>=1.8; extra == "docs"
+Provides-Extra: dev
+Requires-Dist: pytest>=8.0; extra == "dev"
+Requires-Dist: pytest-cov>=5; extra == "dev"
+Requires-Dist: ruff>=0.6; extra == "dev"
+Requires-Dist: numpydoc>=1.7; extra == "dev"
+Dynamic: license-file
+
+# SpaceCore
+
+[![CI](https://github.com/Pavlo3P/SpaceCore/actions/workflows/ci.yml/badge.svg)](https://github.com/Pavlo3P/SpaceCore/actions/workflows/ci.yml)
+[![PyPI](https://img.shields.io/pypi/v/spacecore.svg)](https://pypi.org/project/spacecore/)
+[![Python](https://img.shields.io/pypi/pyversions/spacecore.svg)](https://pypi.org/project/spacecore/)
+[![License](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](LICENSE)
+
+SpaceCore provides typed vector spaces, structured elements, linear operators,
+functionals, and small linear-algebra utilities for backend-aware numerical
+code. An operator is a typed map `A : X -> Y` between spaces, not merely an
+array. Spaces carry the rules needed to validate elements, compute inner
+products, flatten structured values, and interpret adjoints.
+
+The execution backend is explicit. A `Context` owns the backend operations,
+default dtype, and validation policy used by spaces and operators. NumPy is the
+baseline backend; JAX, Torch, and CuPy are optional backends when their extras
+are installed.
+
+SpaceCore's native solvers are intentionally small. They are a correctness
+baseline and substrate layer for space-aware algorithms, not a replacement for
+mature solver ecosystems such as SciPy, PETSc, Krylov.jl, or PyLops. External
+adapters and backend-specific fast paths can be layered on top where breadth or
+performance is required.
+
+## Install
+
+```bash
+pip install spacecore
+pip install "spacecore[jax]"
+pip install "spacecore[torch]"
+pip install "spacecore[cupy]"
+```
+
+Python 3.11+ is required.
+
+## Quick Start
+
+```python
+import numpy as np
+import spacecore as sc
+
+ctx = sc.Context(sc.NumpyOps(), dtype=np.float64)
+X = sc.DenseCoordinateSpace((2,), ctx)
+A = sc.DenseLinOp(ctx.asarray([[2.0, 0.0], [0.0, 3.0]]), X, X, ctx)
+b = ctx.asarray([4.0, 9.0])
+
+result = sc.cg(A, b, tol=1e-12, maxiter=10)
+print(result.x)
+print(result.converged)
+```
+
+Expected output:
+
+```text
+[2. 3.]
+True
+```
+
+## Core Ideas
+
+**Spaces.** `DenseCoordinateSpace`, `DenseVectorSpace`,
+`ElementwiseJordanSpace`, `EuclideanElementwiseJordanSpace`, `HermitianSpace`,
+`ProductSpace`, and `StackedSpace` describe element structure and geometry.
+Dense coordinate spaces can use Euclidean or weighted inner products.
+
+```python
+import numpy as np
+import spacecore as sc
+
+ctx = sc.Context(sc.NumpyOps(), dtype=np.float64)
+weights = ctx.asarray([2.0, 5.0])
+X = sc.DenseCoordinateSpace((2,), ctx, geometry=sc.WeightedInnerProduct(weights))
+x = ctx.asarray([1.0, 2.0])
+y = ctx.asarray([3.0, 4.0])
+
+print(X.inner(x, y))
+print(X.riesz(x))
+```
+
+Expected output:
+
+```text
+46.0
+[ 2. 10.]
+```
+
+**Linear operators.** `DenseLinOp`, `SparseLinOp`, `DiagonalLinOp`,
+`MatrixFreeLinOp`, `IdentityLinOp`, `ZeroLinOp`, and the algebraic operators
+represent maps `A : X -> Y`. `apply` computes the forward map. `rapply`
+computes the metric adjoint: the coordinate conjugate transpose only agrees
+with it when both spaces use Euclidean geometry.
+
+```python
+import numpy as np
+import spacecore as sc
+
+ctx = sc.Context(sc.NumpyOps(), dtype=np.float64)
+X = sc.DenseCoordinateSpace((2,), ctx)
+A = sc.DiagonalLinOp(ctx.asarray([2.0, 3.0]), X, ctx)
+
+print(A.apply(ctx.asarray([1.0, 2.0])))
+print(A.rapply(ctx.asarray([1.0, 1.0])))
+```
+
+Expected output:
+
+```text
+[2. 6.]
+[2. 3.]
+```
+
+**Functionals.** `LinearFunctional`, `InnerProductFunctional`,
+`MatrixFreeLinearFunctional`, `QuadraticForm`, and `LinOpQuadraticForm` model
+scalar-valued maps on spaces. Gradients are represented in the domain geometry.
+
+**Linear algebra.** `cg`, `lsqr`, `lanczos_smallest`, `power_iteration`, and
+`expm_multiply` operate on SpaceCore operators and spaces. They document their
+mathematical preconditions; for example `cg` expects a square Hermitian positive
+definite map `A : X -> X` with respect to `X.inner`.
+
+**Backends.** `NumpyOps` is always available. `JaxOps`, `TorchOps`, and
+`CuPyOps` are exported only when their optional dependencies are installed.
+Backend portability means SpaceCore uses the same abstract operations and data
+model; it does not erase backend-specific dtype, device, sparse, tracing, or
+autograd behavior.
+
+## Batching
+
+A space describes one element type. Batched computation is handled by vectorized
+application methods such as `vapply`, `rvapply`, `vvalue`, and backend
+vectorization. Batching does not change the mathematical domain or codomain of
+an operator unless the operator itself is explicitly built over a stacked or
+product space.
+
+## Documentation
+
+- [Tutorials](https://pavlo3p.github.io/SpaceCore/tutorials/index.html)
+- [Design notes](https://pavlo3p.github.io/SpaceCore/design/index.html)
+- [API reference](https://pavlo3p.github.io/SpaceCore/api/index.html)
+- [Release notes](https://pavlo3p.github.io/SpaceCore/release_notes.html)
+
+## Project Status
+
+SpaceCore is experimental `0.3.x` software. Core abstractions are usable for
+research and prototyping, but API details may still change before a stable
+release.
+
+## Contributing
+
+Bug reports, feature requests, and PRs are welcome. See [CONTRIBUTING.md](CONTRIBUTING.md).
+
+## License
+
+Apache 2.0. See [LICENSE](LICENSE).
+
+## Citation
+
+```bibtex
+@software{spacecore,
+  author = {Pavlo Pelikh},
+  title = {SpaceCore: Backend-aware vector spaces and linear operators},
+  url = {https://github.com/Pavlo3P/SpaceCore},
+  year = {2026},
+}
+```