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 P_\lambda(z) =P^0_\lambda(z) = \frac{1}{2\pi i} \int_{1,z} \frac{(t^2-1)^\lambda}{2^\lambda(t-z)^{\lambda+1}}dt}
... is translated to the CAS output ...
Semantic latex: \LegendrepolyP{\lambda}@{z} = \assLegendreP[0]{\lambda}@{z} = \frac{1}{2 \cpi \iunit} \int_{1,z} \frac{(t^2-1)^\lambda}{2^\lambda(t-z)^{\lambda+1}} \diff{t}
Confidence: 0.58939532757691
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Unable to identify interval of INT
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \LegendrepolyP [\LegendrepolyP]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Unable to identify interval of INT
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_5bb2c3c39f7e679fd853f5f582742a5a",
"formula" : "P_\\lambda(z) =P^0_\\lambda(z) = \\frac{1}{2\\pi i}\n \\int_{1,z} \\frac{(t^2-1)^\\lambda}{2^\\lambda(t-z)^{\\lambda+1}}dt",
"semanticFormula" : "\\LegendrepolyP{\\lambda}@{z} = \\assLegendreP[0]{\\lambda}@{z} = \\frac{1}{2 \\cpi \\iunit} \\int_{1,z} \\frac{(t^2-1)^\\lambda}{2^\\lambda(t-z)^{\\lambda+1}} \\diff{t}",
"confidence" : 0.589395327576906,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Unable to identify interval of INT"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\LegendrepolyP [\\LegendrepolyP]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Unable to identify interval of INT"
}
}
}
},
"positions" : [ ],
"includes" : [ "z", "P_{n}", "\\lambda", "P_\\lambda(z) =P^0_\\lambda(z) = \\frac{1}{2\\pi i} \\int_{1,z} \\frac{(t^2-1)^\\lambda}{2^\\lambda(t-z)^{\\lambda+1}}dt", "P_s", "P", "-1" ],
"isPartOf" : [ "P_\\lambda(z) =P^0_\\lambda(z) = \\frac{1}{2\\pi i} \\int_{1,z} \\frac{(t^2-1)^\\lambda}{2^\\lambda(t-z)^{\\lambda+1}}dt" ],
"definiens" : [ ]
}