Skip to content

Commit

Permalink
build based on 0ea6f64
Browse files Browse the repository at this point in the history
  • Loading branch information
Documenter.jl committed Oct 31, 2023
1 parent 18953b7 commit 3e8936b
Show file tree
Hide file tree
Showing 9 changed files with 35 additions and 23 deletions.
2 changes: 1 addition & 1 deletion dev/.documenter-siteinfo.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-31T02:01:10","documenter_version":"1.1.2"}}
{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-31T18:52:46","documenter_version":"1.1.2"}}
6 changes: 3 additions & 3 deletions dev/api/index.html
View file

Large diffs are not rendered by default.

14 changes: 9 additions & 5 deletions dev/generated/composite_models_examples.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -418,7 +418,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"harmonic_oscillator\", \"modelreps.io/DecaExpr\", \"A Simple Harmonic Oscillator as a Diagrammatic Equation\", \"DecaExpr\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:k), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:X)), Decapodes.Var(:V)), Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:V)), Decapodes.Mult(Decapodes.Term[Decapodes.Lit(Symbol(\"-1\")), Decapodes.Var(:k), Decapodes.Var(:X)]))]))"
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"harmonic_oscillator\", \"modelreps.io/DecaExpr\", \"A Simple Harmonic Oscillator as a Diagrammatic Equation\", \"DecaExpr\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:k), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:X)), Decapodes.Var(:V)), Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:V)), Decapodes.Mult(Decapodes.Term[Decapodes.Lit(Symbol(\"-1\")), Decapodes.Var(:k), Decapodes.Var(:X)]))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[])"
},
"metadata": {},
"execution_count": 8
Expand All @@ -443,7 +443,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"fricative_heating\", \"modelreps.io/SummationDecapode\", \"Velocity makes it get hot, but you dissipate heat away from Q₀\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:κ), :Constant, :Point), Decapodes.Judgement(Decapodes.Var(:λ), :Constant, :Point), Decapodes.Judgement(Decapodes.Var(:Q₀), :Parameter, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:Q)), Decapodes.Plus(Decapodes.Term[Decapodes.App2(:*, Decapodes.Var(:κ), Decapodes.Var(:V)), Decapodes.App1(:λ, Decapodes.App2(:-, Decapodes.Var(:Q), Decapodes.Var(:Q₀)))]))]))"
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"fricative_heating\", \"modelreps.io/SummationDecapode\", \"Velocity makes it get hot, but you dissipate heat away from Q₀\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:κ), :Constant, :Point), Decapodes.Judgement(Decapodes.Var(:λ), :Constant, :Point), Decapodes.Judgement(Decapodes.Var(:Q₀), :Parameter, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:Q)), Decapodes.Plus(Decapodes.Term[Decapodes.App2(:*, Decapodes.Var(:κ), Decapodes.Var(:V)), Decapodes.App1(:λ, Decapodes.App2(:-, Decapodes.Var(:Q), Decapodes.Var(:Q₀)))]))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[])"
},
"metadata": {},
"execution_count": 9
Expand Down Expand Up @@ -521,6 +521,8 @@
" ],\n",
" \"_type\": \"OpenModel\",\n",
" \"model\": {\n",
" \"annotations\": [\n",
" ],\n",
" \"header\": {\n",
" \"description\": \"A Simple Harmonic Oscillator as a Diagrammatic Equation\",\n",
" \"name\": \"harmonic_oscillator\",\n",
Expand Down Expand Up @@ -614,6 +616,8 @@
" ],\n",
" \"_type\": \"OpenModel\",\n",
" \"model\": {\n",
" \"annotations\": [\n",
" ],\n",
" \"header\": {\n",
" \"description\": \"Velocity makes it get hot, but you dissipate heat away from Q₀\",\n",
" \"name\": \"fricative_heating\",\n",
Expand Down Expand Up @@ -1424,7 +1428,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"LinearSuperpositon\", \"modelreps.io/SummationDecapode\", \"variables be addin\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Y), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:T), :Form0, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:T), Decapodes.Plus(Decapodes.Term[Decapodes.Var(:X), Decapodes.Var(:Y)]))]))"
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"LinearSuperpositon\", \"modelreps.io/SummationDecapode\", \"variables be addin\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Y), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:T), :Form0, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:T), Decapodes.Plus(Decapodes.Term[Decapodes.Var(:X), Decapodes.Var(:Y)]))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[])"
},
"metadata": {},
"execution_count": 14
Expand Down Expand Up @@ -1481,7 +1485,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "SyntacticModels.Composites.CompositeModelExpr(SyntacticModels.AMR.Header(\"hierarchical_composite\", \"modelreps.io/Composite\", \"A hierarchical composite model of frictional heating\", \"CompositeModelExpr\", \"v0.1\"), { oscillator(X:Form0, V:Form0)\n heating(V:Form0, Q:Form0) } where {X:Form0, Q:Form0}, SyntacticModels.Composites.CompositeModel[SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"harmonic_oscillator\", \"modelreps.io/DecaExpr\", \"A Simple Harmonic Oscillator as a Diagrammatic Equation\", \"DecaExpr\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:k), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:X)), Decapodes.Var(:V)), Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:V)), Decapodes.Mult(Decapodes.Term[Decapodes.Lit(Symbol(\"-1\")), Decapodes.Var(:k), Decapodes.Var(:X)]))])), [:X, :V]), SyntacticModels.Composites.CompositeModelExpr(SyntacticModels.AMR.Header(\"heating_dynamics\", \"modelreps.io/Composite\", \"A formula for heating - cooling\", \"CompositeModelExpr\", \"v0.1\"), { drag(V:Form0, Q₊)\n cooling(Q₋, Q:Form0)\n superposition(Q₊, Q₋, Q̇) } where {V:Form0, Q:Form0}, SyntacticModels.Composites.CompositeModel[SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"DragHeat\", \"modelreps.io/SummationDecapode\", \"velocity makes it get hot\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q₊), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:κ), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:Q₊), Decapodes.App2(:*, Decapodes.Var(:κ), Decapodes.Var(:V)))])), [:V, :Q₊]), SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"NetwonCooling\", \"modelreps.io/SummationDecapode\", \"heat dissipates to the enviornment\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:Q₋), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q₀), :Parameter, :Point), Decapodes.Judgement(Decapodes.Var(:Q), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:λ), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:Q₋), Decapodes.App1(:λ, Decapodes.App2(:-, Decapodes.Var(:Q), Decapodes.Var(:Q₀))))])), [:Q₋, :Q]), SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"LinearSuperpositon\", \"modelreps.io/SummationDecapode\", \"variables be addin\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Y), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:T), :Form0, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:T), Decapodes.Plus(Decapodes.Term[Decapodes.Var(:X), Decapodes.Var(:Y)]))])), [:X, :Y, :T])])])"
"text/plain": "SyntacticModels.Composites.CompositeModelExpr(SyntacticModels.AMR.Header(\"hierarchical_composite\", \"modelreps.io/Composite\", \"A hierarchical composite model of frictional heating\", \"CompositeModelExpr\", \"v0.1\"), { oscillator(X:Form0, V:Form0)\n heating(V:Form0, Q:Form0) } where {X:Form0, Q:Form0}, SyntacticModels.Composites.CompositeModel[SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"harmonic_oscillator\", \"modelreps.io/DecaExpr\", \"A Simple Harmonic Oscillator as a Diagrammatic Equation\", \"DecaExpr\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:k), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:X)), Decapodes.Var(:V)), Decapodes.Eq(Decapodes.Tan(Decapodes.Var(:V)), Decapodes.Mult(Decapodes.Term[Decapodes.Lit(Symbol(\"-1\")), Decapodes.Var(:k), Decapodes.Var(:X)]))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[]), [:X, :V]), SyntacticModels.Composites.CompositeModelExpr(SyntacticModels.AMR.Header(\"heating_dynamics\", \"modelreps.io/Composite\", \"A formula for heating - cooling\", \"CompositeModelExpr\", \"v0.1\"), { drag(V:Form0, Q₊)\n cooling(Q₋, Q:Form0)\n superposition(Q₊, Q₋, Q̇) } where {V:Form0, Q:Form0}, SyntacticModels.Composites.CompositeModel[SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"DragHeat\", \"modelreps.io/SummationDecapode\", \"velocity makes it get hot\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:V), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q₊), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:κ), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:Q₊), Decapodes.App2(:*, Decapodes.Var(:κ), Decapodes.Var(:V)))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[]), [:V, :Q₊]), SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"NetwonCooling\", \"modelreps.io/SummationDecapode\", \"heat dissipates to the enviornment\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:Q₋), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Q₀), :Parameter, :Point), Decapodes.Judgement(Decapodes.Var(:Q), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:λ), :Constant, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:Q₋), Decapodes.App1(:λ, Decapodes.App2(:-, Decapodes.Var(:Q), Decapodes.Var(:Q₀))))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[]), [:Q₋, :Q]), SyntacticModels.Composites.OpenModel(SyntacticModels.ASKEMDecapodes.ASKEMDecaExpr(SyntacticModels.AMR.Header(\"LinearSuperpositon\", \"modelreps.io/SummationDecapode\", \"variables be addin\", \"SummationDecapode\", \"v1.0\"), Decapodes.DecaExpr(Decapodes.Judgement[Decapodes.Judgement(Decapodes.Var(:X), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:Y), :Form0, :Point), Decapodes.Judgement(Decapodes.Var(:T), :Form0, :Point)], Decapodes.Equation[Decapodes.Eq(Decapodes.Var(:T), Decapodes.Plus(Decapodes.Term[Decapodes.Var(:X), Decapodes.Var(:Y)]))]), SyntacticModels.AMR.Annotation{Symbol, Symbol}[]), [:X, :Y, :T])])])"
},
"metadata": {},
"execution_count": 15
Expand Down Expand Up @@ -2079,7 +2083,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecapode(SyntacticModels.AMR.Header(\"flattened_composite\", \"modelreps.io/Composite\", \"A flattened version of the composite_physics model.\", \"CompositeModelExpr\", \"v0.1\"), Decapodes.SummationDecapode{Any, Any, Symbol}:\n Var = 1:14\n TVar = 1:2\n Op1 = 1:3\n Op2 = 1:4\n Σ = 1:1\n Summand = 1:2\n Type = 1:0\n Operator = 1:0\n Name = 1:0\n src : Op1 → Var = [1, 2, 13]\n tgt : Op1 → Var = [2, 5, 9]\n proj1 : Op2 → Var = [6, 4, 8, 11]\n proj2 : Op2 → Var = [3, 1, 2, 10]\n res : Op2 → Var = [4, 5, 7, 13]\n incl : TVar → Var = [2, 5]\n summand : Summand → Var = [7, 9]\n summation : Summand → Σ = [1, 1]\n sum : Σ → Var = [14]\n op1 : Op1 → Operator = [:∂ₜ, :∂ₜ, :λ]\n op2 : Op2 → Operator = [:*, :*, :*, :-]\n type : Var → Type = [:Form0, :Form0, :Constant, :infer, :infer, :Literal, :Form0, :Constant, :Form0, :Parameter, :Form0, :Constant, :infer, :Form0]\n name : Var → Name = [:X, :V, :oscillator_k, :oscillator_mult_1, :oscillator_V̇, Symbol(\"-1\"), :heating_Q₊, :heating_drag_κ, :heating_Q₋, :heating_cooling_Q₀, :Q, :heating_cooling_λ, Symbol(\"heating_cooling_•1\"), :heating_Q̇])"
"text/plain": "SyntacticModels.ASKEMDecapodes.ASKEMDecapode(SyntacticModels.AMR.Header(\"flattened_composite\", \"modelreps.io/Composite\", \"A flattened version of the composite_physics model.\", \"CompositeModelExpr\", \"v0.1\"), Decapodes.SummationDecapode{Any, Any, Symbol}:\n Var = 1:14\n TVar = 1:2\n Op1 = 1:3\n Op2 = 1:4\n Σ = 1:1\n Summand = 1:2\n Type = 1:0\n Operator = 1:0\n Name = 1:0\n src : Op1 → Var = [1, 2, 13]\n tgt : Op1 → Var = [2, 5, 9]\n proj1 : Op2 → Var = [6, 4, 8, 11]\n proj2 : Op2 → Var = [3, 1, 2, 10]\n res : Op2 → Var = [4, 5, 7, 13]\n incl : TVar → Var = [2, 5]\n summand : Summand → Var = [7, 9]\n summation : Summand → Σ = [1, 1]\n sum : Σ → Var = [14]\n op1 : Op1 → Operator = [:∂ₜ, :∂ₜ, :λ]\n op2 : Op2 → Operator = [:*, :*, :*, :-]\n type : Var → Type = [:Form0, :Form0, :Constant, :infer, :infer, :Literal, :Form0, :Constant, :Form0, :Parameter, :Form0, :Constant, :infer, :Form0]\n name : Var → Name = [:X, :V, :oscillator_k, :oscillator_mult_1, :oscillator_V̇, Symbol(\"-1\"), :heating_Q₊, :heating_drag_κ, :heating_Q₋, :heating_cooling_Q₀, :Q, :heating_cooling_λ, Symbol(\"heating_cooling_•1\"), :heating_Q̇], SyntacticModels.AMR.Annotation{Symbol, Symbol}[])"
},
"metadata": {},
"execution_count": 18
Expand Down
Loading

0 comments on commit 3e8936b

Please sign in to comment.