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 (-1)^S}
... is translated to the CAS output ...
Semantic latex: (-1)^S
Confidence: 0
Mathematica
Translation: (- 1)^(S)
Information
Sub Equations
- (- 1)^(S)
Free variables
- S
Tests
Symbolic
Numeric
SymPy
Translation: (- 1)**(S)
Information
Sub Equations
- (- 1)**(S)
Free variables
- S
Tests
Symbolic
Numeric
Maple
Translation: (- 1)^(S)
Information
Sub Equations
- (- 1)^(S)
Free variables
- S
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- phase factor
- example
- odd permutation of row
- column
Complete translation information:
{
"id" : "FORMULA_407f751cd010122d5e0f5f2348a746ce",
"formula" : "(-1)^S",
"semanticFormula" : "(-1)^S",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(- 1)^(S)",
"translationInformation" : {
"subEquations" : [ "(- 1)^(S)" ],
"freeVariables" : [ "S" ]
},
"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" : "(- 1)**(S)",
"translationInformation" : {
"subEquations" : [ "(- 1)**(S)" ],
"freeVariables" : [ "S" ]
},
"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" : "(- 1)^(S)",
"translationInformation" : {
"subEquations" : [ "(- 1)^(S)" ],
"freeVariables" : [ "S" ]
},
"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" : 1,
"word" : 11
} ],
"includes" : [ ],
"isPartOf" : [ "\\begin{Bmatrix} j_1 & j_2 & j_3\\\\ j_4 & j_5 & j_6\\\\ j_7 & j_8 & j_9 \\end{Bmatrix} = (-1)^S \\begin{Bmatrix} j_4 & j_5 & j_6\\\\ j_1 & j_2 & j_3\\\\ j_7 & j_8 & j_9 \\end{Bmatrix} = (-1)^S \\begin{Bmatrix} j_2 & j_1 & j_3\\\\ j_5 & j_4 & j_6\\\\ j_8 & j_7 & j_9 \\end{Bmatrix}" ],
"definiens" : [ {
"definition" : "phase factor",
"score" : 0.722
}, {
"definition" : "example",
"score" : 0.6871135306205209
}, {
"definition" : "odd permutation of row",
"score" : 0.6859086196238077
}, {
"definition" : "column",
"score" : 0.5988174995334326
} ]
}