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 K_\nu \left (x e^{\frac{\pi i}{4}} \right ),\,}
... is translated to the CAS output ...
Semantic latex: K_\nu(x \expe^{\frac{\cpi \iunit}{4}})
Confidence: 0
Mathematica
Translation: Subscript[K, \[Nu]][x*Exp[Divide[Pi*I,4]]]
Information
Sub Equations
- Subscript[K, \[Nu]][x*Exp[Divide[Pi*I,4]]]
Free variables
- \[Nu]
- x
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('{K}_{Symbol('nu')}')(x*exp((pi*I)/(4)))
Information
Sub Equations
- Symbol('{K}_{Symbol('nu')}')(x*exp((pi*I)/(4)))
Free variables
- Symbol('nu')
- x
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: K[nu](x*exp((Pi*I)/(4)))
Information
Sub Equations
- K[nu](x*exp((Pi*I)/(4)))
Free variables
- nu
- x
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
Is part of
Complete translation information:
{
"id" : "FORMULA_3a8faf0c7f3575e78a5d67151a67ed59",
"formula" : "K_\\nu \\left (x e^{\\frac{\\pi i}{4}} \\right )",
"semanticFormula" : "K_\\nu(x \\expe^{\\frac{\\cpi \\iunit}{4}})",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[K, \\[Nu]][x*Exp[Divide[Pi*I,4]]]",
"translationInformation" : {
"subEquations" : [ "Subscript[K, \\[Nu]][x*Exp[Divide[Pi*I,4]]]" ],
"freeVariables" : [ "\\[Nu]", "x" ],
"tokenTranslations" : {
"K" : "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('{K}_{Symbol('nu')}')(x*exp((pi*I)/(4)))",
"translationInformation" : {
"subEquations" : [ "Symbol('{K}_{Symbol('nu')}')(x*exp((pi*I)/(4)))" ],
"freeVariables" : [ "Symbol('nu')", "x" ],
"tokenTranslations" : {
"K" : "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" : "K[nu](x*exp((Pi*I)/(4)))",
"translationInformation" : {
"subEquations" : [ "K[nu](x*exp((Pi*I)/(4)))" ],
"freeVariables" : [ "nu", "x" ],
"tokenTranslations" : {
"K" : "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" : [ ],
"includes" : [ "J_{\\nu}(z)", "K_\\nu \\left (x e^{\\frac{\\pi i}{4}} \\right ),", "_{\\nu}(x)", "x", "K_{\\nu}(z)" ],
"isPartOf" : [ "K_\\nu \\left (x e^{\\frac{\\pi i}{4}} \\right ),", "J_\\nu \\left (x e^{\\frac{3 \\pi i}{4}} \\right )," ],
"definiens" : [ ]
}