ag-gipp/GoUldI

View on GitHub
data/180.json

Summary

Maintainability
Test Coverage
{
  "definitions" : {
    "n" : [ {
      "Q28920044" : "positive integer"
    } ],
    "k" : [ {
      "Q28920044" : "positive integer",
      "Q2303886" : "index number"
    } ],
    "x_k" : [ {
      "Q12916" : "real number"
    } ]
  },
  "constraints" : [ ],
  "math_inputtex" : "\\[n=x_{1}^{2}+x_{2}^{2}+\\dots+x_{k}^{2},\\]",
  "math_inputtex_semantic" : "\\w{Q28920044}{n} = \\w{Q12916}{x}_1^2 + x_2^2 + \\dots + x_{\\w{Q28920044}{k}}^2",
  "correct_tex" : "n=x_{1}^{2}+x_{2}^{2}+\\dots+x_{k}^{2}",
  "correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"n=x_{1}^{2}+x_{2}^{2}+\\dots+x_{k}^{2}\" display=\"inline\">\n  <semantics id=\"p1.1.m1.1a\">\n    <mrow id=\"p1.1.m1.1.16\" xref=\"p1.1.m1.1.16.cmml\">\n      <mi id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">n</mi>\n      <mo id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">=</mo>\n      <mrow id=\"p1.1.m1.1.16.1\" xref=\"p1.1.m1.1.16.1.cmml\">\n        <msubsup id=\"p1.1.m1.1.16.1.1\" xref=\"p1.1.m1.1.16.1.1.cmml\">\n          <mi id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">x</mi>\n          <mn id=\"p1.1.m1.1.4.1\" xref=\"p1.1.m1.1.4.1.cmml\">1</mn>\n          <mn id=\"p1.1.m1.1.5.1\" xref=\"p1.1.m1.1.5.1.cmml\">2</mn>\n        </msubsup>\n        <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">+</mo>\n        <msubsup id=\"p1.1.m1.1.16.1.2\" xref=\"p1.1.m1.1.16.1.2.cmml\">\n          <mi id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">x</mi>\n          <mn id=\"p1.1.m1.1.8.1\" xref=\"p1.1.m1.1.8.1.cmml\">2</mn>\n          <mn id=\"p1.1.m1.1.9.1\" xref=\"p1.1.m1.1.9.1.cmml\">2</mn>\n        </msubsup>\n        <mo id=\"p1.1.m1.1.6a\" xref=\"p1.1.m1.1.6.cmml\">+</mo>\n        <mi mathvariant=\"normal\" id=\"p1.1.m1.1.11\" xref=\"p1.1.m1.1.11.cmml\">…</mi>\n        <mo id=\"p1.1.m1.1.6b\" xref=\"p1.1.m1.1.6.cmml\">+</mo>\n        <msubsup id=\"p1.1.m1.1.16.1.3\" xref=\"p1.1.m1.1.16.1.3.cmml\">\n          <mi id=\"p1.1.m1.1.13\" xref=\"p1.1.m1.1.13.cmml\">x</mi>\n          <mi id=\"p1.1.m1.1.14.1\" xref=\"p1.1.m1.1.14.1.cmml\">k</mi>\n          <mn id=\"p1.1.m1.1.15.1\" xref=\"p1.1.m1.1.15.1.cmml\">2</mn>\n        </msubsup>\n      </mrow>\n    </mrow>\n    <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n      <apply id=\"p1.1.m1.1.16.cmml\" xref=\"p1.1.m1.1.16\">\n        <eq id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\"/>\n        <csymbol cd=\"latexml\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">Q28920044</csymbol>\n        <apply id=\"p1.1.m1.1.16.1.cmml\" xref=\"p1.1.m1.1.16.1\">\n          <plus id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\"/>\n          <apply id=\"p1.1.m1.1.16.1.1.cmml\" xref=\"p1.1.m1.1.16.1.1\">\n            <power  xref=\"p1.1.m1.1.16.1.1\"/>\n            <apply id=\"p1.1.m1.1.16.1.1.2.cmml\" xref=\"p1.1.m1.1.16.1.1\">\n              <csymbol cd=\"ambiguous\" id=\"p1.1.m1.1.16.1.1.2.1.cmml\" xref=\"p1.1.m1.1.16.1.1\">subscript</csymbol>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q12916</csymbol>\n              <cn type=\"integer\" id=\"p1.1.m1.1.4.1.cmml\" xref=\"p1.1.m1.1.4.1\">1</cn>\n            </apply>\n            <cn type=\"integer\" id=\"p1.1.m1.1.5.1.cmml\" xref=\"p1.1.m1.1.5.1\">2</cn>\n          </apply>\n          <apply id=\"p1.1.m1.1.16.1.2.cmml\" xref=\"p1.1.m1.1.16.1.2\">\n            <power  xref=\"p1.1.m1.1.16.1.2\"/>\n            <apply id=\"p1.1.m1.1.16.1.2.2.cmml\" xref=\"p1.1.m1.1.16.1.2\">\n              <csymbol cd=\"ambiguous\" id=\"p1.1.m1.1.16.1.2.2.1.cmml\" xref=\"p1.1.m1.1.16.1.2\">subscript</csymbol>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">Q12916</csymbol>\n              <cn type=\"integer\" id=\"p1.1.m1.1.8.1.cmml\" xref=\"p1.1.m1.1.8.1\">2</cn>\n            </apply>\n            <cn type=\"integer\" id=\"p1.1.m1.1.9.1.cmml\" xref=\"p1.1.m1.1.9.1\">2</cn>\n          </apply>\n          <ci id=\"p1.1.m1.1.11.cmml\" xref=\"p1.1.m1.1.11\">…</ci>\n          <apply id=\"p1.1.m1.1.16.1.3.cmml\" xref=\"p1.1.m1.1.16.1.3\">\n            <power  xref=\"p1.1.m1.1.16.1.3\"/>\n            <apply id=\"p1.1.m1.1.16.1.3.2.cmml\" xref=\"p1.1.m1.1.16.1.3\">\n              <csymbol cd=\"ambiguous\" id=\"p1.1.m1.1.16.1.3.2.1.cmml\" xref=\"p1.1.m1.1.16.1.3\">subscript</csymbol>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.13.cmml\" xref=\"p1.1.m1.1.13\">Q12916</csymbol>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.14.1.cmml\" xref=\"p1.1.m1.1.14.1\">Q28920044</csymbol>\n            </apply>\n            <cn type=\"integer\" id=\"p1.1.m1.1.15.1.cmml\" xref=\"p1.1.m1.1.15.1\">2</cn>\n          </apply>\n        </apply>\n      </apply>\n    </annotation-xml>\n    <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">n=x_{1}^{2}+x_{2}^{2}+\\dots+x_{k}^{2}</annotation>\n  </semantics>\n</math>",
  "uri" : "http://dlmf.nist.gov/27.13#E3",
  "title" : "DLMF:_27.13_Functions",
  "type" : "equation"
}