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_a(z)=\frac{1}{\sqrt{\pi }}{2^{a/2} e^{-\frac{z^2}{4}} \left(\cos \left(\frac{\pi a}{2}\right) \Gamma \left(\frac{a+1}{2}\right) \, _1F_1\left(-\frac{a}{2};\frac{1}{2};\frac{z^2}{2}\right)+\sqrt{2} z \sin \left(\frac{\pi a}{2}\right) \Gamma \left(\frac{a}{2}+1\right) \, _1F_1\left(\frac{1}{2}-\frac{a}{2};\frac{3}{2};\frac{z^2}{2}\right)\right)}.}

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

Semantic latex: \WhittakerparaD{a}@{z} = \frac{1}{\sqrt{\cpi}}{2^{a/2} \expe^{-\frac{z^2}{4}}(\cos(\frac{\cpi a}{2}) \Gamma(\frac{a+1}{2})_1 F_1(- \frac{a}{2} ; \frac{1}{2} ; \frac{z^2}{2}) + \sqrt{2} z \sin(\frac{\cpi a}{2}) \Gamma(\frac{a}{2} + 1)_1 F_1(\frac{1}{2} - \frac{a}{2} ; \frac{3}{2} ; \frac{z^2}{2}))}

Confidence: 0.65507224125177

Mathematica

Translation: ParabolicCylinderD[a, z] == Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])

Information

Sub Equations

  • ParabolicCylinderD[a, z] = Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])

Free variables

  • \[CapitalGamma]
  • a
  • z

Symbol info

  • Cosine; Example: \cos@@{z}

Will be translated to: Cos[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E2 Mathematica: https://reference.wolfram.com/language/ref/Cos.html

  • Recognizes e with power as the exponential function. It was translated as a function.
  • Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
  • Sine; Example: \sin@@{z}

Will be translated to: Sin[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E1 Mathematica: https://reference.wolfram.com/language/ref/Sin.html

  • Whittaker's notation D for the parabolic cylinder function; Example: \WhittakerparaD{\nu}@{z}

Will be translated to: ParabolicCylinderD[$0, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/12.1 Mathematica: https://reference.wolfram.com/language/ref/ParabolicCylinderD.html

  • Pi was translated to: Pi
  • Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \WhittakerparaD [\WhittakerparaD]

Tests

Symbolic
Numeric

Maple

Translation: CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))

Information

Sub Equations

  • CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))

Free variables

  • Gamma
  • a
  • z

Symbol info

  • Cosine; Example: \cos@@{z}

Will be translated to: cos($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E2 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=cos

  • Recognizes e with power as the exponential function. It was translated as a function.
  • Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
  • Sine; Example: \sin@@{z}

Will be translated to: sin($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=sin

  • Whittaker's notation D for the parabolic cylinder function; Example: \WhittakerparaD{\nu}@{z}

Will be translated to: CylinderD($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/12.1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=CylinderD

  • Pi was translated to: Pi
  • Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Is part of

Complete translation information:

{
  "id" : "FORMULA_899fac88f5b50fa673182d33f810850c",
  "formula" : "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right)  _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right)  _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}",
  "semanticFormula" : "\\WhittakerparaD{a}@{z} = \\frac{1}{\\sqrt{\\cpi}}{2^{a/2} \\expe^{-\\frac{z^2}{4}}(\\cos(\\frac{\\cpi a}{2}) \\Gamma(\\frac{a+1}{2})_1 F_1(- \\frac{a}{2} ; \\frac{1}{2} ; \\frac{z^2}{2}) + \\sqrt{2} z \\sin(\\frac{\\cpi a}{2}) \\Gamma(\\frac{a}{2} + 1)_1 F_1(\\frac{1}{2} - \\frac{a}{2} ; \\frac{3}{2} ; \\frac{z^2}{2}))}",
  "confidence" : 0.6550722412517715,
  "translations" : {
    "Mathematica" : {
      "translation" : "ParabolicCylinderD[a, z] == Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])",
      "translationInformation" : {
        "subEquations" : [ "ParabolicCylinderD[a, z] = Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])" ],
        "freeVariables" : [ "\\[CapitalGamma]", "a", "z" ],
        "tokenTranslations" : {
          "\\cos" : "Cosine; Example: \\cos@@{z}\nWill be translated to: Cos[$0]\nRelevant links to definitions:\nDLMF:         http://dlmf.nist.gov/4.14#E2\nMathematica:  https://reference.wolfram.com/language/ref/Cos.html",
          "\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
          "F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
          "\\sin" : "Sine; Example: \\sin@@{z}\nWill be translated to: Sin[$0]\nRelevant links to definitions:\nDLMF:         http://dlmf.nist.gov/4.14#E1\nMathematica:  https://reference.wolfram.com/language/ref/Sin.html",
          "\\WhittakerparaD" : "Whittaker's notation D for the parabolic cylinder function; Example: \\WhittakerparaD{\\nu}@{z}\nWill be translated to: ParabolicCylinderD[$0, $1]\nRelevant links to definitions:\nDLMF:         http://dlmf.nist.gov/12.1\nMathematica:  https://reference.wolfram.com/language/ref/ParabolicCylinderD.html",
          "\\cpi" : "Pi was translated to: Pi",
          "\\Gamma" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
        }
      },
      "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" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\WhittakerparaD [\\WhittakerparaD]"
        }
      },
      "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" : "CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))",
      "translationInformation" : {
        "subEquations" : [ "CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))" ],
        "freeVariables" : [ "Gamma", "a", "z" ],
        "tokenTranslations" : {
          "\\cos" : "Cosine; Example: \\cos@@{z}\nWill be translated to: cos($0)\nRelevant links to definitions:\nDLMF:  http://dlmf.nist.gov/4.14#E2\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=cos",
          "\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
          "F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
          "\\sin" : "Sine; Example: \\sin@@{z}\nWill be translated to: sin($0)\nRelevant links to definitions:\nDLMF:  http://dlmf.nist.gov/4.14#E1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=sin",
          "\\WhittakerparaD" : "Whittaker's notation D for the parabolic cylinder function; Example: \\WhittakerparaD{\\nu}@{z}\nWill be translated to: CylinderD($0, $1)\nRelevant links to definitions:\nDLMF:  http://dlmf.nist.gov/12.1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=CylinderD",
          "\\cpi" : "Pi was translated to: Pi",
          "\\Gamma" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
        }
      },
      "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" : [ ],
  "includes" : [ "a", "z", "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right) \\, _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right) \\, _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}", "_{a}", "D_{p}(x)" ],
  "isPartOf" : [ "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right) \\, _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi  a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right) \\, _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}" ],
  "definiens" : [ ]
}

Specify your own input