index.html 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632
  1. <!doctype html>
  2. <html lang="en" class="no-js">
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="viewport" content="width=device-width,initial-scale=1">
  6. <link rel="shortcut icon" href="../assets/images/favicon.png">
  7. <meta name="generator" content="mkdocs-1.1.2, mkdocs-material-5.5.0">
  8. <title>Sketcher definition - Jypyter Sketcher</title>
  9. <link rel="stylesheet" href="../assets/stylesheets/main.5be48db2.min.css">
  10. <link href="https://fonts.gstatic.com" rel="preconnect" crossorigin>
  11. <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:300,400,400i,700%7CRoboto+Mono&display=fallback">
  12. <style>body,input{font-family:"Roboto",-apple-system,BlinkMacSystemFont,Helvetica,Arial,sans-serif}code,kbd,pre{font-family:"Roboto Mono",SFMono-Regular,Consolas,Menlo,monospace}</style>
  13. </head>
  14. <body dir="ltr">
  15. <input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off">
  16. <input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off">
  17. <label class="md-overlay" for="__drawer"></label>
  18. <div data-md-component="skip">
  19. <a href="#a-language-to-describe-a-sketch" class="md-skip">
  20. Skip to content
  21. </a>
  22. </div>
  23. <div data-md-component="announce">
  24. </div>
  25. <header class="md-header" data-md-component="header">
  26. <nav class="md-header-nav md-grid" aria-label="Header">
  27. <a href=".." title="Jypyter Sketcher" class="md-header-nav__button md-logo" aria-label="Jypyter Sketcher">
  28. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 003-3 3 3 0 00-3-3 3 3 0 00-3 3 3 3 0 003 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54z"/></svg>
  29. </a>
  30. <label class="md-header-nav__button md-icon" for="__drawer">
  31. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3V6m0 5h18v2H3v-2m0 5h18v2H3v-2z"/></svg>
  32. </label>
  33. <div class="md-header-nav__title" data-md-component="header-title">
  34. <div class="md-header-nav__ellipsis">
  35. <span class="md-header-nav__topic md-ellipsis">
  36. Jypyter Sketcher
  37. </span>
  38. <span class="md-header-nav__topic md-ellipsis">
  39. Sketcher definition
  40. </span>
  41. </div>
  42. </div>
  43. <label class="md-header-nav__button md-icon" for="__search">
  44. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0116 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 019.5 16 6.5 6.5 0 013 9.5 6.5 6.5 0 019.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5z"/></svg>
  45. </label>
  46. <div class="md-search" data-md-component="search" role="dialog">
  47. <label class="md-search__overlay" for="__search"></label>
  48. <div class="md-search__inner" role="search">
  49. <form class="md-search__form" name="search">
  50. <input type="text" class="md-search__input" name="query" aria-label="Search" placeholder="Search" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" data-md-state="active">
  51. <label class="md-search__icon md-icon" for="__search">
  52. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0116 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 019.5 16 6.5 6.5 0 013 9.5 6.5 6.5 0 019.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5z"/></svg>
  53. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
  54. </label>
  55. <button type="reset" class="md-search__icon md-icon" aria-label="Clear" data-md-component="search-reset" tabindex="-1">
  56. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41L17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12 19 6.41z"/></svg>
  57. </button>
  58. </form>
  59. <div class="md-search__output">
  60. <div class="md-search__scrollwrap" data-md-scrollfix>
  61. <div class="md-search-result" data-md-component="search-result">
  62. <div class="md-search-result__meta">
  63. Initializing search
  64. </div>
  65. <ol class="md-search-result__list"></ol>
  66. </div>
  67. </div>
  68. </div>
  69. </div>
  70. </div>
  71. </nav>
  72. </header>
  73. <div class="md-container" data-md-component="container">
  74. <main class="md-main" data-md-component="main">
  75. <div class="md-main__inner md-grid">
  76. <div class="md-sidebar md-sidebar--primary" data-md-component="navigation">
  77. <div class="md-sidebar__scrollwrap">
  78. <div class="md-sidebar__inner">
  79. <nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
  80. <label class="md-nav__title" for="__drawer">
  81. <a href=".." title="Jypyter Sketcher" class="md-nav__button md-logo" aria-label="Jypyter Sketcher">
  82. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 003-3 3 3 0 00-3-3 3 3 0 00-3 3 3 3 0 003 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54z"/></svg>
  83. </a>
  84. Jypyter Sketcher
  85. </label>
  86. <ul class="md-nav__list" data-md-scrollfix>
  87. <li class="md-nav__item">
  88. <a href=".." title="Home" class="md-nav__link">
  89. Home
  90. </a>
  91. </li>
  92. <li class="md-nav__item md-nav__item--active">
  93. <input class="md-nav__toggle md-toggle" data-md-toggle="toc" type="checkbox" id="__toc">
  94. <label class="md-nav__link md-nav__link--active" for="__toc">
  95. Sketcher definition
  96. <span class="md-nav__icon md-icon">
  97. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 9h14V7H3v2m0 4h14v-2H3v2m0 4h14v-2H3v2m16 0h2v-2h-2v2m0-10v2h2V7h-2m0 6h2v-2h-2v2z"/></svg>
  98. </span>
  99. </label>
  100. <a href="./" title="Sketcher definition" class="md-nav__link md-nav__link--active">
  101. Sketcher definition
  102. </a>
  103. <nav class="md-nav md-nav--secondary" aria-label="Table of contents">
  104. <label class="md-nav__title" for="__toc">
  105. <span class="md-nav__icon md-icon">
  106. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
  107. </span>
  108. Table of contents
  109. </label>
  110. <ul class="md-nav__list" data-md-scrollfix>
  111. <li class="md-nav__item">
  112. <a href="#a-language-to-describe-a-sketch" class="md-nav__link">
  113. A language to describe a sketch
  114. </a>
  115. </li>
  116. <li class="md-nav__item">
  117. <a href="#example" class="md-nav__link">
  118. Example
  119. </a>
  120. <nav class="md-nav" aria-label="Example">
  121. <ul class="md-nav__list">
  122. <li class="md-nav__item">
  123. <a href="#the-final-sketch" class="md-nav__link">
  124. The final sketch
  125. </a>
  126. </li>
  127. <li class="md-nav__item">
  128. <a href="#the-yaml-definition" class="md-nav__link">
  129. The yaml definition
  130. </a>
  131. <nav class="md-nav" aria-label="The yaml definition">
  132. <ul class="md-nav__list">
  133. <li class="md-nav__item">
  134. <a href="#libraries-construction-variables-frame" class="md-nav__link">
  135. Libraries, Construction Variables, Frame
  136. </a>
  137. </li>
  138. <li class="md-nav__item">
  139. <a href="#the-body-object" class="md-nav__link">
  140. The body object
  141. </a>
  142. </li>
  143. <li class="md-nav__item">
  144. <a href="#the-plan-object" class="md-nav__link">
  145. The plan object
  146. </a>
  147. </li>
  148. <li class="md-nav__item">
  149. <a href="#the-friction-main-object" class="md-nav__link">
  150. The friction main object
  151. </a>
  152. </li>
  153. </ul>
  154. </nav>
  155. </li>
  156. <li class="md-nav__item">
  157. <a href="#the-hierarchy-of-the-friction-main-object" class="md-nav__link">
  158. The hierarchy of the "friction" main object
  159. </a>
  160. </li>
  161. </ul>
  162. </nav>
  163. </li>
  164. </ul>
  165. </nav>
  166. </li>
  167. <li class="md-nav__item">
  168. <a href="../about/" title="About" class="md-nav__link">
  169. About
  170. </a>
  171. </li>
  172. </ul>
  173. </nav>
  174. </div>
  175. </div>
  176. </div>
  177. <div class="md-sidebar md-sidebar--secondary" data-md-component="toc">
  178. <div class="md-sidebar__scrollwrap">
  179. <div class="md-sidebar__inner">
  180. <nav class="md-nav md-nav--secondary" aria-label="Table of contents">
  181. <label class="md-nav__title" for="__toc">
  182. <span class="md-nav__icon md-icon">
  183. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
  184. </span>
  185. Table of contents
  186. </label>
  187. <ul class="md-nav__list" data-md-scrollfix>
  188. <li class="md-nav__item">
  189. <a href="#a-language-to-describe-a-sketch" class="md-nav__link">
  190. A language to describe a sketch
  191. </a>
  192. </li>
  193. <li class="md-nav__item">
  194. <a href="#example" class="md-nav__link">
  195. Example
  196. </a>
  197. <nav class="md-nav" aria-label="Example">
  198. <ul class="md-nav__list">
  199. <li class="md-nav__item">
  200. <a href="#the-final-sketch" class="md-nav__link">
  201. The final sketch
  202. </a>
  203. </li>
  204. <li class="md-nav__item">
  205. <a href="#the-yaml-definition" class="md-nav__link">
  206. The yaml definition
  207. </a>
  208. <nav class="md-nav" aria-label="The yaml definition">
  209. <ul class="md-nav__list">
  210. <li class="md-nav__item">
  211. <a href="#libraries-construction-variables-frame" class="md-nav__link">
  212. Libraries, Construction Variables, Frame
  213. </a>
  214. </li>
  215. <li class="md-nav__item">
  216. <a href="#the-body-object" class="md-nav__link">
  217. The body object
  218. </a>
  219. </li>
  220. <li class="md-nav__item">
  221. <a href="#the-plan-object" class="md-nav__link">
  222. The plan object
  223. </a>
  224. </li>
  225. <li class="md-nav__item">
  226. <a href="#the-friction-main-object" class="md-nav__link">
  227. The friction main object
  228. </a>
  229. </li>
  230. </ul>
  231. </nav>
  232. </li>
  233. <li class="md-nav__item">
  234. <a href="#the-hierarchy-of-the-friction-main-object" class="md-nav__link">
  235. The hierarchy of the "friction" main object
  236. </a>
  237. </li>
  238. </ul>
  239. </nav>
  240. </li>
  241. </ul>
  242. </nav>
  243. </div>
  244. </div>
  245. </div>
  246. <div class="md-content">
  247. <article class="md-content__inner md-typeset">
  248. <h1>Sketcher definition</h1>
  249. <h2 id="a-language-to-describe-a-sketch">A language to describe a sketch</h2>
  250. <p>Pysketcher initial version <a href="">HPL Pysketcher</a> enable sketch definition in python. HPL is showing the hierachical nature of sketches. This is implemented via the Composition function. One can further grasp this using the graphviz_dot function applied to discover the composition herarchy implemented as a graphviz image <a href="#the-hierarchy-of-the-friction-main-object">see The hierarchy of the "friction" main object</a> at the end of this page.</p>
  251. <p>Due to the hierarchical nature of sketches, it is quite straightforward to think about using yaml as the syntax for defining a sketch.</p>
  252. <p>The benefits are as follow:</p>
  253. <ul>
  254. <li>A leaner presentation of the sketch as only the data making sense is going to be used</li>
  255. <li>A more straightforward reading of the composition hierachy</li>
  256. <li>A more robust sketch definition as only a set of rules will be applied to define a sketch and no further python idiom will be intermingled</li>
  257. </ul>
  258. <h2 id="example">Example</h2>
  259. <p>This example provides the yaml content to define the Dry Friction case</p>
  260. <h3 id="the-final-sketch">The final sketch</h3>
  261. <p><img alt="" src="../images/dryfriction.png" /></p>
  262. <p>An inclined plan (the A-B edge) supports a blue rectangle which is pulled donward by the gravity. The plan makes an angle <span><span class="MathJax_Preview">\theta</span><script type="math/tex">\theta</script></span>. The sketch design enable the <span><span class="MathJax_Preview">\theta</span><script type="math/tex">\theta</script></span> angle to change. The whole plan including the body can rotate arround the point B.</p>
  263. <h3 id="the-yaml-definition">The yaml definition</h3>
  264. <p>Sketcher language is defined as a yaml compliant file or string. The yaml file is a dictionnary of </p>
  265. <ul>
  266. <li>functionnal objects (leaf objects, like Rectangle, Circle, Line etc or composition)</li>
  267. <li>extended with object style (line or fill colors, line stroke...)</li>
  268. <li>to which transformation are applied (translation, rotation...)</li>
  269. </ul>
  270. <p>As a general rule, a new object suppose all parameters to be defined before they are used to construct it.</p>
  271. <p><strong>For example, you can create a circle if the center and the radius have been defined earlier in the file.</strong></p>
  272. <p>The general layout of a sketcher file is as follow:</p>
  273. <ul>
  274. <li><strong>Libraries, Construction Variables, Frame</strong><ul>
  275. <li>declaration of the libraries used by the objects further declared: at least pysketcher is mandatory</li>
  276. <li>various global variable which encompass the "Construction" variables which define the object main physical dimensions, positions...</li>
  277. <li>some "actions" corresponding to executable python sentences<ul>
  278. <li>One mandatory action is the setting of the drawing frame (drawing_tool.set_coordinate_system): it must be declared before any other pysketcher object is used.</li>
  279. <li>Other use case of action is the setting of global parameters like default line color: (drawing_tool.set_linecolor('black')) for example</li>
  280. </ul>
  281. </li>
  282. </ul>
  283. </li>
  284. <li><strong>Objects</strong><ul>
  285. <li>Usually starting with the declaration of leaf simple objects</li>
  286. <li>then aggregated using the composition object</li>
  287. <li>Composition can be made of composition object</li>
  288. <li>grouping leafs and composition will be further used to apply transformation latter on (based on the "physics")</li>
  289. <li>The example presents three group of objects<ul>
  290. <li>The body object</li>
  291. <li>The plan object</li>
  292. <li>The friction main object</li>
  293. </ul>
  294. </li>
  295. <li>The plan includes the body</li>
  296. <li>The friction includes the plan (that will be able to rotate as a group) and the ground (will stay fixed)</li>
  297. </ul>
  298. </li>
  299. </ul>
  300. <h4 id="libraries-construction-variables-frame">Libraries, Construction Variables, Frame</h4>
  301. <pre><code class="yaml">libraries: [&quot;from math import tan, radians, sin, cos&quot;,
  302. &quot;from pysketcher import *&quot;]
  303. fontsize: 18
  304. g: 9.81 # constant gravity
  305. theta: 30.0 # inclined plane angle
  306. L: 10.0 # sketch sizing parameter
  307. a: 1.0 #
  308. xmin: 0.0 # sketech min Abscissa
  309. ymin: -3.0 # sketech min Ordinate
  310. rl: 2.0 # rectangle width
  311. rL: 1.0 # rectangle length
  312. setframe: # sketch setup
  313. action: &quot;drawing_tool.set_coordinate_system(xmin=xmin-L/5, xmax=xmin+1.5*L,ymin=ymin, ymax=ymin+1.5*L,instruction_file='tmp_mpl_friction.py')&quot;
  314. setblackline: # default frame values and actions
  315. action: &quot;drawing_tool.set_linecolor('black')&quot;
  316. B: point(a+L,0) # wall right end
  317. A: point(a,tan(radians(theta))*L) # wall left end
  318. normal_vec: point(sin(radians(theta)),cos(radians(theta))) # Vector normal to wall
  319. tangent_vec: point(cos(radians(theta)),-sin(radians(theta))) # Vector tangent to wall
  320. help_line: Line(A,B) # wall line
  321. x: a + 3*L/10.
  322. y: help_line(x=x)
  323. contact: point(x, y)
  324. c: contact + rL/2*normal_vec
  325. </code></pre>
  326. <h4 id="the-body-object">The body object</h4>
  327. <pre><code class="yaml">rectangle:
  328. formula: Rectangle(contact, rl, rL)
  329. style:
  330. linecolor: blue
  331. filled_curves: blue
  332. transform: [&quot;rotate(-theta, contact)&quot;,
  333. &quot;translate(-rl/2*tangent_vec)&quot;]
  334. N:
  335. formula: Force(contact - rl*normal_vec, contact, r'$N$', text_pos='start')
  336. style:
  337. linecolor: black
  338. mg:
  339. formula: Gravity(c, rl, text='$Mg$')
  340. style:
  341. linecolor: black
  342. wheel:
  343. formula: &quot;Composition({'outer': rectangle})&quot;
  344. style:
  345. shadow: 1
  346. body:
  347. formula: &quot;Composition({'wheel': wheel, 'N': N, 'mg': mg})&quot;
  348. style:
  349. linecolor: black
  350. </code></pre>
  351. <h4 id="the-plan-object">The plan object</h4>
  352. <pre><code class="yaml">mB:
  353. formula: Text(r'$B$',B)
  354. mA:
  355. formula: Text(r'$A$', A)
  356. wall:
  357. formula: Wall(x=[A[0], B[0]], y=[A[1], B[1]], thickness=-0.25,transparent=False)
  358. style:
  359. linecolor: black
  360. angle:
  361. formula: &quot;Arc_wText(r'$&lt;bslash&gt;theta$', center=B, radius=3, start_angle=180-theta, arc_angle=theta, fontsize=fontsize)&quot;
  362. style:
  363. linecolor: black
  364. linewidth: 1
  365. ground:
  366. formula: Line((B[0]-L/10., 0), (B[0]-L/2.,0))
  367. stlye:
  368. linecolor: black
  369. linestyle: dashed
  370. linewidth: 1
  371. x_const:
  372. formula: Line(contact, contact + point(0,4))
  373. style:
  374. linestyle: dotted
  375. transform: rotate(-theta, contact)
  376. x_axis:
  377. formula: &quot;Axis(start=contact+ 2*rl*normal_vec, length=2*rl,label='$x$', rotation_angle=-theta)&quot;
  378. plan:
  379. formula: &quot;Composition({'body': body, 'angle': angle, 'inclined wall': wall, 'x start': x_const, 'x axis': x_axis, 'mA': mA, 'mB': mB})&quot;
  380. </code></pre>
  381. <h4 id="the-friction-main-object">The friction main object</h4>
  382. <pre><code class="yaml">
  383. friction:
  384. formula: &quot;Composition({'plan': plan, 'ground': ground})&quot;
  385. </code></pre>
  386. <h3 id="the-hierarchy-of-the-friction-main-object">The hierarchy of the "friction" main object</h3>
  387. <p><img alt="" src="../images/dotfriction.png" /></p>
  388. </article>
  389. </div>
  390. </div>
  391. </main>
  392. <footer class="md-footer">
  393. <div class="md-footer-nav">
  394. <nav class="md-footer-nav__inner md-grid" aria-label="Footer">
  395. <a href=".." title="Home" class="md-footer-nav__link md-footer-nav__link--prev" rel="prev">
  396. <div class="md-footer-nav__button md-icon">
  397. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12z"/></svg>
  398. </div>
  399. <div class="md-footer-nav__title">
  400. <div class="md-ellipsis">
  401. <span class="md-footer-nav__direction">
  402. Previous
  403. </span>
  404. Home
  405. </div>
  406. </div>
  407. </a>
  408. <a href="../about/" title="About" class="md-footer-nav__link md-footer-nav__link--next" rel="next">
  409. <div class="md-footer-nav__title">
  410. <div class="md-ellipsis">
  411. <span class="md-footer-nav__direction">
  412. Next
  413. </span>
  414. About
  415. </div>
  416. </div>
  417. <div class="md-footer-nav__button md-icon">
  418. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M4 11v2h12l-5.5 5.5 1.42 1.42L19.84 12l-7.92-7.92L10.5 5.5 16 11H4z"/></svg>
  419. </div>
  420. </a>
  421. </nav>
  422. </div>
  423. <div class="md-footer-meta md-typeset">
  424. <div class="md-footer-meta__inner md-grid">
  425. <div class="md-footer-copyright">
  426. Made with
  427. <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
  428. Material for MkDocs
  429. </a>
  430. </div>
  431. </div>
  432. </div>
  433. </footer>
  434. </div>
  435. <script src="../assets/javascripts/vendor.877163d5.min.js"></script>
  436. <script src="../assets/javascripts/bundle.1688372e.min.js"></script><script id="__lang" type="application/json">{"clipboard.copy": "Copy to clipboard", "clipboard.copied": "Copied to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.result.placeholder": "Type to start searching", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents"}</script>
  437. <script>
  438. app = initialize({
  439. base: "..",
  440. features: [],
  441. search: Object.assign({
  442. worker: "../assets/javascripts/worker/search.a68abb33.min.js"
  443. }, typeof search !== "undefined" && search)
  444. })
  445. </script>
  446. <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-MML-AM_CHTML"></script>
  447. </body>
  448. </html>