LaTeX to CAS translator

Jump to navigation Jump to search

This mockup demonstrates the concept of TeX to Computer Algebra System (CAS) conversion.

The demo-application converts LaTeX functions which directly translate to CAS counterparts.

Functions without explicit CAS support are available for translation via a DRMF package (under development).

The following LaTeX input ...

{\displaystyle j = m = 0}

... is translated to the CAS output ...

Semantic latex: j = m = 0

Confidence: 0

Mathematica

Translation: j == m == 0

Information

Sub Equations

  • j = m
  • m = 0

Free variables

  • j
  • m

Tests

Symbolic

Test expression: (j)-(m)

ERROR:

{
    "result": "ERROR",
    "testTitle": "Simple",
    "testExpression": null,
    "resultExpression": null,
    "wasAborted": false,
    "conditionallySuccessful": false
}

Test expression: (m)-(0)

ERROR:

{
    "result": "ERROR",
    "testTitle": "Simple",
    "testExpression": null,
    "resultExpression": null,
    "wasAborted": false,
    "conditionallySuccessful": false
}
Numeric

SymPy

Translation: j == m == 0

Information

Sub Equations

  • j = m
  • m = 0

Free variables

  • j
  • m

Tests

Symbolic
Numeric

Maple

Translation: j = m = 0

Information

Sub Equations

  • j = m
  • m = 0

Free variables

  • j
  • m

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Description

  • zero-angular-momentum state

Complete translation information:

{
  "id" : "FORMULA_6d685699e1ecdc98118026c1eacf0af0",
  "formula" : "j = m = 0",
  "semanticFormula" : "j = m = 0",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "j == m == 0",
      "translationInformation" : {
        "subEquations" : [ "j = m", "m = 0" ],
        "freeVariables" : [ "j", "m" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "ERROR",
        "numberOfTests" : 2,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 2,
        "crashed" : false,
        "testCalculationsGroup" : [ {
          "lhs" : "j",
          "rhs" : "m",
          "testExpression" : "(j)-(m)",
          "testCalculations" : [ {
            "result" : "ERROR",
            "testTitle" : "Simple",
            "testExpression" : null,
            "resultExpression" : null,
            "wasAborted" : false,
            "conditionallySuccessful" : false
          } ]
        }, {
          "lhs" : "m",
          "rhs" : "0",
          "testExpression" : "(m)-(0)",
          "testCalculations" : [ {
            "result" : "ERROR",
            "testTitle" : "Simple",
            "testExpression" : null,
            "resultExpression" : null,
            "wasAborted" : false,
            "conditionallySuccessful" : false
          } ]
        } ]
      }
    },
    "SymPy" : {
      "translation" : "j == m == 0",
      "translationInformation" : {
        "subEquations" : [ "j = m", "m = 0" ],
        "freeVariables" : [ "j", "m" ]
      }
    },
    "Maple" : {
      "translation" : "j = m = 0",
      "translationInformation" : {
        "subEquations" : [ "j = m", "m = 0" ],
        "freeVariables" : [ "j", "m" ]
      }
    }
  },
  "positions" : [ {
    "section" : 2,
    "sentence" : 2,
    "word" : 7
  } ],
  "includes" : [ "j", "m" ],
  "isPartOf" : [ ],
  "definiens" : [ {
    "definition" : "zero-angular-momentum state",
    "score" : 0.722
  } ]
}

Specify your own input