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 (a_1,a_2,\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \ldots (a_m;q)_n}
... is translated to the CAS output ...
Semantic latex: (a_1,a_2,\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \ldots (a_m;q)_n
Confidence: 0
Mathematica
Translation: Subscript[Subscript[a, 1], Subscript[a, 2], \[Ellipsis], Subscript[a, m]; q, n] == Subscript[Subscript[a, 1]; q, n]*Subscript[Subscript[a, 2]; q, n] \[Ellipsis]Subscript[Subscript[a, m]; q, n]
Information
Sub Equations
- Subscript[Subscript[a, 1], Subscript[a, 2], \[Ellipsis], Subscript[a, m]; q, n] = Subscript[Subscript[a, 1]; q, n]*Subscript[Subscript[a, 2]; q, n] \[Ellipsis]Subscript[Subscript[a, m]; q, n]
Free variables
- Subscript[a, 1]
- Subscript[a, 2]
- Subscript[a, m]
- m
- n
- q
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{Symbol('{a}_{1}'), Symbol('{a}_{2}'), null , Symbol('{a}_{m}'); q}_{n}') == Symbol('{Symbol('{a}_{1}'); q}_{n}')*Symbol('{Symbol('{a}_{2}'); q}_{n}') null Symbol('{Symbol('{a}_{m}'); q}_{n}')
Information
Sub Equations
- Symbol('{Symbol('{a}_{1}'), Symbol('{a}_{2}'), null , Symbol('{a}_{m}'); q}_{n}') = Symbol('{Symbol('{a}_{1}'); q}_{n}')*Symbol('{Symbol('{a}_{2}'); q}_{n}') null Symbol('{Symbol('{a}_{m}'); q}_{n}')
Free variables
- Symbol('{a}_{1}')
- Symbol('{a}_{2}')
- Symbol('{a}_{m}')
- m
- n
- q
Tests
Symbolic
Numeric
Maple
Translation: a[1], a[2], .. , a[m]; q[n] = a[1]; q[n]*a[2]; q[n] .. a[m]; q[n]
Information
Sub Equations
- a[1], a[2], .. , a[m]; q[n] = a[1]; q[n]*a[2]; q[n] .. a[m]; q[n]
Free variables
- a[1]
- a[2]
- a[m]
- m
- n
- q
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- unilateral basic hypergeometric series
Complete translation information:
{
"id" : "FORMULA_8e5c0e43fa4ce2a72404345275d89d85",
"formula" : "(a_1,a_2,\\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \\ldots (a_m;q)_n",
"semanticFormula" : "(a_1,a_2,\\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \\ldots (a_m;q)_n",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[Subscript[a, 1], Subscript[a, 2], \\[Ellipsis], Subscript[a, m]; q, n] == Subscript[Subscript[a, 1]; q, n]*Subscript[Subscript[a, 2]; q, n] \\[Ellipsis]Subscript[Subscript[a, m]; q, n]",
"translationInformation" : {
"subEquations" : [ "Subscript[Subscript[a, 1], Subscript[a, 2], \\[Ellipsis], Subscript[a, m]; q, n] = Subscript[Subscript[a, 1]; q, n]*Subscript[Subscript[a, 2]; q, n] \\[Ellipsis]Subscript[Subscript[a, m]; q, n]" ],
"freeVariables" : [ "Subscript[a, 1]", "Subscript[a, 2]", "Subscript[a, m]", "m", "n", "q" ]
},
"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('{Symbol('{a}_{1}'), Symbol('{a}_{2}'), null , Symbol('{a}_{m}'); q}_{n}') == Symbol('{Symbol('{a}_{1}'); q}_{n}')*Symbol('{Symbol('{a}_{2}'); q}_{n}') null Symbol('{Symbol('{a}_{m}'); q}_{n}')",
"translationInformation" : {
"subEquations" : [ "Symbol('{Symbol('{a}_{1}'), Symbol('{a}_{2}'), null , Symbol('{a}_{m}'); q}_{n}') = Symbol('{Symbol('{a}_{1}'); q}_{n}')*Symbol('{Symbol('{a}_{2}'); q}_{n}') null Symbol('{Symbol('{a}_{m}'); q}_{n}')" ],
"freeVariables" : [ "Symbol('{a}_{1}')", "Symbol('{a}_{2}')", "Symbol('{a}_{m}')", "m", "n", "q" ]
},
"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" : "a[1], a[2], .. , a[m]; q[n] = a[1]; q[n]*a[2]; q[n] .. a[m]; q[n]",
"translationInformation" : {
"subEquations" : [ "a[1], a[2], .. , a[m]; q[n] = a[1]; q[n]*a[2]; q[n] .. a[m]; q[n]" ],
"freeVariables" : [ "a[1]", "a[2]", "a[m]", "m", "n", "q" ]
},
"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" : 1,
"word" : 12
} ],
"includes" : [ "q", "x_{n}", "n", "a" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "unilateral basic hypergeometric series",
"score" : 0.6460746792928004
} ]
}