Test LotkaVolterra4dLagrangian

[finmod]

Can you give a reference in the docs for this problem?

Also, the problem is now formulated in math terms using Symbolics.jl and moving away from MTK.jl. I suggest using and testing modelingtoolkitize to preserve the generality of GeometricProblems.

[michakraus]

We are planning to revise the whole GeometricProblems package, including adding proper docs and references for all problems. We are currently working on a "new" package https://github.com/JuliaGNI/EulerLagrange.jl to be able to add new problems more easily by providing just the Lagrangian or Hamiltonian and generating all the code automatically. LotkaVolterra4dLagrangian has been a kind of proof-of-principle for this endeavor.

Unfortunately, I am not aware of a reference for the Lagrangian formulation for the Lotka-Volterra problem in 4d (or rather arbitrary even dimensions). I cooked this up some time ago by analogy with the 2d Lagrangian...

[finmod]

EulerLagrange.jl is a great initiative to setting up n-dimensional systems in a blink and without coding mistakes. It should be general enough to formulate problems with Lagrange-D'Alembert principle and nonholonomic constraints as in: https://www.fields.utoronto.ca/programs/scientific/12-13/Marsden/presentations/MartindeDiego.pdf

[michakraus]

Yes, that is no problem at all and only requires implementing a proper type for Lagrange-d'Alembert systems. We are currently working on adding support for parameters in the Lagrangian and code generation for discrete Lagrangians, with Lagrange-d'Alembert and Hamilton-Pontryagin systems planned for the future.

[finmod]

@michakraus I noted today the EulerLagrange extension to DegerateLagrangian. Great! The test of EulerLagrange passes.

However, when I tried to test GeometricProblems to see if DegenerateLagrangian works there on LotkaVolterra4dLagrangian , the test fails.

