FrameIT
REST_JSON_API.MMTConstants Class Reference

Collection of MMT URIs and mappings to C# types (if applicable) More...

Static Public Attributes

static readonly string Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point"
 
static readonly string ScalarProduct = "http://mathhub.info/MitM/core/geometry?3DGeometry?scalar_productI"
 
static readonly string PointSubtractI = "http://mathhub.info/MitM/core/geometry?3DGeometry?point_subtractI"
 
static readonly string PointAddI = "http://mathhub.info/MitM/core/geometry?3DGeometry?point_addI"
 
static readonly string VecMultI = "http://mathhub.info/MitM/core/geometry?3DGeometry?vec_multI"
 
static readonly string VecCross = "http://mathhub.info/MitM/core/geometry?3DGeometry?vec_cross"
 
static readonly string LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type"
 
static readonly string LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf"
 
static readonly string Wall = "http://mathhub.info/FrameIT/frameworld?Walls?wall"
 
static readonly string CreateWall = "http://mathhub.info/FrameIT/frameworld?Walls?create_wall"
 
static readonly string Triangle = "http://mathhub.info/FrameIT/frameworld?Triangles?wall"
 
static readonly string CreateTriangle = "http://mathhub.info/FrameIT/frameworld?Triangles?create_wall"
 
static readonly string OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine"
 
static readonly string Ded = "http://mathhub.info/MitM/Foundation?Logic?ded"
 
static readonly string Eq = "http://mathhub.info/MitM/Foundation?Logic?eq"
 
static readonly string Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric"
 
static readonly string Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between"
 
static readonly string Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch"
 
static readonly string RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit"
 
static readonly string Bool = "http://cds.omdoc.org/urtheories?Bool?BOOL"
 
static readonly string Proposition = "http://mathhub.info/MitM/Foundation?Logic?prop"
 
static readonly string ParallelLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?parallelLine"
 
static readonly string CircleType3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleType3D"
 
static readonly string MkCircle3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circle3D"
 
static readonly string TriangleMiddlePoint = "http://mathhub.info/FrameIT/frameworld?FrameITTriangles?triangleMidPointWrapper"
 
static readonly string RadiusCircleMetric = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius"
 
static readonly string AreaCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?areaCircle"
 
static readonly string VolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?volumeCone"
 
static readonly string ConeOfCircleApex = "http://mathhub.info/FrameIT/frameworld?FrameITCone?circleConeOf"
 
static readonly string ParametrizedPlane = "http://mathhub.info/MitM/core/geometry?Planes?ParametrizedPlane"
 
static readonly string pointNormalPlane = "http://mathhub.info/MitM/core/geometry?Planes?pointNormalPlane"
 
static readonly string OnCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?pointOnCircle"
 
static readonly string AnglePlaneLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?angleCircleLine"
 
static readonly string OrthoCircleLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?orthogonalCircleLine"
 
static readonly string TruncatedVolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?truncatedConeVolume"
 
static readonly string CylinderVolume = "http://mathhub.info/FrameIT/frameworld?FrameITCylinder?cylinderVolume"
 
static readonly string EqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?equalityCircles"
 
static readonly string UnEqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?unequalityCircles"
 
static readonly string ParallelCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCone?parallelCircles"
 
static readonly string RightAngle = "http://mathhub.info/FrameIT/frameworld?FrameITBasics?rightAngle"
 
static readonly string AttachedPositionFunction = "0SET_IN_MMTConstants!"
 
static readonly string FunctionCallFact = "1SET_IN_MMTConstants!"
 
static readonly string FunctionFact = "2SET_IN_MMTConstants!"
 
static readonly string TestType = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?xcircleType3D"
 
static readonly string Product = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Product"
 
static readonly string Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"
 
static readonly string MakeType = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Recexp"
 
static readonly string MakeTypeType = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Rectype"
 
static readonly string TypeType = "http://cds.omdoc.org/urtheories?Typed?type"
 
static readonly string GetField = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Getfield"
 
static readonly string ListType = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?ListType"
 
static readonly string ListApplicant = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?list"
 
static readonly string ListLiteral = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?cons"
 
static readonly string ListEnd = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?nil_constant"
 
static readonly string AddRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit"
 
static readonly string AddArith = "http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition"
 
static readonly string MinusRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit"
 
static readonly string InvertRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?inv_real_lit"
 
static readonly string TimesRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit"
 
