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

fix integrationtests

parent df7dcdd8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gap$Test_$Codomain.omdoc.xz
+ 0
− 0
View file @ bede8bb7
No preview for this file type
errors/mmt-omdoc/IntegrationTests/CloseGapTests.mmt.err
+ 0
− 2
View file @ bede8bb7
<errors>
</errors>
relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gap$Test_$Codomain.rel
+ 10
− 8
View file @ bede8bb7
dataconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a
dataconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b
datatypeconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact
dataconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact
theory http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain
HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain http://mathhub.info/FrameIT/frameworld?FactCollection
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a
......@@ -13,10 +13,12 @@ DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_C
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact
constant http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
source/IntegrationTests/CloseGapTests.mmt
+ 1
− 1
View file @ bede8bb7
......@@ -5,5 +5,5 @@ fixmeta http://mathhub.info/FrameIT/frameworld?FactCollection ❚
theory CloseGapTest_Codomain =
a: ℝ ❘ = 42.0 ❙
b: ℝ ❘ = 4242.0 ❙
complexAngleFact = angleFact ⟨1.0, 2.0, 3.0⟩ ⟨4.0, 5.0, 6.0⟩ ⟨a, b, 0.0⟩ (90.0) ❙
complexAngleFact : angleFact ⟨1.0, 2.0, 3.0⟩ ⟨4.0, 5.0, 6.0⟩ ⟨a, b, 0.0⟩ (90.0) ❙
❚
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