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 _2F_1}
... is translated to the CAS output ...
Semantic latex: _2F_1
Confidence: 0
Mathematica
Translation: Subscript[$0, 2]*Subscript[F, 1]
Information
Sub Equations
- Subscript[$0, 2]*Subscript[F, 1]
Free variables
- Subscript[F, 1]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{$0}_{2}')*Symbol('{F}_{1}')
Information
Sub Equations
- Symbol('{$0}_{2}')*Symbol('{F}_{1}')
Free variables
- Symbol('{F}_{1}')
Tests
Symbolic
Numeric
Maple
Translation: $0[2]*F[1]
Information
Sub Equations
- $0[2]*F[1]
Free variables
- F[1]
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- second
- term of the hypergeometric function
- first solution
- gamma function
- independent solution
- differential equation
- second order
Complete translation information:
{
"id" : "FORMULA_96657d3048038a322aefc8df061b050a",
"formula" : "_2F_1",
"semanticFormula" : "_2F_1",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[$0, 2]*Subscript[F, 1]",
"translationInformation" : {
"subEquations" : [ "Subscript[$0, 2]*Subscript[F, 1]" ],
"freeVariables" : [ "Subscript[F, 1]" ]
},
"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('{$0}_{2}')*Symbol('{F}_{1}')",
"translationInformation" : {
"subEquations" : [ "Symbol('{$0}_{2}')*Symbol('{F}_{1}')" ],
"freeVariables" : [ "Symbol('{F}_{1}')" ]
},
"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" : "$0[2]*F[1]",
"translationInformation" : {
"subEquations" : [ "$0[2]*F[1]" ],
"freeVariables" : [ "F[1]" ]
},
"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" : 2,
"sentence" : 0,
"word" : 30
} ],
"includes" : [ ],
"isPartOf" : [ "Q_{\\lambda}^{\\mu}(z) = \\frac{\\sqrt{\\pi}\\ \\Gamma(\\lambda+\\mu+1)}{2^{\\lambda+1}\\Gamma(\\lambda+3/2)}\\frac{e^{i\\mu\\pi}(z^2-1)^{\\mu/2}}{z^{\\lambda+\\mu+1}} \\,_2F_1 \\left(\\frac{\\lambda+\\mu+1}{2}, \\frac{\\lambda+\\mu+2}{2}; \\lambda+\\frac{3}{2}; \\frac{1}{z^2}\\right),\\qquad \\text{for}\\ \\ |z|>1" ],
"definiens" : [ {
"definition" : "second",
"score" : 0.6871135306205209
}, {
"definition" : "term of the hypergeometric function",
"score" : 0.6859086196238077
}, {
"definition" : "first solution",
"score" : 0.660423639753057
}, {
"definition" : "gamma function",
"score" : 0.660423639753057
}, {
"definition" : "independent solution",
"score" : 0.5988174995334326
}, {
"definition" : "differential equation",
"score" : 0.46655930748162855
}, {
"definition" : "second order",
"score" : 0.46655930748162855
} ]
}