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 d^l_{mn}}

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

Semantic latex: d_{mn}^l

Confidence: 0

Mathematica

Translation: (Subscript[d, m, n])^(l)

Information

Sub Equations

  • (Subscript[d, m, n])^(l)

Free variables

  • Subscript[d, m, n]
  • l
  • m
  • n

Tests

Symbolic
Numeric

SymPy

Translation: (Symbol('{d}_{m, n}'))**(l)

Information

Sub Equations

  • (Symbol('{d}_{m, n}'))**(l)

Free variables

  • Symbol('{d}_{m, n}')
  • l
  • m
  • n

Tests

Symbolic
Numeric

Maple

Translation: (d[m, n])^(l)

Information

Sub Equations

  • (d[m, n])^(l)

Free variables

  • d[m, n]
  • l
  • m
  • n

Tests

Symbolic
Numeric

Dependency Graph Information

Is part of

Description

  • Wigner function
  • symbol
  • better approximation
  • Regge symmetry

Complete translation information:

{
  "id" : "FORMULA_dd35bc6f2bbfaf5a4389fd8ab3b9d1cc",
  "formula" : "d^l_{mn}",
  "semanticFormula" : "d_{mn}^l",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "(Subscript[d, m, n])^(l)",
      "translationInformation" : {
        "subEquations" : [ "(Subscript[d, m, n])^(l)" ],
        "freeVariables" : [ "Subscript[d, m, n]", "l", "m", "n" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    },
    "SymPy" : {
      "translation" : "(Symbol('{d}_{m, n}'))**(l)",
      "translationInformation" : {
        "subEquations" : [ "(Symbol('{d}_{m, n}'))**(l)" ],
        "freeVariables" : [ "Symbol('{d}_{m, n}')", "l", "m", "n" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    },
    "Maple" : {
      "translation" : "(d[m, n])^(l)",
      "translationInformation" : {
        "subEquations" : [ "(d[m, n])^(l)" ],
        "freeVariables" : [ "d[m, n]", "l", "m", "n" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    }
  },
  "positions" : [ {
    "section" : 9,
    "sentence" : 0,
    "word" : 15
  } ],
  "includes" : [ ],
  "isPartOf" : [ "\\begin{pmatrix}  l_1 & l_2 & l_3\\\\  m_1 & m_2 & m_3\\end{pmatrix} \\approx (-1)^{l_3+m_3} \\frac{d^{l_1}_{m_1, l_3 - l_2}(\\theta)}{\\sqrt{2l_3 + 1}}", "\\begin{pmatrix}  l_1 & l_2 & l_3\\\\  m_1 & m_2 & m_3\\end{pmatrix} \\approx (-1)^{l_3+m_3} \\frac{ d^{l_1}_{m_1, l_3-l_2}(\\theta)}{\\sqrt{l_2+l_3+1}}" ],
  "definiens" : [ {
    "definition" : "Wigner function",
    "score" : 0.722
  }, {
    "definition" : "symbol",
    "score" : 0.7125985104912714
  }, {
    "definition" : "better approximation",
    "score" : 0.660423639753057
  }, {
    "definition" : "Regge symmetry",
    "score" : 0.573332519662682
  } ]
}

Specify your own input