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 H_{-v}^{(1)}(z,w)=e^{v\pi i}H_v^{(1)}(z,w)}
... is translated to the CAS output ...
Semantic latex: H_{-v}^{(1)}(z , w) = \expe^{v \cpi \iunit} H_v^{(1)}(z , w)
Confidence: 0
Mathematica
Translation: (Subscript[H, - v])^(1)[z , w] == Exp[v*Pi*I]*(Subscript[H, v])^(1)[z , w]
Information
Sub Equations
- (Subscript[H, - v])^(1)[z , w] = Exp[v*Pi*I]*(Subscript[H, v])^(1)[z , w]
Free variables
- v
- w
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- 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
Tests
Symbolic
Numeric
SymPy
Translation: (Symbol('{H}_{- v}'))**(1)(z , w) == exp(v*pi*I)*(Symbol('{H}_{v}'))**(1)(z , w)
Information
Sub Equations
- (Symbol('{H}_{- v}'))**(1)(z , w) = exp(v*pi*I)*(Symbol('{H}_{v}'))**(1)(z , w)
Free variables
- v
- w
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- 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
Tests
Symbolic
Numeric
Maple
Translation: (H[- v])^(1)(z , w) = exp(v*Pi*I)*(H[v])^(1)(z , w)
Information
Sub Equations
- (H[- v])^(1)(z , w) = exp(v*Pi*I)*(H[v])^(1)(z , w)
Free variables
- v
- w
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- 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
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- z
- v
- TeX Source
- h
- Gold ID
- link
- Formula
- H_v
- e
- pi
Complete translation information:
{
"id" : "FORMULA_35ab66efafff0de40d98c0778ebb63c3",
"formula" : "H_{-v}^{(1)}(z,w)=e^{v\\pi i}H_v^{(1)}(z,w)",
"semanticFormula" : "H_{-v}^{(1)}(z , w) = \\expe^{v \\cpi \\iunit} H_v^{(1)}(z , w)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(Subscript[H, - v])^(1)[z , w] == Exp[v*Pi*I]*(Subscript[H, v])^(1)[z , w]",
"translationInformation" : {
"subEquations" : [ "(Subscript[H, - v])^(1)[z , w] = Exp[v*Pi*I]*(Subscript[H, v])^(1)[z , w]" ],
"freeVariables" : [ "v", "w", "z" ],
"tokenTranslations" : {
"H" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\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"
}
},
"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('{H}_{- v}'))**(1)(z , w) == exp(v*pi*I)*(Symbol('{H}_{v}'))**(1)(z , w)",
"translationInformation" : {
"subEquations" : [ "(Symbol('{H}_{- v}'))**(1)(z , w) = exp(v*pi*I)*(Symbol('{H}_{v}'))**(1)(z , w)" ],
"freeVariables" : [ "v", "w", "z" ],
"tokenTranslations" : {
"H" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\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"
}
},
"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" : "(H[- v])^(1)(z , w) = exp(v*Pi*I)*(H[v])^(1)(z , w)",
"translationInformation" : {
"subEquations" : [ "(H[- v])^(1)(z , w) = exp(v*Pi*I)*(H[v])^(1)(z , w)" ],
"freeVariables" : [ "v", "w", "z" ],
"tokenTranslations" : {
"H" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\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"
}
},
"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" : [ "^{(1)}" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "z",
"score" : 0.8227064776126595
}, {
"definition" : "v",
"score" : 0.8115760396974167
}, {
"definition" : "TeX Source",
"score" : 0.722
}, {
"definition" : "h",
"score" : 0.6954080343007951
}, {
"definition" : "Gold ID",
"score" : 0.6687181434333315
}, {
"definition" : "link",
"score" : 0.6288842031023242
}, {
"definition" : "Formula",
"score" : 0.5816270233429564
}, {
"definition" : "H_v",
"score" : 0.5816270233429564
}, {
"definition" : "e",
"score" : 0.5329047619047619
}, {
"definition" : "pi",
"score" : 0.5329047619047619
} ]
}