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 W_{\psi_n}(t,f) = (-1)^n l_n \big(4\pi (t^2 + f^2) \big),}
... is translated to the CAS output ...
Semantic latex: W_{\psi_n}(t , f) =(- 1)^n l_n(4 \cpi(t^2 + f^2))
Confidence: 0
Mathematica
Translation: Subscript[W, Subscript[\[Psi], n]][t , f] == (- 1)^(n)* Subscript[l, n]*(4*Pi*((t)^(2)+ (f)^(2)))
Information
Sub Equations
- Subscript[W, Subscript[\[Psi], n]][t , f] = (- 1)^(n)* Subscript[l, n]*(4*Pi*((t)^(2)+ (f)^(2)))
Free variables
- Subscript[\[Psi], n]
- Subscript[l, n]
- f
- n
- t
Symbol info
- Could be The reciprocal Fibonacci constant.
But this system doesn't know how to translate it as a constant. It was translated as a general letter.
- 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: Symbol('{W}_{Symbol('{Symbol('psi')}_{n}')}')(t , f) == (- 1)**(n)* Symbol('{l}_{n}')*(4*pi*((t)**(2)+ (f)**(2)))
Information
Sub Equations
- Symbol('{W}_{Symbol('{Symbol('psi')}_{n}')}')(t , f) = (- 1)**(n)* Symbol('{l}_{n}')*(4*pi*((t)**(2)+ (f)**(2)))
Free variables
- Symbol('{Symbol('psi')}_{n}')
- Symbol('{l}_{n}')
- f
- n
- t
Symbol info
- Could be The reciprocal Fibonacci constant.
But this system doesn't know how to translate it as a constant. It was translated as a general letter.
- Pi was translated to: pi
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: W[psi[n]](t , f) = (- 1)^(n)* l[n]*(4*Pi*((t)^(2)+ (f)^(2)))
Information
Sub Equations
- W[psi[n]](t , f) = (- 1)^(n)* l[n]*(4*Pi*((t)^(2)+ (f)^(2)))
Free variables
- f
- l[n]
- n
- psi[n]
- t
Symbol info
- Could be The reciprocal Fibonacci constant.
But this system doesn't know how to translate it as a constant. It was translated as a general letter.
- 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_8ee89527a36ed4c950d129db70e6d4c5",
"formula" : "W_{\\psi_n}(t,f) = (-1)^n l_n (4\\pi (t^2 + f^2) )",
"semanticFormula" : "W_{\\psi_n}(t , f) =(- 1)^n l_n(4 \\cpi(t^2 + f^2))",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[W, Subscript[\\[Psi], n]][t , f] == (- 1)^(n)* Subscript[l, n]*(4*Pi*((t)^(2)+ (f)^(2)))",
"translationInformation" : {
"subEquations" : [ "Subscript[W, Subscript[\\[Psi], n]][t , f] = (- 1)^(n)* Subscript[l, n]*(4*Pi*((t)^(2)+ (f)^(2)))" ],
"freeVariables" : [ "Subscript[\\[Psi], n]", "Subscript[l, n]", "f", "n", "t" ],
"tokenTranslations" : {
"\\psi" : "Could be The reciprocal Fibonacci constant.\nBut this system doesn't know how to translate it as a constant. It was translated as a general letter.\n",
"\\cpi" : "Pi was translated to: Pi",
"W" : "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" : "Symbol('{W}_{Symbol('{Symbol('psi')}_{n}')}')(t , f) == (- 1)**(n)* Symbol('{l}_{n}')*(4*pi*((t)**(2)+ (f)**(2)))",
"translationInformation" : {
"subEquations" : [ "Symbol('{W}_{Symbol('{Symbol('psi')}_{n}')}')(t , f) = (- 1)**(n)* Symbol('{l}_{n}')*(4*pi*((t)**(2)+ (f)**(2)))" ],
"freeVariables" : [ "Symbol('{Symbol('psi')}_{n}')", "Symbol('{l}_{n}')", "f", "n", "t" ],
"tokenTranslations" : {
"\\psi" : "Could be The reciprocal Fibonacci constant.\nBut this system doesn't know how to translate it as a constant. It was translated as a general letter.\n",
"\\cpi" : "Pi was translated to: pi",
"W" : "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" : [ ]
}
},
"Maple" : {
"translation" : "W[psi[n]](t , f) = (- 1)^(n)* l[n]*(4*Pi*((t)^(2)+ (f)^(2)))",
"translationInformation" : {
"subEquations" : [ "W[psi[n]](t , f) = (- 1)^(n)* l[n]*(4*Pi*((t)^(2)+ (f)^(2)))" ],
"freeVariables" : [ "f", "l[n]", "n", "psi[n]", "t" ],
"tokenTranslations" : {
"\\psi" : "Could be The reciprocal Fibonacci constant.\nBut this system doesn't know how to translate it as a constant. It was translated as a general letter.\n",
"\\cpi" : "Pi was translated to: Pi",
"W" : "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" : [ "f", "\\psi_{n}", "H_{n}(x)", "\\psi_{n}(x)", "W_{\\psi_n}(t,f) = (-1)^n l_n \\big(4\\pi (t^2 + f^2) \\big)", "x^{n}", "n", "t", "H_{n}", "He_{n}(x)", "H_{n}(y)", "He_{n}", "D_{n}(z)", "W" ],
"isPartOf" : [ "W_{\\psi_n}(t,f) = (-1)^n l_n \\big(4\\pi (t^2 + f^2) \\big)" ],
"definiens" : [ ]
}