static readonly string RealMultiplication = "http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication"
 
static readonly string LEQRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?leq_real_lit"
 
static readonly string IfThenElse = "http://mathhub.info/FrameIT/frameworld?IfThenElseX?ifthenelsex"
 
static readonly string ProjL = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl"
 
static readonly string ProjR = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr"
 
static readonly string Map = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?map"
 
static readonly string PartialAggregate = "?Step"
 
static readonly string FeedForwardWhile = "http://mathhub.info/FrameIT/frameworld?StepUntil?stepUntil"
 
static readonly string FeedForwardWhile2 = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll?stepUntil"
 
static readonly string FeedForwardWhileT2 = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll?stepUntil"
 
static readonly string Filter = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?filter"
 
static readonly string Filter2 = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll?filter2"
 
static readonly string FilterT2 = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll?filter2"
 
static readonly string Fold = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?fold"
 
static readonly string IndexList = "http://mathhub.info/FrameIT/frameworld?GetListAtInd?getListAtInd"
 
static readonly string ToArray = "?ToArray"
 
static readonly string Invoke = "?lambda"
 
static readonly string Sin = "http://mathhub.info/MitM/Foundation?Trigonometry?sin"
 
static readonly string Cos = "http://mathhub.info/MitM/Foundation?Trigonometry?cos"
 
static readonly string Divide = "Divide"
 
static readonly string SquareRoot = "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt"
 
static readonly string LessThan = "LessThan"
 
static readonly string MakeObjectArray = "MakeObjectArray"
 
static readonly string PropertyX = "http://mathhub.info/MitM/core/geometry?3DGeometry?xofpoint"
 
static readonly string PropertyY = "http://mathhub.info/MitM/core/geometry?3DGeometry?yofpoint"
 
static readonly string PropertyZ = "http://mathhub.info/MitM/core/geometry?3DGeometry?zofpoint"
 
const string ScrollOppositeLen = "http://mathhub.info/FrameIT/frameworld?OppositeLen"
 
const string ScrollSupplementaryAngles = "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles"
 
const string ScrollAngleSum = "http://mathhub.info/FrameIT/frameworld?AngleSum"
 
const string ScrollPythagoras = "http://mathhub.info/FrameIT/frameworld?Pythagoras"
 
const string ScrollCylinderVolumeScroll = "http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll"
 
const string ScrollCircleLineAngleToAngleScroll = "http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll"
 
const string ScrollMidpoint = "http://mathhub.info/FrameIT/frameworld?Midpoint"
 
const string ScrollCircleScroll = "http://mathhub.info/FrameIT/frameworld?CircleScroll"
 
const string ScrollCircleLineAngleScroll = "http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll"
 
const string ScrollCircleAreaScroll = "http://mathhub.info/FrameIT/frameworld?CircleAreaScroll"
 
const string ScrollConeVolumeScroll = "http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll"
 
const string ScrollTruncatedConeVolumeScroll = "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll"
 
const string ScrollCannonBall2D = "http://mathhub.info/FrameIT/frameworld?WBouncingScroll"
 
const string ScrollCannonBall3D = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll"
 
const string ScrollCannonBallT3D = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll"
 
const string ScrollRiver = "http://mathhub.info/FrameIT/frameworld?RiverScroll"
 
const string ScrollRiverSimple = "http://mathhub.info/FrameIT/frameworld?RiverScrollSimple"
 
static readonly IReadOnlyDictionary< string, Type > OMS_TO_TYPE
 <remark>Needs to map to primitives where possible!</remark> More...
 
static readonly IReadOnlyDictionary< Type, string > TYPE_TO_OMS
 
static readonly IReadOnlyDictionary< string, string > URI_TO_TypeOF
 
static readonly IReadOnlyDictionary< string, string > TypeOF_TO_URI = URI_TO_TypeOF.ReverseKeyVal()
 
static readonly IReadOnlyDictionary< string, string > HeterogenApplication_TO_TypeOF
 
static readonly IReadOnlyDictionary< string, string > TypeOF_TO_HeterogenApplication = HeterogenApplication_TO_TypeOF.ReverseKeyVal()
 
static readonly IReadOnlyDictionary< string, string > HomogenApplication_TO_TypeOF
 
static readonly IReadOnlyDictionary< string, string > TypeOF_TO_HomogenApplication = HomogenApplication_TO_TypeOF.ReverseKeyVal()
 

