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 c_{lm} = (-1)^m \frac{(\ell-m)!}{(\ell+m)!}}
... is translated to the CAS output ...
Semantic latex: c_{lm} = (-1)^m \frac{(\ell-m)!}{(\ell+m)!}
Confidence: 0
Mathematica
Translation: Subscript[c, l, m] == (- 1)^(m)*Divide[(\[ScriptL]- m)!,(\[ScriptL]+ m)!]
Information
Sub Equations
- Subscript[c, l, m] = (- 1)^(m)*Divide[(\[ScriptL]- m)!,(\[ScriptL]+ m)!]
Free variables
- Subscript[c, l, m]
- \[ScriptL]
- l
- m
Symbol info
- was translated to: \[ScriptL]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{c}_{l, m}') == (- 1)**(m)*(factorial(Symbol(r'\ell')- m))/(factorial(Symbol(r'\ell')+ m))
Information
Sub Equations
- Symbol('{c}_{l, m}') = (- 1)**(m)*(factorial(Symbol(r'\ell')- m))/(factorial(Symbol(r'\ell')+ m))
Free variables
- Symbol('{c}_{l, m}')
- Symbol(r'\ell')
- l
- m
Symbol info
- was translated to: Symbol(r'\ell')
Tests
Symbolic
Numeric
Maple
Translation: c[l, m] = (- 1)^(m)*(factorial(ell - m))/(factorial(ell + m))
Information
Sub Equations
- c[l, m] = (- 1)^(m)*(factorial(ell - m))/(factorial(ell + m))
Free variables
- c[l, m]
- ell
- l
- m
Symbol info
- was translated to: ell
Tests
Symbolic
Numeric
Dependency Graph Information
Description
- TeX Source
- Gold ID
- c
- ell-m
- Formula
- link
- lm
- m
- frac
Complete translation information:
{
"id" : "FORMULA_6f29e15c07089506a70db1b3f54b27a5",
"formula" : "c_{lm} = (-1)^m \\frac{(\\ell-m)!}{(\\ell+m)!}",
"semanticFormula" : "c_{lm} = (-1)^m \\frac{(\\ell-m)!}{(\\ell+m)!}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[c, l, m] == (- 1)^(m)*Divide[(\\[ScriptL]- m)!,(\\[ScriptL]+ m)!]",
"translationInformation" : {
"subEquations" : [ "Subscript[c, l, m] = (- 1)^(m)*Divide[(\\[ScriptL]- m)!,(\\[ScriptL]+ m)!]" ],
"freeVariables" : [ "Subscript[c, l, m]", "\\[ScriptL]", "l", "m" ],
"tokenTranslations" : {
"\\ell" : "was translated to: \\[ScriptL]"
}
},
"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('{c}_{l, m}') == (- 1)**(m)*(factorial(Symbol(r'\\ell')- m))/(factorial(Symbol(r'\\ell')+ m))",
"translationInformation" : {
"subEquations" : [ "Symbol('{c}_{l, m}') = (- 1)**(m)*(factorial(Symbol(r'\\ell')- m))/(factorial(Symbol(r'\\ell')+ m))" ],
"freeVariables" : [ "Symbol('{c}_{l, m}')", "Symbol(r'\\ell')", "l", "m" ],
"tokenTranslations" : {
"\\ell" : "was translated to: Symbol(r'\\ell')"
}
},
"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" : "c[l, m] = (- 1)^(m)*(factorial(ell - m))/(factorial(ell + m))",
"translationInformation" : {
"subEquations" : [ "c[l, m] = (- 1)^(m)*(factorial(ell - m))/(factorial(ell + m))" ],
"freeVariables" : [ "c[l, m]", "ell", "l", "m" ],
"tokenTranslations" : {
"\\ell" : "was translated to: ell"
}
},
"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" : 1,
"sentence" : 0,
"word" : 8
} ],
"includes" : [ ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "TeX Source",
"score" : 0.722
}, {
"definition" : "Gold ID",
"score" : 0.7125985104912714
}, {
"definition" : "c",
"score" : 0.6859086196238077
}, {
"definition" : "ell-m",
"score" : 0.6859086196238077
}, {
"definition" : "Formula",
"score" : 0.6859086196238077
}, {
"definition" : "link",
"score" : 0.6859086196238077
}, {
"definition" : "lm",
"score" : 0.6460746792928004
}, {
"definition" : "m",
"score" : 0.6460746792928004
}, {
"definition" : "frac",
"score" : 0.5988174995334326
} ]
}