From b55dace8ff472b4f4819548cb32916c5f06608ea Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Jul 2018 17:07:26 +0200
Subject: [PATCH] debugging
---
source/Charge.en.tex | 6 ++++--
source/DeviceGeometry.en.tex | 11 ++++++-----
source/Displacement.en.tex | 2 +-
source/FermiPotentialElectrons.en.tex | 2 +-
source/FermiPotentialHoles.en.tex | 2 +-
source/PhysicalConstants.en.tex | 4 ++--
source/PhysicalConstants.tex | 9 ++++++---
7 files changed, 21 insertions(+), 15 deletions(-)
diff --git a/source/Charge.en.tex b/source/Charge.en.tex
index b333f53..cf3844a 100644
--- a/source/Charge.en.tex
+++ b/source/Charge.en.tex
@@ -2,8 +2,10 @@
\begin{definition}
The \defii{total}{charge} denoted by $\TotalCharge$ describes the net charge entering
the right hand side of the Poisson equation. It is composed by the
- \trefii[DopingProfile]{doping}{profile} and the \adefii[Densities]{electron}{electron}{density}
- and \atrefii[Densities]{hole densities}{hole}{density} by $\TotalCharge
+ \trefii[DopingProfile]{doping}{profile} and the
+ \atrefii[DensityElectrons]{electron}{electron}{density} and
+ \atrefii[DensityHoles]{hole densities}{hole}{density} by
+ $\TotalCharge
=\realtimes{-\ElementaryCharge,\realminus{\realplus{\DopingProfile,\DensityHoles},\DensityElectrons}}$.
\end{definition}
\end{mhmodnl}
diff --git a/source/DeviceGeometry.en.tex b/source/DeviceGeometry.en.tex
index 07be37d..e63f8ef 100644
--- a/source/DeviceGeometry.en.tex
+++ b/source/DeviceGeometry.en.tex
@@ -1,11 +1,12 @@
\begin{mhmodnl}{DeviceGeometry}{en}
\begin{definition}
An important \trefii[Device]{device}{property} is the spatial geometry. It is modelled
- by a \defi{domain} $\sseteq\DeviceDomain{\ndim{3}\RealNumbers}$ that has special regularity
- properties.\ednote{I think we want to also introduce a theory \texttt{OneDDevice} as a
- 3D device with lots of symmetry. And we should have a view that relates
- $\DeviceDomain$ to an interval in this case. The theory \texttt{OneDDevice} should
- also introduce ``top'' and ``bottom'' and also 0 and $L$ via the view.}
+ by a \defi{domain} $\sseteq\DeviceDomain{\ndim\RealNumbers{3}}$ that has special
+ regularity properties.\ednote{I think we want to also introduce a theory
+ \texttt{OneDDevice} as a 3D device with lots of symmetry. And we should have a view
+ that relates $\DeviceDomain$ to an interval in this case. The theory
+ \texttt{OneDDevice} should also introduce ``top'' and ``bottom'' and also 0 and $L$
+ via the view.}
\end{definition}
\end{mhmodnl}
diff --git a/source/Displacement.en.tex b/source/Displacement.en.tex
index 2125bcf..50a9136 100644
--- a/source/Displacement.en.tex
+++ b/source/Displacement.en.tex
@@ -2,7 +2,7 @@
\begin{definition}
Expression for electric displacement denoted by
$\ElectricDisplacement =
- \uminus\DielectricPermitivity d/dx \ElectrostaticPotential$
+ \realuminus\DielectricPermitivity d/dx \ElectrostaticPotential$
\end{definition}
\end{mhmodnl}
diff --git a/source/FermiPotentialElectrons.en.tex b/source/FermiPotentialElectrons.en.tex
index e41beb9..29fdf37 100644
--- a/source/FermiPotentialElectrons.en.tex
+++ b/source/FermiPotentialElectrons.en.tex
@@ -1,6 +1,6 @@
\begin{mhmodnl}{FermiPotentialElectrons}{en}
\begin{definition}
- The \defiii{Fermi}{Potential}{Electrons} usually denoted by $\QFPn$ is a function
+ The \defiii{Fermi}{Potential}{Electrons} usually denoted by $\QFPnOp$ is a function
describing the variation of the quasi-Fermi potentials of the electrons across the
domain $\DeviceDomain$. It is linked to the quasi-Fermi level of the electrons which
controls the occupation of the conduction band and is a measure for the electron density
diff --git a/source/FermiPotentialHoles.en.tex b/source/FermiPotentialHoles.en.tex
index 2fdb227..d397e9b 100644
--- a/source/FermiPotentialHoles.en.tex
+++ b/source/FermiPotentialHoles.en.tex
@@ -1,6 +1,6 @@
\begin{mhmodnl}{FermiPotentialHoles}{en}
\begin{definition}
- The \defiii{Fermi}{Potential}{Holes} usually denoted by $\QFPp$ is a function describing
+ The \defiii{Fermi}{Potential}{Holes} usually denoted by $\QFPpOp$ is a function describing
the variation of the quasi-Fermi potentials of the holes across the domain
$\DeviceDomain$. It is linked to the quasi-Fermi level of the holes which controls the
occupation of the valance band. Its gradient is the driving force of the hole current.
diff --git a/source/PhysicalConstants.en.tex b/source/PhysicalConstants.en.tex
index 3350987..51361ca 100644
--- a/source/PhysicalConstants.en.tex
+++ b/source/PhysicalConstants.en.tex
@@ -14,7 +14,7 @@
in the amount of substance given by one mole.
The accepted value of $\AvogadroConst$ is
- $\quantityof{\scinotation{6.022140857}{23}}{\frac1\mole}$
+ $\quantityof{\scinotation{6.022140857}{23}}{\frac1\SImole}$
\end{definition}
\begin{definition}
@@ -26,7 +26,7 @@
particles at the stated temperature is being considered.
The accepted value of $\GasConst$ is
- $\quantityof{8.3144598}{\frac\Joule{\atimes{\mole\Kelvin}}}$
+ $\quantityof{8.3144598}{\frac\Joule{\atimes{\SImole\Kelvin}}}$
\end{definition}
\begin{definition}
diff --git a/source/PhysicalConstants.tex b/source/PhysicalConstants.tex
index b636b8a..2a8e3f4 100644
--- a/source/PhysicalConstants.tex
+++ b/source/PhysicalConstants.tex
@@ -3,6 +3,7 @@
\gimport[smglom/arithmetics]{scinotation}
\importmhmodule[repos=BaseMH/physics,path=units/en/energy]{energy}
\importmhmodule[repos=BaseMH/physics,path=units/en/temperature]{temperature}
+ \importmhmodule[repos=BaseMH/physics,path=units/en/substance-amount]{substance-amount}
\symdef[name=vacuum-dielectric-permitivity]{VacuumDielectricPermitivity}{\varepsilon_0}
\symtest{VacuumDielectricPermitivity}{\VacuumDielectricPermitivity}
@@ -10,12 +11,14 @@
\symtest{ElementaryCharge}{\ElementaryCharge}
\symdef[name=gas-constant]{GasConst}{\text{R}}
- \symvariant{GasConst}{bar}{\text{\overline{R}}}
+ \symtest[name=gas-constantt]{GasConst}{\GasConst}
+ \symvariant{GasConst}{bar}{\overline{\text{R}}}
+ \symtest[variant=bar]{GasConst}{\GasConst[bar]}
- \symdef[name=Avogadro-constant]{AvogadroConst}{N_A}
+ \symdef[name=Avogadro-constant]{AvogadroConst}{N_A}
\symvariant{AvogadroConst}{l}{L}
- \symdef[name=Boltzmann-constant]{BoltzmannConst}{k_B}
+ \symdef[name=Boltzmann-constant,align=Boltzmann_constant]{BoltzmannConst}{k_B}
\symtest{BoltzmannConst}{\BoltzmannConst}
\symvariant{BoltzmannConst}{noB}{k}
\symtest[variant=noB]{BoltzmannConst}{\BoltzmannConst[noB]}
--
GitLab