Detailed Description

Collection of MMT URIs and mappings to C# types (if applicable)

Member Data Documentation

◆ AddArith

readonly string REST_JSON_API.MMTConstants.AddArith = "http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition"
static

◆ AddRealLit

readonly string REST_JSON_API.MMTConstants.AddRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit"
static

◆ Angle

readonly string REST_JSON_API.MMTConstants.Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between"
static

◆ AnglePlaneLine

readonly string REST_JSON_API.MMTConstants.AnglePlaneLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?angleCircleLine"
static

◆ AreaCircle

readonly string REST_JSON_API.MMTConstants.AreaCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?areaCircle"
static

◆ AttachedPositionFunction

readonly string REST_JSON_API.MMTConstants.AttachedPositionFunction = "0SET_IN_MMTConstants!"
static

◆ Bool

readonly string REST_JSON_API.MMTConstants.Bool = "http://cds.omdoc.org/urtheories?Bool?BOOL"
static

◆ CircleType3d

readonly string REST_JSON_API.MMTConstants.CircleType3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleType3D"
static

◆ ConeOfCircleApex

readonly string REST_JSON_API.MMTConstants.ConeOfCircleApex = "http://mathhub.info/FrameIT/frameworld?FrameITCone?circleConeOf"
static

◆ Cos

readonly string REST_JSON_API.MMTConstants.Cos = "http://mathhub.info/MitM/Foundation?Trigonometry?cos"
static

◆ CreateTriangle

readonly string REST_JSON_API.MMTConstants.CreateTriangle = "http://mathhub.info/FrameIT/frameworld?Triangles?create_wall"
static

◆ CreateWall

readonly string REST_JSON_API.MMTConstants.CreateWall = "http://mathhub.info/FrameIT/frameworld?Walls?create_wall"
static

◆ CylinderVolume

readonly string REST_JSON_API.MMTConstants.CylinderVolume = "http://mathhub.info/FrameIT/frameworld?FrameITCylinder?cylinderVolume"
static

◆ Ded

readonly string REST_JSON_API.MMTConstants.Ded = "http://mathhub.info/MitM/Foundation?Logic?ded"
static

◆ Divide

readonly string REST_JSON_API.MMTConstants.Divide = "Divide"
static

◆ Eq

readonly string REST_JSON_API.MMTConstants.Eq = "http://mathhub.info/MitM/Foundation?Logic?eq"
static

◆ EqualityCircles

readonly string REST_JSON_API.MMTConstants.EqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?equalityCircles"
static

◆ FeedForwardWhile

readonly string REST_JSON_API.MMTConstants.FeedForwardWhile = "http://mathhub.info/FrameIT/frameworld?StepUntil?stepUntil"
static

◆ FeedForwardWhile2

readonly string REST_JSON_API.MMTConstants.FeedForwardWhile2 = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll?stepUntil"
static

◆ FeedForwardWhileT2

readonly string REST_JSON_API.MMTConstants.FeedForwardWhileT2 = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll?stepUntil"
static

◆ Filter

readonly string REST_JSON_API.MMTConstants.Filter = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?filter"
static

◆ Filter2

readonly string REST_JSON_API.MMTConstants.Filter2 = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll?filter2"
static

◆ FilterT2

readonly string REST_JSON_API.MMTConstants.FilterT2 = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll?filter2"
static

◆ Fold

readonly string REST_JSON_API.MMTConstants.Fold = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?fold"
static

◆ FunctionCallFact

readonly string REST_JSON_API.MMTConstants.FunctionCallFact = "1SET_IN_MMTConstants!"
static

◆ FunctionFact

readonly string REST_JSON_API.MMTConstants.FunctionFact = "2SET_IN_MMTConstants!"
static

◆ GetField

readonly string REST_JSON_API.MMTConstants.GetField = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Getfield"
static

