sugar

Author: ocots

docs/src/assets/Manifest.toml

@@ -2,7 +2,7 @@
 
 julia_version = "1.11.7"
 manifest_format = "2.0"
-project_hash = "065c5ff164fc1623d5f59149cbffa347e8e4b04a"
+project_hash = "9b6e0817ee9912a4be0b8035c284f9703f84de08"
 
 [[deps.ADNLPModels]]
 deps = ["ADTypes", "ForwardDiff", "LinearAlgebra", "NLPModels", "Requires", "ReverseDiff", "SparseArrays", "SparseConnectivityTracer", "SparseMatrixColorings"]
@@ -192,9 +192,9 @@ weakdeps = ["HTTP", "JSON"]
 
 [[deps.CTDirect]]
 deps = ["CTBase", "CTModels", "DocStringExtensions", "HSL", "MKL", "SparseArrays"]
-git-tree-sha1 = "4a670a973d901dc38ca4f86fbf3967c1f0ae97bb"
+git-tree-sha1 = "5f7bd0cc0a2b4ff09a6621071bdc07aa121349a2"
 uuid = "790bbbee-bee9-49ee-8912-a9de031322d5"
-version = "0.17.1"
+version = "0.17.2"
 weakdeps = ["ADNLPModels", "ExaModels", "MadNLPMumps", "NLPModelsIpopt", "NLPModelsKnitro"]
 
     [deps.CTDirect.extensions]
@@ -228,9 +228,9 @@ weakdeps = ["JLD2", "JSON3", "Plots"]
 
 [[deps.CTParser]]
 deps = ["CTBase", "DocStringExtensions", "MLStyle", "OrderedCollections", "Parameters", "Unicode"]
-git-tree-sha1 = "507a19db4be22ac5aa6967d78c97e68fd95a670a"
+git-tree-sha1 = "7e95684a3b47015e3d2feac81292a89d60a9dae6"
 uuid = "32681960-a1b1-40db-9bff-a1ca817385d1"
-version = "0.6.4"
+version = "0.7.0"
 
 [[deps.Cairo_jll]]
 deps = ["Artifacts", "Bzip2_jll", "CompilerSupportLibraries_jll", "Fontconfig_jll", "FreeType2_jll", "Glib_jll", "JLLWrappers", "LZO_jll", "Libdl", "Pixman_jll", "Xorg_libXext_jll", "Xorg_libXrender_jll", "Zlib_jll", "libpng_jll"]
@@ -1230,9 +1230,9 @@ version = "2.41.1+0"
 
 [[deps.Libtiff_jll]]
 deps = ["Artifacts", "JLLWrappers", "JpegTurbo_jll", "LERC_jll", "Libdl", "XZ_jll", "Zlib_jll", "Zstd_jll"]
-git-tree-sha1 = "4ab7581296671007fc33f07a721631b8855f4b1d"
+git-tree-sha1 = "f04133fe05eff1667d2054c53d59f9122383fe05"
 uuid = "89763e89-9b03-5906-acba-b20f662cd828"
-version = "4.7.1+0"
+version = "4.7.2+0"
 
 [[deps.Libuuid_jll]]
 deps = ["Artifacts", "JLLWrappers", "Libdl"]
@@ -2220,6 +2220,11 @@ weakdeps = ["SparseArrays", "StaticArraysCore"]
     SciMLOperatorsSparseArraysExt = "SparseArrays"
     SciMLOperatorsStaticArraysCoreExt = "StaticArraysCore"
 
+[[deps.SciMLPublic]]
+git-tree-sha1 = "ed647f161e8b3f2973f24979ec074e8d084f1bee"
+uuid = "431bcebd-1456-4ced-9d72-93c2757fff0b"
+version = "1.0.0"
+
 [[deps.SciMLStructures]]
 deps = ["ArrayInterface"]
 git-tree-sha1 = "566c4ed301ccb2a44cbd5a27da5f885e0ed1d5df"
@@ -2365,10 +2370,10 @@ uuid = "860ef19b-820b-49d6-a774-d7a799459cd3"
 version = "1.0.3"
 
 [[deps.Static]]
-deps = ["CommonWorldInvalidations", "IfElse", "PrecompileTools"]
-git-tree-sha1 = "f737d444cb0ad07e61b3c1bef8eb91203c321eff"
+deps = ["CommonWorldInvalidations", "IfElse", "PrecompileTools", "SciMLPublic"]
+git-tree-sha1 = "1e44e7b1dbb5249876d84c32466f8988a6b41bbb"
 uuid = "aedffcd0-7271-4cad-89d0-dc628f76c6d3"
-version = "1.2.0"
+version = "1.3.0"
 
 [[deps.StaticArrayInterface]]
 deps = ["ArrayInterface", "Compat", "IfElse", "LinearAlgebra", "PrecompileTools", "Static"]

docs/src/assets/Project.toml

@@ -33,7 +33,7 @@ CTBase = "0.16"
 CTDirect = "0.17"
 CTFlows = "0.8"
 CTModels = "0.6"
-CTParser = "0.6"
+CTParser = "0.7"
 CommonSolve = "0.2"
 DataFrames = "1"
 DifferentiationInterface = "0.7"

docs/src/manual-ai-ded.md

@@ -3,14 +3,20 @@
 Using now common models from AI, it is an elementary task to have such an agent learn the syntax of OptimalControl.jl DSL, then use the agent to translate standard math into this DSL. Here is a typical prompt, pointing to the [DSL syntax](@ref manual-abstract-syntax):
 
 ```
-learn the syntax of optimalcontrol.jl dsl described at the link below to translate math into this dsl (julia language):
-https://control-toolbox.org/OptimalControl.jl/stable/manual-abstract.html
+Learn the syntax of OptimalControl.jl DSL described at the link below 
+to translate math into this DSL (Julia language): 
+https://control-toolbox.org/OptimalControl.jl/stable/manual-abstract.html.
 ```
 
 Now, here is an extract of, *e.g.*, [claude.ai](https://claude.ai) answer (Sonnet 4 model) to the request below:
 
 ```
-translate the problem below into this DSL: minimise the final time tf under the constraint q''(t) = u(t) with -1 <= u(t) <= 1, q(0) = 1, q'(0) = -2, q(tf) = 3, q'(tf) = 1, and q'(t) <= 1
+Translate the problem below into this DSL:
+
+    minimise the final time tf 
+    under the constraint q''(t) = u(t) 
+    with -1 <= u(t) <= 1, 
+    q(0) = 1, q'(0) = -2, q(tf) = 3, q'(tf) = 1, and q'(t) <= 1.
 ```
 
 ```julia
@@ -48,7 +54,7 @@ end
 The answer is syntactically correct and can be updated, for instance according to the new request below:
 
 ```
-use a form compatible with examodels
+Use a form compatible with examodels.
 ```
 
 ```julia