LaTeX to CAS translator
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_\nu \left (x e^{\frac{3 \pi i}{4}} \right ),\,}
... is translated to the CAS output ...
Semantic latex: \BesselJ{\nu}@{x \expe^{\frac{3 \cpi \iunit}{4}}}
Confidence: 0.59758394687773
Mathematica
Translation: BesselJ[\[Nu], x*Exp[Divide[3*Pi*I,4]]]
Information
Sub Equations
- BesselJ[\[Nu], x*Exp[Divide[3*Pi*I,4]]]
Free variables
- \[Nu]
- x
Symbol info
- Pi was translated to: Pi
- Recognizes e with power as the exponential function. It was translated as a function.
- Imaginary unit was translated to: I
- Bessel function first kind; Example: \BesselJ{v}@{z}
Will be translated to: BesselJ[$0, $1] Branch Cuts: if v \notin \Integers: (-\infty, 0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/10.2#E2 Mathematica: https://reference.wolfram.com/language/ref/BesselJ.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \BesselJ [\BesselJ]
Tests
Symbolic
Numeric
Maple
Translation: BesselJ(nu, x*exp((3*Pi*I)/(4)))
Information
Sub Equations
- BesselJ(nu, x*exp((3*Pi*I)/(4)))
Free variables
- nu
- x
Symbol info
- Pi was translated to: Pi
- Recognizes e with power as the exponential function. It was translated as a function.
- Imaginary unit was translated to: I
- Bessel function first kind; Example: \BesselJ{v}@{z}
Will be translated to: BesselJ($0, $1) Branch Cuts: if v \notin \Integers: (-\infty, 0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/10.2#E2 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=Bessel
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_3dfd3ea09e1e609e0b08b845235c49d4",
"formula" : "J_\\nu \\left (x e^{\\frac{3 \\pi i}{4}} \\right )",
"semanticFormula" : "\\BesselJ{\\nu}@{x \\expe^{\\frac{3 \\cpi \\iunit}{4}}}",
"confidence" : 0.5975839468777329,
"translations" : {
"Mathematica" : {
"translation" : "BesselJ[\\[Nu], x*Exp[Divide[3*Pi*I,4]]]",
"translationInformation" : {
"subEquations" : [ "BesselJ[\\[Nu], x*Exp[Divide[3*Pi*I,4]]]" ],
"freeVariables" : [ "\\[Nu]", "x" ],
"tokenTranslations" : {
"\\cpi" : "Pi was translated to: Pi",
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"\\iunit" : "Imaginary unit was translated to: I",
"\\BesselJ" : "Bessel function first kind; Example: \\BesselJ{v}@{z}\nWill be translated to: BesselJ[$0, $1]\nBranch Cuts: if v \\notin \\Integers: (-\\infty, 0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/10.2#E2\nMathematica: https://reference.wolfram.com/language/ref/BesselJ.html"
}
},
"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: \\BesselJ [\\BesselJ]"
}
},
"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" : "BesselJ(nu, x*exp((3*Pi*I)/(4)))",
"translationInformation" : {
"subEquations" : [ "BesselJ(nu, x*exp((3*Pi*I)/(4)))" ],
"freeVariables" : [ "nu", "x" ],
"tokenTranslations" : {
"\\cpi" : "Pi was translated to: Pi",
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"\\iunit" : "Imaginary unit was translated to: I",
"\\BesselJ" : "Bessel function first kind; Example: \\BesselJ{v}@{z}\nWill be translated to: BesselJ($0, $1)\nBranch Cuts: if v \\notin \\Integers: (-\\infty, 0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/10.2#E2\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=Bessel"
}
},
"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" : [ "J_{\\nu}(z)", "K_\\nu \\left (x e^{\\frac{\\pi i}{4}} \\right ),", "_{\\nu}(x)", "J_\\nu \\left (x e^{\\frac{3 \\pi i}{4}} \\right ),", "x", "K_{\\nu}(z)" ],
"isPartOf" : [ "J_\\nu \\left (x e^{\\frac{3 \\pi i}{4}} \\right )," ],
"definiens" : [ ]
}