◆ HeterogenApplication_TO_TypeOF

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.HeterogenApplication_TO_TypeOF
static
Initial value:
= new Dictionary<string, string> {
{ Tuple,
}
static readonly string Tuple
Definition: MMTConstants.cs:71
static readonly string Product
Definition: MMTConstants.cs:70
static readonly string MakeTypeType
Definition: MMTConstants.cs:73
static readonly string MakeType
Definition: MMTConstants.cs:72

◆ HomogenApplication_TO_TypeOF

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.HomogenApplication_TO_TypeOF
static
Initial value:
= new Dictionary<string, string> {
}
static readonly string ListApplicant
Definition: MMTConstants.cs:78
static readonly string ListType
Definition: MMTConstants.cs:77

◆ IfThenElse

readonly string REST_JSON_API.MMTConstants.IfThenElse = "http://mathhub.info/FrameIT/frameworld?IfThenElseX?ifthenelsex"
static

◆ IndexList

readonly string REST_JSON_API.MMTConstants.IndexList = "http://mathhub.info/FrameIT/frameworld?GetListAtInd?getListAtInd"
static

◆ InvertRealLit

readonly string REST_JSON_API.MMTConstants.InvertRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?inv_real_lit"
static

◆ Invoke

readonly string REST_JSON_API.MMTConstants.Invoke = "?lambda"
static

◆ LEQRealLit

readonly string REST_JSON_API.MMTConstants.LEQRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?leq_real_lit"
static

◆ LessThan

readonly string REST_JSON_API.MMTConstants.LessThan = "LessThan"
static

◆ LineOf

readonly string REST_JSON_API.MMTConstants.LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf"
static

◆ LineType

readonly string REST_JSON_API.MMTConstants.LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type"
static

◆ ListApplicant

readonly string REST_JSON_API.MMTConstants.ListApplicant = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?list"
static

◆ ListEnd

readonly string REST_JSON_API.MMTConstants.ListEnd = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?nil_constant"
static

◆ ListLiteral

readonly string REST_JSON_API.MMTConstants.ListLiteral = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?cons"
static

◆ ListType

readonly string REST_JSON_API.MMTConstants.ListType = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?ListType"
static

◆ MakeObjectArray

readonly string REST_JSON_API.MMTConstants.MakeObjectArray = "MakeObjectArray"
static

◆ MakeType

readonly string REST_JSON_API.MMTConstants.MakeType = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Recexp"
static

◆ MakeTypeType

readonly string REST_JSON_API.MMTConstants.MakeTypeType = "http://gl.mathhub.info/MMT/LFX/Records?Symbols?Rectype"
static

◆ Map

readonly string REST_JSON_API.MMTConstants.Map = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListOperations?map"
static

◆ Metric

readonly string REST_JSON_API.MMTConstants.Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric"
static

◆ MinusRealLit

readonly string REST_JSON_API.MMTConstants.MinusRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit"
static

◆ MkCircle3d

readonly string REST_JSON_API.MMTConstants.MkCircle3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circle3D"
static

◆ OMS_TO_TYPE

readonly IReadOnlyDictionary<string, Type> REST_JSON_API.MMTConstants.OMS_TO_TYPE
static

<remark>Needs to map to primitives where possible!</remark>

◆ OnCircle

readonly string REST_JSON_API.MMTConstants.OnCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?pointOnCircle"
static

◆ OnLine

readonly string REST_JSON_API.MMTConstants.OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine"
static

◆ OrthoCircleLine

readonly string REST_JSON_API.MMTConstants.OrthoCircleLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?orthogonalCircleLine"
static

◆ ParallelCircles

readonly string REST_JSON_API.MMTConstants.ParallelCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCone?parallelCircles"
static

◆ ParallelLine

readonly string REST_JSON_API.MMTConstants.ParallelLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?parallelLine"
static

◆ ParametrizedPlane

readonly string REST_JSON_API.MMTConstants.ParametrizedPlane = "http://mathhub.info/MitM/core/geometry?Planes?ParametrizedPlane"
static

◆ PartialAggregate

readonly string REST_JSON_API.MMTConstants.PartialAggregate = "?Step"
static

◆ Point

readonly string REST_JSON_API.MMTConstants.Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point"
static

◆ PointAddI

readonly string REST_JSON_API.MMTConstants.PointAddI = "http://mathhub.info/MitM/core/geometry?3DGeometry?point_addI"
static

◆ pointNormalPlane

readonly string REST_JSON_API.MMTConstants.pointNormalPlane = "http://mathhub.info/MitM/core/geometry?Planes?pointNormalPlane"
static

◆ PointSubtractI

readonly string REST_JSON_API.MMTConstants.PointSubtractI = "http://mathhub.info/MitM/core/geometry?3DGeometry?point_subtractI"
static

◆ Product

readonly string REST_JSON_API.MMTConstants.Product = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Product"
static

◆ ProjL

readonly string REST_JSON_API.MMTConstants.ProjL = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl"
static

◆ ProjR

readonly string REST_JSON_API.MMTConstants.ProjR = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr"
static

◆ PropertyX

readonly string REST_JSON_API.MMTConstants.PropertyX = "http://mathhub.info/MitM/core/geometry?3DGeometry?xofpoint"
static

◆ PropertyY

readonly string REST_JSON_API.MMTConstants.PropertyY = "http://mathhub.info/MitM/core/geometry?3DGeometry?yofpoint"
static

◆ PropertyZ

readonly string REST_JSON_API.MMTConstants.PropertyZ = "http://mathhub.info/MitM/core/geometry?3DGeometry?zofpoint"
static

◆ Proposition

readonly string REST_JSON_API.MMTConstants.Proposition = "http://mathhub.info/MitM/Foundation?Logic?prop"
static

◆ RadiusCircleMetric

readonly string REST_JSON_API.MMTConstants.RadiusCircleMetric = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius"
static

◆ RealLit

readonly string REST_JSON_API.MMTConstants.RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit"
static

◆ RealMultiplication

readonly string REST_JSON_API.MMTConstants.RealMultiplication = "http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication"
static

◆ RightAngle

readonly string REST_JSON_API.MMTConstants.RightAngle = "http://mathhub.info/FrameIT/frameworld?FrameITBasics?rightAngle"
static

◆ ScalarProduct

readonly string REST_JSON_API.MMTConstants.ScalarProduct = "http://mathhub.info/MitM/core/geometry?3DGeometry?scalar_productI"
static

◆ ScrollAngleSum

const string REST_JSON_API.MMTConstants.ScrollAngleSum = "http://mathhub.info/FrameIT/frameworld?AngleSum"
static

◆ ScrollCannonBall2D

const string REST_JSON_API.MMTConstants.ScrollCannonBall2D = "http://mathhub.info/FrameIT/frameworld?WBouncingScroll"
static

◆ ScrollCannonBall3D

const string REST_JSON_API.MMTConstants.ScrollCannonBall3D = "http://mathhub.info/FrameIT/frameworld?W3DBouncingScroll"
static

◆ ScrollCannonBallT3D

const string REST_JSON_API.MMTConstants.ScrollCannonBallT3D = "http://mathhub.info/FrameIT/frameworld?T3DBouncingScroll"
static

◆ ScrollCircleAreaScroll

const string REST_JSON_API.MMTConstants.ScrollCircleAreaScroll = "http://mathhub.info/FrameIT/frameworld?CircleAreaScroll"
static

◆ ScrollCircleLineAngleScroll

const string REST_JSON_API.MMTConstants.ScrollCircleLineAngleScroll = "http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll"
static

◆ ScrollCircleLineAngleToAngleScroll

const string REST_JSON_API.MMTConstants.ScrollCircleLineAngleToAngleScroll = "http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll"
static

◆ ScrollCircleScroll

const string REST_JSON_API.MMTConstants.ScrollCircleScroll = "http://mathhub.info/FrameIT/frameworld?CircleScroll"
static

◆ ScrollConeVolumeScroll

const string REST_JSON_API.MMTConstants.ScrollConeVolumeScroll = "http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll"
static

◆ ScrollCylinderVolumeScroll

const string REST_JSON_API.MMTConstants.ScrollCylinderVolumeScroll = "http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll"
static

◆ ScrollMidpoint

const string REST_JSON_API.MMTConstants.ScrollMidpoint = "http://mathhub.info/FrameIT/frameworld?Midpoint"
static

◆ ScrollOppositeLen

const string REST_JSON_API.MMTConstants.ScrollOppositeLen = "http://mathhub.info/FrameIT/frameworld?OppositeLen"
static

◆ ScrollPythagoras

const string REST_JSON_API.MMTConstants.ScrollPythagoras = "http://mathhub.info/FrameIT/frameworld?Pythagoras"
static

◆ ScrollRiver

const string REST_JSON_API.MMTConstants.ScrollRiver = "http://mathhub.info/FrameIT/frameworld?RiverScroll"
static

◆ ScrollRiverSimple

const string REST_JSON_API.MMTConstants.ScrollRiverSimple = "http://mathhub.info/FrameIT/frameworld?RiverScrollSimple"
static

◆ ScrollSupplementaryAngles

const string REST_JSON_API.MMTConstants.ScrollSupplementaryAngles = "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles"
static

◆ ScrollTruncatedConeVolumeScroll

const string REST_JSON_API.MMTConstants.ScrollTruncatedConeVolumeScroll = "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll"
static

◆ Sin

readonly string REST_JSON_API.MMTConstants.Sin = "http://mathhub.info/MitM/Foundation?Trigonometry?sin"
static

◆ Sketch

readonly string REST_JSON_API.MMTConstants.Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch"
static

◆ SquareRoot

readonly string REST_JSON_API.MMTConstants.SquareRoot = "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt"
static

◆ TestType

readonly string REST_JSON_API.MMTConstants.TestType = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?xcircleType3D"
static

◆ TimesRealLit

readonly string REST_JSON_API.MMTConstants.TimesRealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit"
static

◆ ToArray

readonly string REST_JSON_API.MMTConstants.ToArray = "?ToArray"
static

◆ Triangle

readonly string REST_JSON_API.MMTConstants.Triangle = "http://mathhub.info/FrameIT/frameworld?Triangles?wall"
static

◆ TriangleMiddlePoint

readonly string REST_JSON_API.MMTConstants.TriangleMiddlePoint = "http://mathhub.info/FrameIT/frameworld?FrameITTriangles?triangleMidPointWrapper"
static

◆ TruncatedVolumeCone

readonly string REST_JSON_API.MMTConstants.TruncatedVolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?truncatedConeVolume"
static

◆ Tuple

readonly string REST_JSON_API.MMTConstants.Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"
static

◆ TYPE_TO_OMS

readonly IReadOnlyDictionary<Type, string> REST_JSON_API.MMTConstants.TYPE_TO_OMS
static
Initial value:
= OMS_TO_TYPE.ReverseKeyValInto(new()
{
{ typeof(PointFact),
Point },
{ typeof(object),
"NaN" },
{ typeof(uint),
"NaN" },
{ typeof(int),
"NaN" },
})
Point in 3D Space
Definition: UnsortedFact.cs:13
static readonly IReadOnlyDictionary< string, Type > OMS_TO_TYPE
<remark>Needs to map to primitives where possible!</remark>
Definition: MMTConstants.cs:139
static readonly string Point
Definition: MMTConstants.cs:12

◆ TypeOF_TO_HeterogenApplication

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.TypeOF_TO_HeterogenApplication = HeterogenApplication_TO_TypeOF.ReverseKeyVal()
static

◆ TypeOF_TO_HomogenApplication

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.TypeOF_TO_HomogenApplication = HomogenApplication_TO_TypeOF.ReverseKeyVal()
static

◆ TypeOF_TO_URI

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.TypeOF_TO_URI = URI_TO_TypeOF.ReverseKeyVal()
static

◆ TypeType

readonly string REST_JSON_API.MMTConstants.TypeType = "http://cds.omdoc.org/urtheories?Typed?type"
static

◆ UnEqualityCircles

readonly string REST_JSON_API.MMTConstants.UnEqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?unequalityCircles"
static

◆ URI_TO_TypeOF

readonly IReadOnlyDictionary<string, string> REST_JSON_API.MMTConstants.URI_TO_TypeOF
static
Initial value:
= new Dictionary<string, string> {
{ LineOf,
Wall },
}
static readonly string MkCircle3d
Definition: MMTConstants.cs:42
static readonly string CircleType3d
Definition: MMTConstants.cs:41
static readonly string CreateTriangle
Definition: MMTConstants.cs:25
static readonly string Wall
Definition: MMTConstants.cs:22
static readonly string Triangle
Definition: MMTConstants.cs:24
static readonly string CreateWall
Definition: MMTConstants.cs:23
static readonly string LineOf
Definition: MMTConstants.cs:20
static readonly string LineType
Definition: MMTConstants.cs:19

◆ VecCross

readonly string REST_JSON_API.MMTConstants.VecCross = "http://mathhub.info/MitM/core/geometry?3DGeometry?vec_cross"
static

◆ VecMultI

readonly string REST_JSON_API.MMTConstants.VecMultI = "http://mathhub.info/MitM/core/geometry?3DGeometry?vec_multI"
static

◆ VolumeCone

readonly string REST_JSON_API.MMTConstants.VolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?volumeCone"
static

◆ Wall

readonly string REST_JSON_API.MMTConstants.Wall = "http://mathhub.info/FrameIT/frameworld?Walls?wall"
static

The documentation for this class was generated from the following file: