Skip to content
Snippets Groups Projects
Select Git revision
  • 588469d3b7624c5323c7081ea483db02e22dbf06
  • master default
  • JS-based-scroll-rendering
  • Paul_Marius_Level
  • Paul_Marius_2
  • Paul_Marius
  • Andi_Mark
  • be-UnityWebView
  • gitignoreFrameitServer
  • ZimmerBSc
  • Bugfix_StageLoading
  • stages
  • MAZIFAU_Experimental
  • tsc/coneworld
  • tsc/fact-interaction
  • marcel
  • MaZiFAU_TopSort
  • mergeHelper
  • zwischenSpeichern
  • tempAndrToMaster
  • SebBranch
  • 3.0
  • v2.1
  • v2.0
  • v1.0
25 results

CheckServerPush.cs

Blame
  • SOMDocManager.cs 39.38 KiB
    using System.Collections.Generic;
    using Newtonsoft.Json;
    using JsonSubTypes;
    using System.Linq.Expressions;
    using System;
    using System.Linq;
    using MoreLinq;
    using UnityEngine;
    using REST_JSON_API;
    
    public static class SOMDocManager
    {
        public static class MMT_OMS_URI
        {
            public static readonly string Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point";
            public static readonly string Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple";
            public static readonly string LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type";
            public static readonly string LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf";
    
            public static readonly string OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine";
            public static readonly string Ded = "http://mathhub.info/MitM/Foundation?Logic?ded";
            public static readonly string Eq = "http://mathhub.info/MitM/Foundation?Logic?eq";
            public static readonly string Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric";
            public static readonly string Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between";
            public static readonly string Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch";
            public static readonly string RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit";
    
            public static readonly string ParallelLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?parallelLine";
            //public static readonly string RectangleFact = "http://mathhub.info/FrameIT/frameworld?FrameITRectangles?rectangleType";
            //public static readonly string RectangleFactmk = "http://mathhub.info/FrameIT/frameworld?FrameITRectangles?mkRectangle";
    
            public static readonly string CircleType3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleType3D";
            public static readonly string MkCircle3d = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circle3D";
            public static readonly string TriangleMiddlePoint = "http://mathhub.info/FrameIT/frameworld?FrameITTriangles?triangleMidPointWrapper";
            public static readonly string RadiusCircleMetric = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius";
    
            public static readonly string AreaCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?areaCircle";
            public static readonly string VolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?volumeCone";
            public static readonly string ConeOfCircleApex = "http://mathhub.info/FrameIT/frameworld?FrameITCone?circleConeOf";
    
            public static readonly string ParametrizedPlane = "http://mathhub.info/MitM/core/geometry?Planes?ParametrizedPlane";
            public static readonly string pointNormalPlane = "http://mathhub.info/MitM/core/geometry?Planes?pointNormalPlane";
            public static readonly string OnCircle = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?pointOnCircle";
            public static readonly string AnglePlaneLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?angleCircleLine";
            public static readonly string OrthoCircleLine = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?orthogonalCircleLine";
    
            public static readonly string TruncatedVolumeCone = "http://mathhub.info/FrameIT/frameworld?FrameITCone?truncatedConeVolume";
            public static readonly string CylinderVolume = "http://mathhub.info/FrameIT/frameworld?FrameITCylinder?cylinderVolume";
            public static readonly string EqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?equalityCircles";
            public static readonly string UnEqualityCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?unequalityCircles";
    
            public static readonly string ParallelCircles = "http://mathhub.info/FrameIT/frameworld?FrameITCone?parallelCircles";
            public static readonly string RightAngle = "http://mathhub.info/FrameIT/frameworld?FrameITBasics?rightAngle";
    
            public static readonly string AttachedPositionFunction = "0SET_IN_SOMDocManager!";
            public static readonly string FunctionCallFact = "1SET_IN_SOMDocManager!";
            public static readonly string FunctionFact = "2SET_IN_SOMDocManager!";
    
            public static readonly string TestType = "http://mathhub.info/FrameIT/frameworld?FrameITCircle?xcircleType3D";
    
            public static readonly string ListType = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?ListType";
            public static readonly string ListLiteral = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?cons";
            public static readonly string ListEnd = "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?nil_constant";
    
            public static readonly string Sin = "Sin";
            public static readonly string Cos = "Cos";
            public static readonly string Add = "Add";
            public static readonly string Divide = "Divide";
            public static readonly string Multiply = "Multiply";
            public static readonly string Subtract = "Subtract";