Skip to content
Snippets Groups Projects
Commit 71f0f8b3 authored by Dennis Müller's avatar Dennis Müller
Browse files

somewhat cleaned up, more to follow

parent 2196302b
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 145 additions and 8825 deletions
content/http..mathhub.info/MitM/Models/$Physical$Constants.omdoc
+ 2
− 2
View file @ 71f0f8b3
......@@ -3,7 +3,7 @@
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models" module="Permittivity" name="permittivity_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#462.10.33:477.10.48"/></metadata></om:OMS></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="ε_0"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#491.11.1:534.11.44"/></metadata>The elementary charge (denoted by <unparsed>None</unparsed>)</opaque><constant name="elementary_charge">
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#491.11.1:534.11.44"/></metadata>The elementary charge (denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models" module="PhysicalConstants" name="elementary_charge"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#529.-1.-1:529.-1.-1"/></metadata></om:OMS></om:OMOBJ>)</opaque><constant name="elementary_charge">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#536.12.1:581.12.46"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#556.12.21:572.12.37"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
......@@ -11,7 +11,7 @@
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="q"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#585.13.3:639.13.57"/></metadata>The Boltzmann constant (usually denoted by <unparsed>None</unparsed>)</opaque><constant name="Boltzmann_constant">
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#585.13.3:639.13.57"/></metadata>The Boltzmann constant (usually denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models" module="PhysicalConstants" name="Boltzmann_constant"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#632.-1.-1:634.-1.1"/></metadata></om:OMS></om:OMOBJ>)</opaque><constant name="Boltzmann_constant">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#641.14.1:700.14.60"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#662.14.22:689.14.49"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
......
content/http..mathhub.info/MitM/Models/continuity/$Continuity$Boundary$Conditions$Electrons.omdoc
+ 10
− 10
View file @ 71f0f8b3
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="ContinuityBoundaryConditionsElectrons" base="http://mathhub.info/MitM/Models/continuity" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1269.42.0:1584.48.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceOperationState"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1329.43.1:1365.43.37"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1369.44.2:1413.44.46"/></metadata>Boundary condition for the top contact.</opaque><constant name="potential_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1415.45.1:1471.45.57"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1431.45.17:1450.45.36"/></metadata>
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="ContinuityBoundaryConditionsElectrons" base="http://mathhub.info/MitM/Models/continuity" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1272.42.0:1587.48.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceOperationState"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1332.43.1:1368.43.37"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1372.44.2:1416.44.46"/></metadata>Boundary condition for the top contact.</opaque><constant name="potential_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1418.45.1:1474.45.57"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1434.45.17:1453.45.36"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1431.45.17:1432.45.18"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1434.45.20:1450.45.36"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1434.45.17:1435.45.18"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1437.45.20:1453.45.36"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_bottom"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1456.45.42:1458.45.44"/></metadata></om:OMS></om:OMOBJ></definition>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_bottom"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1459.45.42:1461.45.44"/></metadata></om:OMS></om:OMOBJ></definition>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="φ_n_1"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1474.46.2:1521.46.49"/></metadata>Boundary condition for the bottom contact.</opaque><constant name="potential_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1523.47.1:1582.47.60"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1542.47.20:1561.47.39"/></metadata>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1477.46.2:1524.46.49"/></metadata>Boundary condition for the bottom contact.</opaque><constant name="potential_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1526.47.1:1585.47.60"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1545.47.20:1564.47.39"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1542.47.20:1543.47.21"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1545.47.23:1561.47.39"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1545.47.20:1546.47.21"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1548.47.23:1564.47.39"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_top"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1567.47.45:1569.47.47"/></metadata></om:OMS></om:OMOBJ></definition>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_top"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1570.47.45:1572.47.47"/></metadata></om:OMS></om:OMOBJ></definition>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="φ_n_2"> <scope languages="" priority="0"/> </notation></notations>
</constant></theory></omdoc>
\ No newline at end of file
content/http..mathhub.info/MitM/Models/continuity/$Continuity$Boundary$Conditions$Holes.omdoc
+ 10
− 10
View file @ 71f0f8b3
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="ContinuityBoundaryConditionsHoles" base="http://mathhub.info/MitM/Models/continuity" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1712.53.0:2021.59.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceOperationState"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1768.54.1:1804.54.37"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1807.55.1:1851.55.45"/></metadata>Boundary condition for the top contact.</opaque><constant name="potential_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1853.56.1:1909.56.57"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1869.56.17:1888.56.36"/></metadata>
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="ContinuityBoundaryConditionsHoles" base="http://mathhub.info/MitM/Models/continuity" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1715.53.0:2024.59.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceOperationState"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1771.54.1:1807.54.37"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1810.55.1:1854.55.45"/></metadata>Boundary condition for the top contact.</opaque><constant name="potential_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1856.56.1:1912.56.57"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1872.56.17:1891.56.36"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1869.56.17:1870.56.18"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1872.56.20:1888.56.36"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1872.56.17:1873.56.18"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1875.56.20:1891.56.36"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_bottom"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1894.56.42:1896.56.44"/></metadata></om:OMS></om:OMOBJ></definition>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_bottom"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1897.56.42:1899.56.44"/></metadata></om:OMS></om:OMOBJ></definition>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="φ_p_1"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1911.57.1:1958.57.48"/></metadata>Boundary condition for the bottom contact.</opaque><constant name="potential_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1960.58.1:2019.58.60"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1979.58.20:1998.58.39"/></metadata>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1914.57.1:1961.57.48"/></metadata>Boundary condition for the bottom contact.</opaque><constant name="potential_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1963.58.1:2022.58.60"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1982.58.20:2001.58.39"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1979.58.20:1980.58.21"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1982.58.23:1998.58.39"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1982.58.20:1983.58.21"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#1985.58.23:2001.58.39"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_top"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#2004.58.45:2006.58.47"/></metadata></om:OMS></om:OMOBJ></definition>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_top"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/continuity.mmt#2007.58.45:2009.58.47"/></metadata></om:OMS></om:OMOBJ></definition>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="φ_p_2"> <scope languages="" priority="0"/> </notation></notations>
</constant></theory></omdoc>
\ No newline at end of file
content/http..mathhub.info/MitM/Models/device/$Device$Geometry.omdoc
+ 1
− 1
View file @ 71f0f8b3
......@@ -2,7 +2,7 @@
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#376.12.1:400.12.25"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#390.12.15:397.12.22"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="arrow"></om:OMS>
<om:OMS base="http://mathhub.info/MitM/Foundation" module="Literals" name="real_lit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#390.12.15:390.12.15"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MitM/Foundation" module="Logic" name="bool"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#394.12.19:397.12.22"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MitM/Foundation" module="RealLiterals" name="real_lit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#390.12.15:390.12.15"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MitM/Foundation" module="Logic" name="bool"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#394.12.19:397.12.22"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
......
content/http..mathhub.info/MitM/Models/device/$Device$Operation$State.omdoc
+ 12
− 12
View file @ 71f0f8b3
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="DeviceOperationState" base="http://mathhub.info/MitM/Models/device" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1463.51.0:1925.62.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceGeometry"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1506.52.1:1530.52.25"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1533.53.1:1590.53.58"/></metadata>The global temperature of the device denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="temperature"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1585.-1.-1:1585.-1.-1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="temperature">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1624.55.1:1662.55.39"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1638.55.15:1653.55.30"/></metadata>
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="DeviceOperationState" base="http://mathhub.info/MitM/Models/device" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1466.51.0:1928.62.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceGeometry"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1509.52.1:1533.52.25"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1536.53.1:1593.53.58"/></metadata>The global temperature of the device denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="temperature"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1588.-1.-1:1588.-1.-1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="temperature">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1627.55.1:1665.55.39"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1641.55.15:1656.55.30"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1638.55.15:1639.55.16"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItemperature"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1641.55.18:1653.55.30"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1641.55.15:1642.55.16"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItemperature"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1644.55.18:1656.55.30"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="T"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1664.56.1:1728.56.65"/></metadata>The applied voltage at the bottom contact denoted by <unparsed>None</unparsed>.</opaque><constant name="voltage_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1730.57.1:1777.57.48"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1747.57.18:1766.57.37"/></metadata>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1667.56.1:1731.56.65"/></metadata>The applied voltage at the bottom contact denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_bottom"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1724.-1.-1:1726.-1.1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="voltage_bottom">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1733.57.1:1780.57.48"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1750.57.18:1769.57.37"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1747.57.18:1748.57.19"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1750.57.21:1766.57.37"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1750.57.18:1751.57.19"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1753.57.21:1769.57.37"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="U_1"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1779.58.1:1840.58.62"/></metadata>The applied voltage at the top contact denoted by <unparsed>None</unparsed>.</opaque><constant name="voltage_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1842.59.1:1886.59.45"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1856.59.15:1875.59.34"/></metadata>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1782.58.1:1843.58.62"/></metadata>The applied voltage at the top contact denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceOperationState" name="voltage_top"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1836.-1.-1:1838.-1.1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="voltage_top">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1845.59.1:1889.59.45"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1859.59.15:1878.59.34"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1856.59.15:1857.59.16"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1859.59.18:1875.59.34"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1859.59.15:1860.59.16"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="ElectricPotential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1862.59.18:1878.59.34"/></metadata></om:OMS>
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="U_2"> <scope languages="" priority="0"/> </notation></notations>
......
content/http..mathhub.info/MitM/Models/device/$Doping$Profile.omdoc
+ 7
− 4
View file @ 71f0f8b3
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="DopingProfile" base="http://mathhub.info/MitM/Models/device" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1138.40.0:1311.45.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceGeometry"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1174.41.1:1198.41.25"/></metadata></import><import from="http://mathhub.info/MitM/Models?Density"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1201.42.1:1222.42.22"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1226.43.2:1266.43.42"/></metadata>The doping profile, denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DopingProfile" name="doping_profile"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1261.-1.-1:1261.-1.-1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="doping_profile">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1268.44.1:1309.44.42"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1285.44.18:1300.44.33"/></metadata>
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="DopingProfile" base="http://mathhub.info/MitM/Models/device" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1138.40.0:1314.45.1"/></metadata><import from="http://mathhub.info/MitM/Models/device?DeviceGeometry"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1174.41.1:1198.41.25"/></metadata></import><import from="http://mathhub.info/MitM/Models?Density"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1201.42.1:1222.42.22"/></metadata></import><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1226.43.2:1266.43.42"/></metadata>The doping profile, denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/device" module="DopingProfile" name="doping_profile"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1261.-1.-1:1261.-1.-1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="doping_profile">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1268.44.1:1312.44.45"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1285.44.18:1303.44.36"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="arrow"></om:OMS>
<om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceGeometry" name="domain"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1285.44.18:1285.44.18"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1290.44.23:1300.44.33"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MitM/Models/device" module="DeviceGeometry" name="domain"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1285.44.18:1285.44.18"/></metadata></om:OMS><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1290.44.23:1303.44.36"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1290.44.23:1291.44.24"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/device.mmt#1293.44.26:1303.44.36"/></metadata></om:OMS>
</om:OMA>
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="C"> <scope languages="" priority="0"/> </notation></notations>
......
content/http..mathhub.info/MitM/Models/poisson/$Poisson$Parameters.omdoc
+ 4
− 4
View file @ 71f0f8b3
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="PoissonParameters" base="http://mathhub.info/MitM/Models/poisson" meta="http://mathhub.info/MitM/Models?Base"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#259.7.0:565.12.1"/></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#302.8.4:371.8.73"/></metadata>The relative dielelectric permitivity constant denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/poisson" module="PoissonParameters" name="relative_dielectric_permittivity"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#364.-1.-1:366.-1.1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="relative_dielectric_permittivity">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#373.9.1:426.9.54"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Foundation" module="Literals" name="real_lit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#408.9.36:415.9.43"/></metadata></om:OMS></om:OMOBJ></type>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Foundation" module="RealLiterals" name="real_lit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#408.9.36:415.9.43"/></metadata></om:OMS></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="ε_r"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#428.10.1:495.10.68"/></metadata>The static dielelectric permitivity constant denoted by <unparsed>None</unparsed>.</opaque><constant name="dielectric_permittivity">
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#428.10.1:495.10.68"/></metadata>The static dielelectric permitivity constant denoted by <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/poisson" module="PoissonParameters" name="dielectric_permittivity"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#488.-1.-1:490.-1.1"/></metadata></om:OMS></om:OMOBJ>.</opaque><constant name="dielectric_permittivity">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#497.11.1:563.11.67"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models" module="Permittivity" name="permittivity_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#523.11.27:538.11.42"/></metadata></om:OMS></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/poisson.mmt#544.11.48:552.11.56"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QENMul"></om:OMS><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimDiv"></om:OMS><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#559.12.24:572.12.37"/></metadata>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimDiv"></om:OMS><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#465.13.33:478.13.46"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimTimes"></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SIcurrent"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#1207.43.32:1215.43.40"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItime"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#1219.43.44:1224.43.49"/></metadata></om:OMS>
</om:OMA><om:OMA>
......@@ -29,7 +29,7 @@
</om:OMA><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItime"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#865.32.46:870.32.51"/></metadata></om:OMS>
</om:OMA>
</om:OMA><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SIlength"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#1260.44.32:1267.44.39"/></metadata></om:OMS>
</om:OMA><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/constants.mmt#559.12.24:572.12.37"/></metadata>
</om:OMA><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#465.13.33:478.13.46"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimTimes"></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SIcurrent"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#1207.43.32:1215.43.40"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItime"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MMT/physics-units/Dimensions.mmt#1219.43.44:1224.43.49"/></metadata></om:OMS>
</om:OMA>
......
content/http..mathhub.info/MitM/Models/recombination/$Recombination.omdoc
+ 1
− 1
View file @ 71f0f8b3
......@@ -65,7 +65,7 @@
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QESubtract"></om:OMS><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMV name="/I/11"></om:OMV><om:OMV name="x"></om:OMV>
</om:OMA><om:OMLIT type="http://mathhub.info/MitM/Foundation?Literals?pos_lit" value="1"/><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#598.15.9:688.15.99"/></metadata>
</om:OMA><om:OMLIT type="http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit" value="1"/><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#598.15.9:688.15.99"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMV name="exponential"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#599.15.10:609.15.20"/></metadata></om:OMV><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#611.15.22:687.15.98"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
......
content/http..mathhub.info/MitM/Models/recombination/$Spontaneous$Recombination.omdoc
+ 29
− 5
View file @ 71f0f8b3
......@@ -9,16 +9,40 @@
</om:OMA></om:OMOBJ></type>
<notations><notation dimension="1" precedence="0" fixity="mixfix" arguments="B"> <scope languages="" priority="0"/> </notation></notations>
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#984.24.1:1045.24.62"/></metadata>Formula for sponanteous recombination <unparsed>None</unparsed>(<unparsed>None</unparsed>,<unparsed>None</unparsed>) = <unparsed>None</unparsed></opaque><constant name="axiom_spontaneous" role="Simplify">
</constant><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#984.24.1:1045.24.62"/></metadata>Formula for sponanteous recombination <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="/r/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="r"><type><om:OMV name="/r/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="r"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1026.-1.-1:1026.-1.-1"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND></om:OMOBJ>(<om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="/n/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="n"><type><om:OMV name="/n/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="n"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1030.-1.-1:1030.-1.-1"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND></om:OMOBJ>,<om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="/p/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="p"><type><om:OMV name="/p/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="p"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1034.-1.-1:1034.-1.-1"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND></om:OMOBJ>) = <om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://mathhub.info/MitM/Models/recombination" module="SpontaneousRecombination" name="spontaneous_recombination_coefficient"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1041.-1.-1:1041.-1.-1"/></metadata></om:OMS></om:OMOBJ></opaque><constant name="axiom_spontaneous" role="Simplify">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1047.25.1:1102.25.56"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1067.25.21:1083.25.37"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="Pi"></om:OMS>
<om:OMBVAR><om:OMV name="x"><metadata><tag property="http://cds.omdoc.org/mmt?mmt?inferred-type"/><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1068.25.22:1068.25.22"/></metadata><type><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1269.38.32:1279.38.42"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1274.38.32:1284.38.42"/></metadata></om:OMS>
</om:OMA></type></om:OMV><om:OMV name="y"><metadata><tag property="http://cds.omdoc.org/mmt?mmt?inferred-type"/><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1070.25.24:1070.25.24"/></metadata><type><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1286.38.49:1296.38.59"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMS base="http://mathhub.info/MitM/Models" module="Density" name="density_dim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1291.38.49:1301.38.59"/></metadata></om:OMS>
</om:OMA></type></om:OMV></om:OMBVAR>
<om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1073.25.27:1083.25.37"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
......@@ -26,9 +50,9 @@
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MitM/Foundation" module="Logic" name="eq"></om:OMS><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1303.38.66:1320.38.83"/></metadata>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="QEBase" name="QE"></om:OMS><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1308.38.66:1325.38.83"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimDiv"></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="Volume"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1304.38.67:1309.38.72"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItime"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1314.38.77:1319.38.82"/></metadata></om:OMS>
<om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="DimDiv"></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="DimensionsExtended" name="Volume"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1309.38.67:1314.38.72"/></metadata></om:OMS><om:OMS base="http://mathhub.info/MMT/physics-units" module="Dimensions" name="SItime"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/Quantities.mmt#1319.38.77:1324.38.82"/></metadata></om:OMS>
</om:OMA>
</om:OMA><om:OMA><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/Models/mmt/recombination.mmt#1075.25.29:1079.25.33"/></metadata>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="apply"></om:OMS>
......
errors/mmt-omdoc/mmt/Quantities.mmt.err
+ 0
− 268
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/band.mmt.err
+ 0
− 199
View file @ 71f0f8b3
<errors>
<error
target="structure-parser" sref="http://mathhub.info/MitM/Models/mmt/band.mmt#621.16.0:622.16.1" type="info.kwarc.mmt.api.SourceError" shortMsg="error while parsing: Cannot find resource http://mathhub.info/MitM/Models/BandstructureParameters/: file/folder /home/jazzpirate/work/MathHub/MitM/Models/narration/BandstructureParameters not found or not accessible" level="2">
source error (structure-parser) at http://mathhub.info/MitM/Models/mmt/band.mmt#621.16.0:622.16.1
<stacktrace>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.makeError(StructureParser.scala:160)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.info$kwarc$mmt$api$parser$KeywordBasedParser$$readInDocument(StructureParser.scala:415)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply$mcV$sp(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:175)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:166)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:79)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:40)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:39)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:526)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.checkOrRunBuildTask(BuildTarget.scala:453)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:182)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:181)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:181)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:374)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:368)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:214)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:309)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:286)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.archiveBuildAction(ActionHandling.scala:286)</element>
<element>info.kwarc.mmt.api.frontend.Controller.archiveBuildAction(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handle(ActionHandling.scala:66)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handleLine(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:64)</element>
<element>Debug$.run(Debug.scala:32)</element>
<element>Test.main(preamble.scala:48)</element>
<element>Debug.main(Debug.scala)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
<element>sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
<element>java.lang.reflect.Method.invoke(Method.java:498)</element>
<element>com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)</element>
</stacktrace>
<error
type="info.kwarc.mmt.api.BackendError" shortMsg="Cannot find resource http://mathhub.info/MitM/Models/BandstructureParameters/: file/folder /home/jazzpirate/work/MathHub/MitM/Models/narration/BandstructureParameters not found or not accessible" level="2">
<stacktrace>
<element>info.kwarc.mmt.api.backend.LocalCopy.load(Storage.scala:147)</element>
<element>info.kwarc.mmt.api.archives.Archive.load(Archive.scala:81)</element>
<element>info.kwarc.mmt.api.backend.Backend$$anonfun$load$2.apply(Backend.scala:58)</element>
<element>info.kwarc.mmt.api.backend.Backend$$anonfun$load$2.apply(Backend.scala:54)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.backend.Backend.load(Backend.scala:54)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply$mcV$sp(Controller.scala:382)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:379)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:379)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Controller.logGroup(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.Controller.retrieve(Controller.scala:378)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply$mcV$sp(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:357)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:349)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anon$3.handler(Controller.scala:320)</element>
<element>info.kwarc.mmt.api.libraries.LookupWithNotFoundHandler.get(Lookup.scala:197)</element>
<element>info.kwarc.mmt.api.libraries.Lookup$$anonfun$getO$1.apply(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup$$anonfun$getO$1.apply(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.optional(Lookup.scala:31)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.getO(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.getComponent(Lookup.scala:81)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker$$anonfun$2.apply(RuleBasedChecker.scala:37)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker$$anonfun$2.apply(RuleBasedChecker.scala:36)</element>
<element>scala.Option.map(Option.scala:146)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:36)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1$$anonfun$apply$4.apply(TextInterpreter.scala:123)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1$$anonfun$apply$4.apply(TextInterpreter.scala:121)</element>
<element>scala.Option.foreach(Option.scala:257)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1.apply(TextInterpreter.scala:121)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1.apply(TextInterpreter.scala:116)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter.check(TextInterpreter.scala:116)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$check(MMTStructureChecker.scala:164)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1(MMTStructureChecker.scala:419)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker$$anonfun$info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1$1.apply(MMTStructureChecker.scala:416)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker$$anonfun$info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1$1.apply(MMTStructureChecker.scala:416)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1(MMTStructureChecker.scala:416)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkElementEnd(MMTStructureChecker.scala:422)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementEnd(MMTStructureChecker.scala:64)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElementEnd(Interpreter.scala:76)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.end(StructureParser.scala:109)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:689)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.info$kwarc$mmt$api$parser$KeywordBasedParser$$readInDocument(StructureParser.scala:387)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply$mcV$sp(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:175)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:166)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:79)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:40)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:39)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:526)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.checkOrRunBuildTask(BuildTarget.scala:453)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:182)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:181)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:181)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:374)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:368)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:214)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:309)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:286)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.archiveBuildAction(ActionHandling.scala:286)</element>
<element>info.kwarc.mmt.api.frontend.Controller.archiveBuildAction(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handle(ActionHandling.scala:66)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handleLine(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:64)</element>
<element>Debug$.run(Debug.scala:32)</element>
<element>Test.main(preamble.scala:48)</element>
<element>Debug.main(Debug.scala)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
<element>sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
<element>java.lang.reflect.Method.invoke(Method.java:498)</element>
<element>com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)</element>
</stacktrace>
</error>
</error>
<error target="structure-parser" sref="http://mathhub.info/MitM/Models/mmt/band.mmt#744.21.12:744.21.12" type="info.kwarc.mmt.api.SourceError" shortMsg="expected ':', '=', '#', '##', '@', 'role', found " level="2">
source error (structure-parser) at http://mathhub.info/MitM/Models/mmt/band.mmt#744.21.12:744.21.12
<stacktrace>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.makeError(StructureParser.scala:160)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readConstant$3.apply(StructureParser.scala:875)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readConstant$3.apply(StructureParser.scala:875)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.errorCont(StructureParser.scala:156)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readConstant(StructureParser.scala:875)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:603)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:433)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readStructure$1.apply$mcV$sp(StructureParser.scala:924)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readStructure$1.apply(StructureParser.scala:924)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readStructure$1.apply(StructureParser.scala:924)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readStructure(StructureParser.scala:923)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:493)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:433)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readTheory$1.apply$mcV$sp(StructureParser.scala:687)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readTheory$1.apply(StructureParser.scala:687)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$readTheory$1.apply(StructureParser.scala:687)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:686)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.info$kwarc$mmt$api$parser$KeywordBasedParser$$readInDocument(StructureParser.scala:387)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply$mcV$sp(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:175)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:166)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:79)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:40)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:39)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:526)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.checkOrRunBuildTask(BuildTarget.scala:453)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:182)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:181)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:181)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:374)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:368)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:214)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:309)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:286)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.archiveBuildAction(ActionHandling.scala:286)</element>
<element>info.kwarc.mmt.api.frontend.Controller.archiveBuildAction(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handle(ActionHandling.scala:66)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handleLine(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:64)</element>
<element>Debug$.run(Debug.scala:32)</element>
<element>Test.main(preamble.scala:48)</element>
<element>Debug.main(Debug.scala)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
<element>sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
<element>java.lang.reflect.Method.invoke(Method.java:498)</element>
<element>com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)</element>
</stacktrace>
</error>
</errors>
errors/mmt-omdoc/mmt/constants.mmt.err
+ 0
− 136
View file @ 71f0f8b3
<errors>
<error
target="structure-parser" sref="http://mathhub.info/MitM/Models/mmt/constants.mmt#701.15.0:702.15.1" type="info.kwarc.mmt.api.SourceError" shortMsg="error while parsing: Cannot find resource http://mathhub.info/MitM/Models/PhysicalConstants/: file/folder /home/jazzpirate/work/MathHub/MitM/Models/narration/PhysicalConstants not found or not accessible" level="2">
source error (structure-parser) at http://mathhub.info/MitM/Models/mmt/constants.mmt#701.15.0:702.15.1
<stacktrace>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.makeError(StructureParser.scala:160)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.info$kwarc$mmt$api$parser$KeywordBasedParser$$readInDocument(StructureParser.scala:415)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply$mcV$sp(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:175)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:166)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:79)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:40)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:39)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:526)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.checkOrRunBuildTask(BuildTarget.scala:453)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:182)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:181)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:181)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:374)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:368)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:214)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:309)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:286)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.archiveBuildAction(ActionHandling.scala:286)</element>
<element>info.kwarc.mmt.api.frontend.Controller.archiveBuildAction(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handle(ActionHandling.scala:66)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handleLine(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:64)</element>
<element>Debug$.run(Debug.scala:32)</element>
<element>Test.main(preamble.scala:48)</element>
<element>Debug.main(Debug.scala)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
<element>sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
<element>java.lang.reflect.Method.invoke(Method.java:498)</element>
<element>com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)</element>
</stacktrace>
<error
type="info.kwarc.mmt.api.BackendError" shortMsg="Cannot find resource http://mathhub.info/MitM/Models/PhysicalConstants/: file/folder /home/jazzpirate/work/MathHub/MitM/Models/narration/PhysicalConstants not found or not accessible" level="2">
<stacktrace>
<element>info.kwarc.mmt.api.backend.LocalCopy.load(Storage.scala:147)</element>
<element>info.kwarc.mmt.api.archives.Archive.load(Archive.scala:81)</element>
<element>info.kwarc.mmt.api.backend.Backend$$anonfun$load$2.apply(Backend.scala:58)</element>
<element>info.kwarc.mmt.api.backend.Backend$$anonfun$load$2.apply(Backend.scala:54)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.backend.Backend.load(Backend.scala:54)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply$mcV$sp(Controller.scala:382)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:379)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:379)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Controller.logGroup(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.Controller.retrieve(Controller.scala:378)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply$mcV$sp(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anonfun$iterate$1.apply(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:357)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:369)</element>
<element>info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:349)</element>
<element>info.kwarc.mmt.api.frontend.Controller$$anon$3.handler(Controller.scala:320)</element>
<element>info.kwarc.mmt.api.libraries.LookupWithNotFoundHandler.get(Lookup.scala:197)</element>
<element>info.kwarc.mmt.api.libraries.Lookup$$anonfun$getO$1.apply(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup$$anonfun$getO$1.apply(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.optional(Lookup.scala:31)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.getO(Lookup.scala:36)</element>
<element>info.kwarc.mmt.api.libraries.Lookup.getComponent(Lookup.scala:81)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker$$anonfun$2.apply(RuleBasedChecker.scala:37)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker$$anonfun$2.apply(RuleBasedChecker.scala:36)</element>
<element>scala.Option.map(Option.scala:146)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:36)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1$$anonfun$apply$4.apply(TextInterpreter.scala:123)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1$$anonfun$apply$4.apply(TextInterpreter.scala:121)</element>
<element>scala.Option.foreach(Option.scala:257)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1.apply(TextInterpreter.scala:121)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter$$anonfun$check$1.apply(TextInterpreter.scala:116)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.opaque.TextInterpreter.check(TextInterpreter.scala:116)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$check(MMTStructureChecker.scala:164)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1(MMTStructureChecker.scala:419)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker$$anonfun$info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1$1.apply(MMTStructureChecker.scala:416)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker$$anonfun$info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1$1.apply(MMTStructureChecker.scala:416)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.info$kwarc$mmt$api$checking$MMTStructureChecker$$doDoc$1(MMTStructureChecker.scala:416)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkElementEnd(MMTStructureChecker.scala:422)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementEnd(MMTStructureChecker.scala:64)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElementEnd(Interpreter.scala:76)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.end(StructureParser.scala:109)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:689)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.info$kwarc$mmt$api$parser$KeywordBasedParser$$readInDocument(StructureParser.scala:387)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply$mcV$sp(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser$$anonfun$apply$1.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:225)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:175)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:166)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:79)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:40)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:39)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:526)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.checkOrRunBuildTask(BuildTarget.scala:453)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:182)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager$$anonfun$addTasks$1.apply(BuildQueue.scala:181)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:181)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:374)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:368)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:214)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:309)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$$anonfun$archiveBuildAction$1.apply(ActionHandling.scala:286)</element>
<element>scala.collection.immutable.List.foreach(List.scala:381)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.archiveBuildAction(ActionHandling.scala:286)</element>
<element>info.kwarc.mmt.api.frontend.Controller.archiveBuildAction(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handle(ActionHandling.scala:66)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:64)</element>
<element>info.kwarc.mmt.api.frontend.ActionHandling$class.handleLine(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:64)</element>
<element>Debug$.run(Debug.scala:32)</element>
<element>Test.main(preamble.scala:48)</element>
<element>Debug.main(Debug.scala)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
<element>sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
<element>sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
<element>java.lang.reflect.Method.invoke(Method.java:498)</element>
<element>com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)</element>
</stacktrace>
</error>
</error>
</errors>
errors/mmt-omdoc/mmt/continuity.mmt.err
+ 0
− 1069
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/densities.mmt.err
+ 0
− 201
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/device.mmt.err
+ 0
− 470
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/poisson.mmt.err
+ 0
− 4616
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/recombination.mmt.err
+ 0
− 1815
View file @ 71f0f8b3
This diff is collapsed.
errors/mmt-omdoc/mmt/species.mmt.err
+ 0
− 2
View file @ 71f0f8b3
<errors>
</errors>
relational/http..mathhub.info/MitM/Models/$Base.rel
+ 40
− 0
View file @ 71f0f8b3
theory http://mathhub.info/MitM/Models?Base
HasMeta http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?realarith
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Models?PhysicalConstants
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Models?Permittivity
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?realnumbers
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?rationalnumbers
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?integernumbers
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?naturalnumbers
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Foundation?NatLiterals
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?SubSymbol
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?SubRules
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentSymbol
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentRules
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?TermsTypesKinds
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/mmt?Errors
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/mmt?ModExp
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/mmt?mmt
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?Typed
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?Kinded
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?TypedConstants
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?KindedConstants
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?LambdaPi
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?LFRules
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Records?LFRecords
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Records?Symbols
Includes http://mathhub.info/MitM/Models?Base http://gl.mathhub.info/MMT/LFX/Records?Rules
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Foundation?IntLiterals
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Foundation?RealLiterals
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?ratarith
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?intarith
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/arithmetics?natarith
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Foundation?DescriptionOperator
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/Foundation?OptionType
Includes http://mathhub.info/MitM/Models?Base http://cds.omdoc.org/urtheories?LF
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/calculus?derivative
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/calculus?RealMetricSpace
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/calculus?metric_space
Includes http://mathhub.info/MitM/Models?Base http://mathhub.info/MitM/smglom/calculus?function_limit
relational/http..mathhub.info/MitM/Models/$Physical$Constants.rel
+ 29
− 0
View file @ 71f0f8b3
......@@ -6,9 +6,38 @@ Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/M
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?rationalnumbers
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?integernumbers
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?naturalnumbers
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Foundation?NatLiterals
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?SubSymbol
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?SubRules
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentSymbol
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?JudgmentRules
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?TermsTypesKinds
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/mmt?Errors
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/mmt?ModExp
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/mmt?mmt
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?Typed
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?Kinded
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?TypedConstants
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?KindedConstants
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?LambdaPi
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?LFRules
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Records?LFRecords
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Records?Symbols
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://gl.mathhub.info/MMT/LFX/Records?Rules
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Foundation?IntLiterals
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Foundation?RealLiterals
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?ratarith
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?intarith
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/smglom/arithmetics?natarith
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Foundation?DescriptionOperator
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Foundation?OptionType
Includes http://mathhub.info/MitM/Models?PhysicalConstants http://cds.omdoc.org/urtheories?LF
Declares http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Models?PhysicalConstants?vacuum_dielectric_permitivity
constant http://mathhub.info/MitM/Models?PhysicalConstants?vacuum_dielectric_permitivity
Declares http://mathhub.info/MitM/Models?PhysicalConstants http://mathhub.info/MitM/Models?PhysicalConstants?elementary_charge
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment