Skip to content

[V3] Phase 1: Differential Geometry Refactoring - Remove Type Wrappers #148

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ocots merged 21 commits into from
Dec 20, 2025
Merged

[V3] Phase 1: Differential Geometry Refactoring - Remove Type Wrappers #148

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
d1de703
Update CTFlows.jl
ocots Dec 18, 2025
f4120e7
Add DifferentiationInterface dependency for unified ad() implementation
ocots Dec 18, 2025
5c9edc7
Add unified ad() function with prefix system
ocots Dec 18, 2025
4a01dc4
Remove ⋅ operator (Lie derivative operator)
ocots Dec 18, 2025
eac5eb7
WIP: Clean state with ad() function working
ocots Dec 18, 2025
e6df957
Complete V3 differential geometry refactoring
ocots Dec 18, 2025
79542b0
Use default functions __autonomous() and __variable() in V3 different…
ocots Dec 19, 2025
8553d11
Remove differential geometry wrappers from src/types.jl
ocots Dec 19, 2025
4761c50
Finalize V3 refactoring: Update utils and tests
ocots Dec 19, 2025
2f74298
Add __backend() default function and use it consistently
ocots Dec 19, 2025
0a1c9d9
Use DifferentiationInterface.gradient with backend in Poisson()
ocots Dec 19, 2025
7423108
Add scalar support to Poisson() via ctgradient refactoring
ocots Dec 19, 2025
444081f
Refactor to use type dispatch instead of if/else branches
ocots Dec 19, 2025
888b90e
Add comprehensive tests and type safety for differential geometry V3
ocots Dec 19, 2025
cfdabcc
docs: improve docstrings for prefix system and ad() in differential_g…
ocots Dec 19, 2025
a98bebf
docs: add example to Poisson() with type parameters
ocots Dec 20, 2025
a191505
docs: add docstrings for first two _Poisson() internal methods
ocots Dec 20, 2025
1c941dc
docs: add docstrings for last two _Poisson() internal methods
ocots Dec 20, 2025
d7c5aa3
docs: complete final docstrings for ∂ₜ and @Lie macro
ocots Dec 20, 2025
b6ca7d5
docs: add comprehensive differential geometry user guide
ocots Dec 20, 2025
b241258
foo
ocots Dec 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion Project.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,10 @@ authors = ["Olivier Cots <olivier.cots@toulouse-inp.fr>"]
version = "0.8.9"

[deps]
ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"
CTBase = "54762871-cc72-4466-b8e8-f6c8b58076cd"
CTModels = "34c4fa32-2049-4079-8329-de33c2a22e2d"
DifferentiationInterface = "a0c0ee7d-e4b9-4e03-894e-1c5f64a51d63"
DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
ForwardDiff = "f6369f11-7733-5829-9624-2563aa707210"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
Expand All @@ -19,12 +21,14 @@ OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed"
CTFlowsODE = "OrdinaryDiffEq"

[compat]
ADTypes = "1"
CTBase = "0.16"
CTModels = "0.6"
DifferentiationInterface = "0.7"
DocStringExtensions = "0.9"
ForwardDiff = "0.10, 1.0"
LinearAlgebra = "1"
MLStyle = "0.4"
MacroTools = "0.5"
OrdinaryDiffEq = "6"
OrdinaryDiffEq = "6, 7"
julia = "1.10"
3 changes: 2 additions & 1 deletion docs/Project.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
[deps]
CTFlows = "1c39547c-7794-42f7-af83-d98194f657c2"
CTModels = "34c4fa32-2049-4079-8329-de33c2a22e2d"
Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
DocumenterMermaid = "a078cd44-4d9c-4618-b545-3ab9d77f9177"
Expand All @@ -8,5 +9,5 @@ OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed"
CTModels = "0.6"
Documenter = "1"
DocumenterMermaid = "0.2"
OrdinaryDiffEq = "6"
OrdinaryDiffEq = "6, 7"
julia = "1.10"
13 changes: 12 additions & 1 deletion docs/make.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
using Pkg
Pkg.activate(@__DIR__)
Pkg.develop(PackageSpec(; path=joinpath(@__DIR__, "..")))
Pkg.instantiate()

using Documenter
using DocumenterMermaid
using CTFlows
Expand Down Expand Up @@ -41,7 +46,13 @@ makedocs(;
asset("https://control-toolbox.org/assets/js/documentation.js"),
],
),
pages=["Introduction" => "index.md", "API" => API_PAGES],
pages=[
"Introduction" => "index.md",
"User Guide" => [
"Differential Geometry" => "differential-geometry-guide.md",
],
"API" => API_PAGES,
],
)

deploydocs(; repo=repo_url * ".git", devbranch="main")
Loading
Loading