ag-gipp/GoUldI

View on GitHub
data/336.json

Summary

Maintainability
Test Coverage
{
  "definitions": {},
  "constraints": [],
  "math_inputtex": "(t,\\mathbf x) \\mapsto (t+s,\\mathsf R\\mathbf x + \\mathbf vt + \\mathbf y)",
  "math_inputtex_semantic": "(\\w{Q2199864}{t},\\w{Q17334923}{\\mathbf x}) \\mapsto (\\w{Q2199864}{t}+\\w{Q21075709}{s},\\w{Q1256564}{\\mathsf R}\\w{Q17334923}{\\mathbf x} + \\w{Q11465}{\\mathbf v}\\w{Q2199864}{t} + \\w{Q190291}{\\mathbf y})",
  "correct_tex": "(t,\\mathbf x) \\mapsto (t+s,\\mathsf R\\mathbf x + \\mathbf vt + \\mathbf y)",
  "correct_mml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"\n      xmlns:xlink=\"http://www.w3.org/1999/xlink\"\n      alttext=\"(t,\\mathbf{x})\\mapsto(t+s,\\mathsf{R}\\mathbf{x}+\\mathbf{v}t+\\mathbf{y})\"\n      class=\"ltx_Math\"\n      display=\"inline\"\n      id=\"p1.1.m1.1\">\n   <semantics id=\"p1.1.m1.1a\">\n      <mrow id=\"p1.1.m1.1.20\" xref=\"p1.1.m1.1.20.cmml\">\n         <mrow id=\"p1.1.m1.1.20.1\" xref=\"p1.1.m1.1.20.1.1.cmml\">\n            <mo id=\"p1.1.m1.1.1\" stretchy=\"false\" xref=\"p1.1.m1.1.20.1.1.cmml\">(</mo>\n            <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">t</mi>\n            <mo id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.20.1.1.cmml\">,</mo>\n            <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">𝐱</mi>\n            <mo id=\"p1.1.m1.1.5\" stretchy=\"false\" xref=\"p1.1.m1.1.20.1.1.cmml\">)</mo>\n         </mrow>\n         <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">↦</mo>\n         <mrow id=\"p1.1.m1.1.20.2\" xref=\"p1.1.m1.1.20.2.1.cmml\">\n            <mo id=\"p1.1.m1.1.7\" stretchy=\"false\" xref=\"p1.1.m1.1.20.2.1.cmml\">(</mo>\n            <mrow id=\"p1.1.m1.1.20.2.2\" xref=\"p1.1.m1.1.20.2.2.cmml\">\n               <mi id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">t</mi>\n               <mo id=\"p1.1.m1.1.9\" xref=\"p1.1.m1.1.9.cmml\">+</mo>\n               <mi id=\"p1.1.m1.1.10\" xref=\"p1.1.m1.1.10.cmml\">s</mi>\n            </mrow>\n            <mo id=\"p1.1.m1.1.11\" xref=\"p1.1.m1.1.20.2.1.cmml\">,</mo>\n            <mrow id=\"p1.1.m1.1.20.2.3\" xref=\"p1.1.m1.1.20.2.3.cmml\">\n               <mrow id=\"p1.1.m1.1.20.2.3.1\" xref=\"p1.1.m1.1.20.2.3.1.cmml\">\n                  <mi id=\"p1.1.m1.1.12\" xref=\"p1.1.m1.1.12.cmml\">𝖱</mi>\n                  <mo id=\"p1.1.m1.1.20.2.3.1.1\" xref=\"p1.1.m1.1.20.2.3.1.1.cmml\">⁢</mo>\n                  <mi id=\"p1.1.m1.1.13\" xref=\"p1.1.m1.1.13.cmml\">𝐱</mi>\n               </mrow>\n               <mo id=\"p1.1.m1.1.14\" xref=\"p1.1.m1.1.14.cmml\">+</mo>\n               <mrow id=\"p1.1.m1.1.20.2.3.2\" xref=\"p1.1.m1.1.20.2.3.2.cmml\">\n                  <mi id=\"p1.1.m1.1.15\" xref=\"p1.1.m1.1.15.cmml\">𝐯</mi>\n                  <mo id=\"p1.1.m1.1.20.2.3.2.1\" xref=\"p1.1.m1.1.20.2.3.2.1.cmml\">⁢</mo>\n                  <mi id=\"p1.1.m1.1.16\" xref=\"p1.1.m1.1.16.cmml\">t</mi>\n               </mrow>\n               <mo id=\"p1.1.m1.1.14a\" xref=\"p1.1.m1.1.14.cmml\">+</mo>\n               <mi id=\"p1.1.m1.1.18\" xref=\"p1.1.m1.1.18.cmml\">𝐲</mi>\n            </mrow>\n            <mo id=\"p1.1.m1.1.19\" stretchy=\"false\" xref=\"p1.1.m1.1.20.2.1.cmml\">)</mo>\n         </mrow>\n      </mrow>\n      <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n         <apply id=\"p1.1.m1.1.20.cmml\" xref=\"p1.1.m1.1.20\">\n            <csymbol cd=\"latexml\" id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\">maps-to</csymbol>\n            <interval closure=\"open\" id=\"p1.1.m1.1.20.1.1.cmml\" xref=\"p1.1.m1.1.20.1\">\n               <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">Q2199864</csymbol>\n               <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">Q17334923</csymbol>\n            </interval>\n            <interval closure=\"open\" id=\"p1.1.m1.1.20.2.1.cmml\" xref=\"p1.1.m1.1.20.2\">\n               <apply id=\"p1.1.m1.1.20.2.2.cmml\" xref=\"p1.1.m1.1.20.2.2\">\n                  <plus id=\"p1.1.m1.1.9.cmml\" xref=\"p1.1.m1.1.9\"/>\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\">Q2199864</csymbol>\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.10.cmml\" xref=\"p1.1.m1.1.10\">Q21075709</csymbol>\n               </apply>\n               <apply id=\"p1.1.m1.1.20.2.3.cmml\" xref=\"p1.1.m1.1.20.2.3\">\n                  <plus id=\"p1.1.m1.1.14.cmml\" xref=\"p1.1.m1.1.14\"/>\n                  <apply id=\"p1.1.m1.1.20.2.3.1.cmml\" xref=\"p1.1.m1.1.20.2.3.1\">\n                     <times id=\"p1.1.m1.1.20.2.3.1.1.cmml\" xref=\"p1.1.m1.1.20.2.3.1.1\"/>\n                     <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.12.cmml\" xref=\"p1.1.m1.1.12\">Q1256564</csymbol>\n                     <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.13.cmml\" xref=\"p1.1.m1.1.13\">Q17334923</csymbol>\n                  </apply>\n                  <apply id=\"p1.1.m1.1.20.2.3.2.cmml\" xref=\"p1.1.m1.1.20.2.3.2\">\n                     <times id=\"p1.1.m1.1.20.2.3.2.1.cmml\" xref=\"p1.1.m1.1.20.2.3.2.1\"/>\n                     <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.15.cmml\" xref=\"p1.1.m1.1.15\">Q11465</csymbol>\n                     <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.16.cmml\" xref=\"p1.1.m1.1.16\">Q2199864</csymbol>\n                  </apply>\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.18.cmml\" xref=\"p1.1.m1.1.18\">Q190291</csymbol>\n               </apply>\n            </interval>\n         </apply>\n      </annotation-xml>\n      <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">(t,\\mathbf{x})\\mapsto(t+s,\\mathsf{R}\\mathbf{x}+\\mathbf{v}t+\\mathbf{y})</annotation>\n   </semantics>\n</math>\n",
  "uri": "https://www.wikidata.org/wiki/Q219207",
  "title": "galilean transformation",
  "comment": "Imported from AnnoMathTeX seeding.",
  "type": "definition",
  "check": {
    "tree": true,
    "qid": false
  }
}