From 9ba6c95a832a3a7ca30036accfb684342448eb7c Mon Sep 17 00:00:00 2001
From: Student-A <ai.aleryani@jacobs-university.de>
Date: Mon, 13 Aug 2018 13:12:39 +0200
Subject: [PATCH] adds missing roles

---
 source/mmt/Example.mmt        |  2 +-
 source/mmt/VanRoosbrockEg.mmt | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/source/mmt/Example.mmt b/source/mmt/Example.mmt
index 91e79a6..8824dd2 100644
--- a/source/mmt/Example.mmt
+++ b/source/mmt/Example.mmt
@@ -101,5 +101,5 @@ theory FreeFallOnEarthModel =
 	
 	gravity: $ Acceleration (Vector 3) ❘ # g ❘ = (◁ 0.0, -9.81, 0.0) ! (metres /'' seconds ²'')❙
 	
-  equation_of_motion: ⊦ x ≐ x_0 '+' (v_0 '*' t) '+' g '*∘' (t '*' t '/' (2.0 ? units)) ❙
+  equation_of_motion: ⊦ x ≐ x_0 '+' (v_0 '*' t) '+' g '*∘' (t '*' t '/' (2.0 ? units)) ❘ role Law ❙
 ❚
diff --git a/source/mmt/VanRoosbrockEg.mmt b/source/mmt/VanRoosbrockEg.mmt
index b7b4ea0..23b1eae 100755
--- a/source/mmt/VanRoosbrockEg.mmt
+++ b/source/mmt/VanRoosbrockEg.mmt
@@ -74,23 +74,23 @@ theory VanRoosbrockEg : qe:?ModelBase =
 	include ur:?LF ❙
 	include qe:?BoundaryConditionBase❙
 
-	permitivity_relation: ⊦ ε_s ≐ ε_r '*' ε_0  ❘ role Law❙
+	permitivity_relation: ⊦ ε_s ≐ ε_r '*' ε_0  ❘ role Law ❙
 	
 	displacement_law: ⊦ D ≐ ε_s '∘*. E ❘ role Law ❙	
 	
 	gauss_law: ⊦ -. ρ ≐ ∇⋅. D ❘ role Law❙ 
  	
-	charge_density_law: {x: Ω}⊦ ρ x ≐ e '*' (C x '-' n x) ❙
+	charge_density_law: {x: Ω}⊦ ρ x ≐ e '*' (C x '-' n x) ❘ role Law ❙
 	
-	displacement_relation: ⊦ D ≐ ε_s '∘*. E❙
+	displacement_relation: ⊦ D ≐ ε_s '∘*. E ❘ role Law❙
 	
-	electric_field_law: ⊦ E ≐ -. ∇. Ψ ❙
+	electric_field_law: ⊦ E ≐ -. ∇. Ψ ❘ role Law❙
 	
-	electron_density_law: {x: Ω} ⊦ n x ≐ N_c x '*' (exp ((e '*' (Ψ x '-' φ_n x) '-' E_c x) '/' (k_B '*' T x)))❙
+	electron_density_law: {x: Ω} ⊦ n x ≐ N_c x '*' (exp ((e '*' (Ψ x '-' φ_n x) '-' E_c x) '/' (k_B '*' T x))) ❘ role Law ❙
 	
-	electron_current: ⊦ j_n ≐ ((e '∘*. μ_n .*. n) .*. (∇. φ_n)) ❙
+	electron_current: ⊦ j_n ≐ ((e '∘*. μ_n .*. n) .*. (∇. φ_n)) ❘ role Law  ❙
 	
-	electron_continuity_eqn:  ⊦ ∇⋅. j_n ≐ ([x: Ω] 0.0 ? units)  | Ω ❘ role Condition ❙
+	electron_continuity_eqn:  ⊦ ∇⋅. j_n ≐ ([x: Ω] 0.0) ❘ role Law ❙
 	
 	two_potential_at_boundary : Dirichlet Ψ ([x: ∂Ω] 2.0 ? volts)❙
 	
-- 
GitLab