[9a962f9c] DataAPI v1.15.0 [864edb3b] DataStructures v0.18.16 [e2d170a0] DataValueInterfaces v1.0.0 [55939f99] DecFP v1.3.2 [8bb1440f] DelimitedFiles v1.9.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [b4f34e82] Distances v0.10.11 [31c24e10] Distributions v0.25.107 [ffbed154] DocStringExtensions v0.9.3 [e30172f5] Documenter v1.2.1 [5b8099bc] DomainSets v0.6.7 [fa6b7ba4] DualNumbers v0.6.8 [7c1d4256] DynamicPolynomials v0.5.3 [4e289a0a] EnumX v1.0.4 [e2ba6199] ExprTools v0.1.10 [7a1cc6ca] FFTW v1.7.2 [442a2c76] FastGaussQuadrature v1.0.1 [057dd010] FastTransforms v0.15.16 [1a297f60] FillArrays v1.9.3 [6a86dc24] FiniteDiff v2.22.0 [59287772] Formatting v0.4.2 [f6369f11] ForwardDiff v0.10.36 [069b7b12] FunctionWrappers v1.1.3 [77dc65aa] FunctionWrappersWrappers v0.1.3 [46192b85] GPUArraysCore v0.1.5 [a8297547] GenericFFT v0.1.6 [14197337] GenericLinearAlgebra v0.3.11 [9a0b12b7] GeometricBase v0.9.1 [c85262ba] GeometricEquations v0.14.3 [dcce2d33] GeometricIntegrators v0.13.0 [18cb22b4] GeometricProblems v0.5.7 [7843afe4] GeometricSolutions v0.3.19 [d7ba0133] Git v1.3.0 [f67ccb44] HDF5 v0.17.1 [34004b35] HypergeometricFunctions v0.3.23 [b5f81e59] IOCapture v0.2.3 [615f187c] IfElse v0.1.1 [4858937d] InfiniteArrays v0.13.4 [e1ba4f0e] Infinities v0.1.8 [8197267c] IntervalSets v0.7.8 [92d709cd] IrrationalConstants v0.2.2 [c8e1da08] IterTools v1.10.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.5.0 [682c06a0] JSON v0.21.4 [b964fa9f] LaTeXStrings v1.3.1 [2ee39098] LabelledArrays v1.15.0 [984bce1d] LambertW v0.4.6 [23fbe1c1] Latexify v0.16.1 [0e77f7df] LazilyInitializedFields v1.2.2 [50d2b5c4] Lazy v0.15.1 [5078a376] LazyArrays v1.8.3 [d3d80556] LineSearches v7.2.0 [2ab3a3ac] LogExpFunctions v0.3.26 [3da0fdf6] MPIPreferences v0.1.10 [1914dd2f] MacroTools v0.5.12 [d0879d2d] MarkdownAST v0.1.2 [a3b82374] MatrixFactorizations v2.1.0 [442fdcdd] Measures v0.3.2 [e1d29d7a] Missings v1.1.0 [102ac46a] MultivariatePolynomials v0.5.4 [d8a4904e] MutableArithmetics v1.4.0 [d41bc354] NLSolversBase v7.8.3 [2774e3e8] NLsolve v4.5.1 [77ba4419] NaNMath v1.0.2 [6fe1bfb0] OffsetArrays v1.13.0 [bac558e1] OrderedCollections v1.6.3 [90014a1f] PDMats v0.11.31 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.1 [f27b6e38] Polynomials v4.0.6 [d236fae5] PreallocationTools v0.4.17 [aea7be01] PrecompileTools v1.2.0 [21216c6a] Preferences v1.4.1 [08abe8d2] PrettyTables v2.3.1 [92933f4c] ProgressMeter v1.9.0 [1fd47b50] QuadGK v2.9.3 [a08977f5] QuadratureRules v0.1.6 [c4ea9172] QuasiArrays v0.11.4 [3cdcf5f2] RecipesBase v1.3.4 [731186ca] RecursiveArrayTools v3.5.2 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [ae029012] Requires v1.3.0 [79098fc4] Rmath v0.7.1 [fb486d5c] RungeKutta v0.5.13 [7e49a35a] RuntimeGeneratedFunctions v0.5.12 [1bc83da4] SafeTestsets v0.1.0 [0bca4576] SciMLBase v2.18.0 [c0aeaf25] SciMLOperators v0.3.7 [efcf1570] Setfield v1.1.1 [36b790f5] SimpleSolvers v0.3.3 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.3.1 [90137ffa] StaticArrays v1.9.0 [1e83bf80] StaticArraysCore v1.4.2 [82ae8749] StatsAPI v1.7.0 [2913bbd2] StatsBase v0.34.2 [4c63d2b9] StatsFuns v1.3.0 [892a3eda] StringManipulation v0.3.4 [2efcf032] SymbolicIndexingInterface v0.3.3 [d1185830] SymbolicUtils v1.5.0 [0c5d862f] Symbolics v5.16.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.11.1 [a759f4b9] TimerOutputs v0.5.23 [c751599d] ToeplitzMatrices v0.8.3 [410a4b4d] Tricks v0.1.8 [781d530d] TruncatedStacktraces v1.4.0 [3a884ed6] UnPack v1.0.2 [a7c27f48] Unityper v0.1.6 [47200ebd] DecFP_jll v2.0.3+1 [2e619515] Expat_jll v2.5.0+0 [f5851436] FFTW_jll v3.3.10+0 [34b6f7d7] FastTransforms_jll v0.6.2+0 [f8c6e375] Git_jll v2.43.0+0 [0234f1f7] HDF5_jll v1.14.3+0 [1d5cc7b8] IntelOpenMP_jll v2024.0.2+0 [1d63c593] LLVMOpenMP_jll v15.0.7+0 [94ce4f54] Libiconv_jll v1.17.0+0 [856f044c] MKL_jll v2024.0.0+0 [7cb0a576] MPICH_jll v4.1.2+1 [f1f71cc9] MPItrampoline_jll v5.3.1+1 [9237b28f] MicrosoftMPI_jll v10.1.4+1 [fe0851c0] OpenMPI_jll v4.1.6+0 [458c3c95] OpenSSL_jll v3.0.12+0 [efe28fd5] OpenSpecFun_jll v0.5.5+0 [f50d1b31] Rmath_jll v0.4.0+0 [477f73a3] libaec_jll v1.0.6+1 [0dad84c5] ArgTools v1.1.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [8ba89e20] Distributed [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [9fa8497b] Future [b77e0a4c] InteractiveUtils [4af54fe1] LazyArtifacts [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [1a1011a3] SharedArrays [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [4607b0f0] SuiteSparse [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.0.5+1 [781609d7] GMP_jll v6.2.1+6 [deac9b47] LibCURL_jll v8.4.0+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [3a97d323] MPFR_jll v4.2.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [14a3606d] MozillaCACerts_jll v2023.1.10 [4536629a] OpenBLAS_jll v0.3.23+2 [05823500] OpenLibm_jll v0.8.1+2 [efcefdf7] PCRE2_jll v10.42.0+1 [bea87d4a] SuiteSparse_jll v7.2.1+1 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.8.0+1 [8e850ede] nghttp2_jll v1.52.0+1 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Precompiling project... 38 dependencies successfully precompiled in 113 seconds. 168 already precompiled. Testing Running tests... Test Summary: | Pass Total Time Harmonic Oscillator | 21 21 49.7s Test Summary: | Pass Total Time Lorenz Attractor | 2 2 7.4s Test Summary: | Pass Total Time Lotka-Volterra 2D | 5 5 32.8s Test Summary: | Pass Total Time Lotka-Volterra 2D with singular Lagrangian | 5 5 24.4s Test Summary: | Pass Total Time Lotka-Volterra 2D with symmetric Lagrangian | 5 5 24.9s Test Summary: | Pass Total Time Lotka-Volterra 2D with symmetric Lagrangian with gauge terms | 5 5 25.3s Test Summary: | Pass Total Time Lotka-Volterra 3D | 6 6 8.9s Test Summary: | Pass Total Time Lotka-Volterra 4D | 5 5 34.5s Lotka-Volterra 4D (Lagrangian) : Error During Test at C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\lotka_volterra_4d_lagrangian_tests.jl:12 Got exception outside of a @test UndefVarError: inject_registered_module_functions not defined Stacktrace: [1] getproperty @ .\Base.jl:31 [inlined] [2] macro expansion @ C:\Users\Denis.julia\packages\RuntimeGeneratedFunctions\Yo8zx\src\RuntimeGeneratedFunctions.jl:125 [inlined] [3] get_functions(A::Matrix{Rational{Int64}}, B::Matrix{Int64}, a::Vector{Float64}, b::Vector{Float64}) @ GeometricProblems.LotkaVolterra4dLagrangian C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\src\lotka_volterra_4d_lagrangian.jl:175 [4] lotka_volterra_4d_ode(q₀::Vector{Float64}, A::Matrix{Rational{Int64}}, B::Matrix{Int64}; tspan::Tuple{Float64, Float64}, tstep::Float64, parameters::@NamedTuple{a₁::Float64, a₂::Float64, a₃::Float64, a₄::Float64, b₁::Float64, b₂::Float64, b₃::Float64, b₄::Float64}) @ GeometricProblems.LotkaVolterra4dLagrangian C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\src\lotka_volterra_4d_lagrangian.jl:197 [5] lotka_volterra_4d_ode (repeats 2 times) @ GeometricProblems.LotkaVolterra4dLagrangian C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\src\lotka_volterra_4d_lagrangian.jl:195 [inlined] [6] lotka_volterra_4d_ode() @ GeometricProblems.LotkaVolterra4dLagrangian C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\src\lotka_volterra_4d_lagrangian.jl:195 [7] macro expansion @ C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\lotka_volterra_4d_lagrangian_tests.jl:13 [inlined] [8] macro expansion @ C:\Users\Denis.julia\juliaup\julia-1.10.0+0.x64.w64.mingw32\share\julia\stdlib\v1.10\Test\src\Test.jl:1577 [inlined] [9] top-level scope @ C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\lotka_volterra_4d_lagrangian_tests.jl:13 [10] include(mod::Module, _path::String) @ Base .\Base.jl:495 [11] include(x::String) @ Main.var"##Lotka-Volterra 4D (Lagrangian) #233" C:\Users\Denis.julia\packages\SafeTestsets\raUNr\src\SafeTestsets.jl:28 [12] macro expansion @ C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\runtests.jl:12 [inlined] [13] macro expansion @ C:\Users\Denis.julia\juliaup\julia-1.10.0+0.x64.w64.mingw32\share\julia\stdlib\v1.10\Test\src\Test.jl:1577 [inlined] [14] macro expansion @ C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\runtests.jl:12 [inlined] [15] top-level scope @ C:\Users\Denis.julia\packages\SafeTestsets\raUNr\src\SafeTestsets.jl:30 [16] eval(m::Module, e::Any) @ Core .\boot.jl:385 [17] top-level scope @ C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\runtests.jl:28 [18] include(fname::String) @ Base.MainInclude .\client.jl:489 [19] top-level scope @ none:6 [20] eval @ Core .\boot.jl:385 [inlined] [21] exec_options(opts::Base.JLOptions) @ Base .\client.jl:291 [22] _start() @ Base .\client.jl:552 Test Summary: | Error Total Time Lotka-Volterra 4D (Lagrangian) | 1 1 57.5s Lotka-Volterra 4D (Lagrangian) | 1 1 56.3s ERROR: LoadError: Some tests did not pass: 0 passed, 0 failed, 1 errored, 0 broken. in expression starting at C:\Users\Denis.julia\packages\GeometricProblems\9rOhq\test\runtests.jl:12 ERROR: Package GeometricProblems errored during testing

(@v1.10) pkg>

[michakraus]

Thanks for reporting. This is due to some changes in Symbolics.jl. I already fixed this last week, but so far it is only in main. I have not yet triggered a release as there is also a problem with the docs... I will try to take care of this asap.