@amermathsoc/texml-to-html 18.1.0 → 18.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (317) hide show
  1. package/CHANGELOG.md +30 -0
  2. package/README.md +2 -0
  3. package/lib/elements/abstract.js +2 -0
  4. package/lib/elements/app.js +2 -1
  5. package/lib/elements/attrib.js +2 -17
  6. package/lib/elements/book-meta-json.js +1 -1
  7. package/lib/elements/disp-formula-group.js +7 -0
  8. package/lib/elements/disp-quote.js +6 -3
  9. package/lib/elements/fig.js +7 -2
  10. package/lib/elements/formula.js +1 -2
  11. package/lib/elements/label.js +5 -49
  12. package/lib/elements/notes.js +1 -0
  13. package/lib/elements/ref-list.js +1 -1
  14. package/lib/elements/sec.js +3 -2
  15. package/lib/elements/secheading.js +3 -2
  16. package/lib/elements/statement.js +11 -0
  17. package/lib/elements/subtitle.js +1 -4
  18. package/lib/elements/tag.js +2 -2
  19. package/lib/elements/target.js +3 -6
  20. package/lib/elements/{subject.js → title-group.js} +3 -5
  21. package/lib/head.js +1 -1
  22. package/lib/postProcessing.js +81 -0
  23. package/lib/transformer.js +44 -14
  24. package/package.json +3 -1
  25. package/test/article--alttitle.xml +1 -1
  26. package/test/article.xml +40 -33
  27. package/test/book.xml +27 -7
  28. package/test/element-abstract-title.js +5 -2
  29. package/test/element-attrib.js +2 -2
  30. package/test/element-disp-quote.js +2 -1
  31. package/test/element-fig-subfig-label.js +2 -1
  32. package/test/element-fn.js +6 -3
  33. package/test/element-formula.js +63 -0
  34. package/test/element-front.js +2 -1
  35. package/test/{element-sec-app-front-matter-part-dedication-title-label.js → element-sec.js} +2 -1
  36. package/test/element-tag.js +5 -1
  37. package/test/element-tex-math.js +64 -0
  38. package/test/helper.js +4 -0
  39. package/test/postProcessing.js +45 -0
  40. package/test/snapshots/article--alttitle.html +121 -0
  41. package/test/snapshots/article--nometa.html +56 -0
  42. package/test/snapshots/article.html +561 -0
  43. package/test/snapshots/book.html +160 -0
  44. package/test/snapshots/texml-tests/LGR.html +104 -0
  45. package/test/snapshots/texml-tests/LGR.xml +82 -0
  46. package/test/snapshots/texml-tests/NLMnote.html +10 -0
  47. package/test/snapshots/texml-tests/NLMnote.xml +12 -0
  48. package/test/snapshots/texml-tests/OT1.html +61 -0
  49. package/test/snapshots/texml-tests/OT1.xml +39 -0
  50. package/test/snapshots/texml-tests/OT1ti.html +61 -0
  51. package/test/snapshots/texml-tests/OT1ti.xml +39 -0
  52. package/test/snapshots/texml-tests/OT1tt.html +60 -0
  53. package/test/snapshots/texml-tests/OT1tt.xml +38 -0
  54. package/test/snapshots/texml-tests/OT2.html +119 -0
  55. package/test/snapshots/texml-tests/OT2.xml +97 -0
  56. package/test/snapshots/texml-tests/OT4.html +68 -0
  57. package/test/snapshots/texml-tests/OT4.xml +46 -0
  58. package/test/snapshots/texml-tests/OT6.html +49 -0
  59. package/test/snapshots/texml-tests/OT6.xml +27 -0
  60. package/test/snapshots/texml-tests/T1.html +44 -0
  61. package/test/snapshots/texml-tests/T1.xml +22 -0
  62. package/test/snapshots/texml-tests/T4.html +48 -0
  63. package/test/snapshots/texml-tests/T4.xml +26 -0
  64. package/test/snapshots/texml-tests/T5.html +45 -0
  65. package/test/snapshots/texml-tests/T5.xml +23 -0
  66. package/test/snapshots/texml-tests/Uchar.html +9 -0
  67. package/test/snapshots/texml-tests/Uchar.xml +11 -0
  68. package/test/snapshots/texml-tests/Ucharcat.html +45 -0
  69. package/test/snapshots/texml-tests/Ucharcat.xml +23 -0
  70. package/test/snapshots/texml-tests/accent.html +54 -0
  71. package/test/snapshots/texml-tests/accent.xml +32 -0
  72. package/test/snapshots/texml-tests/algorithm.html +55 -0
  73. package/test/snapshots/texml-tests/algorithm.xml +35 -0
  74. package/test/snapshots/texml-tests/algorithmic.html +706 -0
  75. package/test/snapshots/texml-tests/algorithmic.xml +712 -0
  76. package/test/snapshots/texml-tests/algpseudocode.html +520 -0
  77. package/test/snapshots/texml-tests/algpseudocode.xml +538 -0
  78. package/test/snapshots/texml-tests/ams_measure.html +46 -0
  79. package/test/snapshots/texml-tests/ams_measure.xml +24 -0
  80. package/test/snapshots/texml-tests/amsart.html +66 -0
  81. package/test/snapshots/texml-tests/amsart.xml +39 -0
  82. package/test/snapshots/texml-tests/amscyr.html +53 -0
  83. package/test/snapshots/texml-tests/amscyr.xml +35 -0
  84. package/test/snapshots/texml-tests/amsfonts.html +41 -0
  85. package/test/snapshots/texml-tests/amsfonts.xml +21 -0
  86. package/test/snapshots/texml-tests/amsrefs.html +82 -0
  87. package/test/snapshots/texml-tests/amsrefs.xml +87 -0
  88. package/test/snapshots/texml-tests/amsthm.html +83 -0
  89. package/test/snapshots/texml-tests/amsthm.xml +61 -0
  90. package/test/snapshots/texml-tests/amsviet.html +42 -0
  91. package/test/snapshots/texml-tests/amsviet.xml +20 -0
  92. package/test/snapshots/texml-tests/appendix.html +69 -0
  93. package/test/snapshots/texml-tests/appendix.xml +43 -0
  94. package/test/snapshots/texml-tests/array.html +58 -0
  95. package/test/snapshots/texml-tests/array.xml +36 -0
  96. package/test/snapshots/texml-tests/arydshln.html +69 -0
  97. package/test/snapshots/texml-tests/arydshln.xml +47 -0
  98. package/test/snapshots/texml-tests/autoref.html +76 -0
  99. package/test/snapshots/texml-tests/autoref.xml +79 -0
  100. package/test/snapshots/texml-tests/begincsname.html +46 -0
  101. package/test/snapshots/texml-tests/begincsname.xml +24 -0
  102. package/test/snapshots/texml-tests/boldline.html +93 -0
  103. package/test/snapshots/texml-tests/boldline.xml +71 -0
  104. package/test/snapshots/texml-tests/book-app.html +22 -0
  105. package/test/snapshots/texml-tests/book-app.xml +26 -0
  106. package/test/snapshots/texml-tests/booktabs.html +7 -0
  107. package/test/snapshots/texml-tests/booktabs.xml +9 -0
  108. package/test/snapshots/texml-tests/boxes.html +54 -0
  109. package/test/snapshots/texml-tests/boxes.xml +32 -0
  110. package/test/snapshots/texml-tests/cases.html +13 -0
  111. package/test/snapshots/texml-tests/cases.xml +19 -0
  112. package/test/snapshots/texml-tests/cite.html +48 -0
  113. package/test/snapshots/texml-tests/cite.xml +40 -0
  114. package/test/snapshots/texml-tests/citesort.html +62 -0
  115. package/test/snapshots/texml-tests/citesort.xml +74 -0
  116. package/test/snapshots/texml-tests/cleveref.html +25 -0
  117. package/test/snapshots/texml-tests/cleveref.xml +28 -0
  118. package/test/snapshots/texml-tests/codes.html +7 -0
  119. package/test/snapshots/texml-tests/codes.xml +9 -0
  120. package/test/snapshots/texml-tests/colortbl.html +46 -0
  121. package/test/snapshots/texml-tests/colortbl.xml +24 -0
  122. package/test/snapshots/texml-tests/combinetoks.html +49 -0
  123. package/test/snapshots/texml-tests/combinetoks.xml +27 -0
  124. package/test/snapshots/texml-tests/constants.html +45 -0
  125. package/test/snapshots/texml-tests/constants.xml +23 -0
  126. package/test/snapshots/texml-tests/csstring.html +44 -0
  127. package/test/snapshots/texml-tests/csstring.xml +22 -0
  128. package/test/snapshots/texml-tests/detokenize.html +56 -0
  129. package/test/snapshots/texml-tests/detokenize.xml +34 -0
  130. package/test/snapshots/texml-tests/diacritics.html +41 -0
  131. package/test/snapshots/texml-tests/diacritics.xml +19 -0
  132. package/test/snapshots/texml-tests/dimexpr.html +42 -0
  133. package/test/snapshots/texml-tests/dimexpr.xml +20 -0
  134. package/test/snapshots/texml-tests/doi.html +6 -0
  135. package/test/snapshots/texml-tests/doi.xml +8 -0
  136. package/test/snapshots/texml-tests/drm.html +12 -0
  137. package/test/snapshots/texml-tests/drm.xml +76 -0
  138. package/test/snapshots/texml-tests/dz.html +25 -0
  139. package/test/snapshots/texml-tests/dz.xml +27 -0
  140. package/test/snapshots/texml-tests/edef.html +8 -0
  141. package/test/snapshots/texml-tests/edef.xml +10 -0
  142. package/test/snapshots/texml-tests/empheq.html +9 -0
  143. package/test/snapshots/texml-tests/empheq.xml +13 -0
  144. package/test/snapshots/texml-tests/enclose.html +27 -0
  145. package/test/snapshots/texml-tests/enclose.xml +45 -0
  146. package/test/snapshots/texml-tests/everyeof.html +42 -0
  147. package/test/snapshots/texml-tests/everyeof.xml +20 -0
  148. package/test/snapshots/texml-tests/expanded.html +44 -0
  149. package/test/snapshots/texml-tests/expanded.xml +22 -0
  150. package/test/snapshots/texml-tests/footnote.html +28 -0
  151. package/test/snapshots/texml-tests/footnote.xml +59 -0
  152. package/test/snapshots/texml-tests/frac.html +15 -0
  153. package/test/snapshots/texml-tests/frac.xml +21 -0
  154. package/test/snapshots/texml-tests/framebox.html +43 -0
  155. package/test/snapshots/texml-tests/framebox.xml +23 -0
  156. package/test/snapshots/texml-tests/glueexpr.html +42 -0
  157. package/test/snapshots/texml-tests/glueexpr.xml +20 -0
  158. package/test/snapshots/texml-tests/graphics.html +9 -0
  159. package/test/snapshots/texml-tests/graphics.xml +13 -0
  160. package/test/snapshots/texml-tests/gsm_l.html +35 -0
  161. package/test/snapshots/texml-tests/gsm_l.xml +71 -0
  162. package/test/snapshots/texml-tests/halign.html +78 -0
  163. package/test/snapshots/texml-tests/halign.xml +56 -0
  164. package/test/snapshots/texml-tests/hbox.html +11 -0
  165. package/test/snapshots/texml-tests/hbox.xml +17 -0
  166. package/test/snapshots/texml-tests/hello.html +38 -0
  167. package/test/snapshots/texml-tests/hello.xml +16 -0
  168. package/test/snapshots/texml-tests/hhline.html +101 -0
  169. package/test/snapshots/texml-tests/hhline.xml +79 -0
  170. package/test/snapshots/texml-tests/hline.html +40 -0
  171. package/test/snapshots/texml-tests/hline.xml +18 -0
  172. package/test/snapshots/texml-tests/href.html +6 -0
  173. package/test/snapshots/texml-tests/href.xml +8 -0
  174. package/test/snapshots/texml-tests/hyperams.html +43 -0
  175. package/test/snapshots/texml-tests/hyperams.xml +21 -0
  176. package/test/snapshots/texml-tests/hyperref.html +10 -0
  177. package/test/snapshots/texml-tests/hyperref.xml +12 -0
  178. package/test/snapshots/texml-tests/ifcondition.html +39 -0
  179. package/test/snapshots/texml-tests/ifcondition.xml +17 -0
  180. package/test/snapshots/texml-tests/ifcsname.html +40 -0
  181. package/test/snapshots/texml-tests/ifcsname.xml +18 -0
  182. package/test/snapshots/texml-tests/ifdefined.html +40 -0
  183. package/test/snapshots/texml-tests/ifdefined.xml +18 -0
  184. package/test/snapshots/texml-tests/ifdim.html +40 -0
  185. package/test/snapshots/texml-tests/ifdim.xml +18 -0
  186. package/test/snapshots/texml-tests/ifnum.html +40 -0
  187. package/test/snapshots/texml-tests/ifnum.xml +18 -0
  188. package/test/snapshots/texml-tests/ifprimitive.html +48 -0
  189. package/test/snapshots/texml-tests/ifprimitive.xml +26 -0
  190. package/test/snapshots/texml-tests/immediateassigned.html +44 -0
  191. package/test/snapshots/texml-tests/immediateassigned.xml +22 -0
  192. package/test/snapshots/texml-tests/immediateassignment.html +44 -0
  193. package/test/snapshots/texml-tests/immediateassignment.xml +22 -0
  194. package/test/snapshots/texml-tests/lastbox.html +40 -0
  195. package/test/snapshots/texml-tests/lastbox.xml +18 -0
  196. package/test/snapshots/texml-tests/lastnamedcs.html +40 -0
  197. package/test/snapshots/texml-tests/lastnamedcs.xml +18 -0
  198. package/test/snapshots/texml-tests/let.html +43 -0
  199. package/test/snapshots/texml-tests/let.xml +21 -0
  200. package/test/snapshots/texml-tests/letcharcode.html +41 -0
  201. package/test/snapshots/texml-tests/letcharcode.xml +19 -0
  202. package/test/snapshots/texml-tests/ligatures.html +69 -0
  203. package/test/snapshots/texml-tests/ligatures.xml +47 -0
  204. package/test/snapshots/texml-tests/list.html +12 -0
  205. package/test/snapshots/texml-tests/list.xml +14 -0
  206. package/test/snapshots/texml-tests/listings.html +46 -0
  207. package/test/snapshots/texml-tests/listings.xml +24 -0
  208. package/test/snapshots/texml-tests/longtable.html +61 -0
  209. package/test/snapshots/texml-tests/longtable.xml +39 -0
  210. package/test/snapshots/texml-tests/ltxcodes.html +1330 -0
  211. package/test/snapshots/texml-tests/ltxcodes.xml +1332 -0
  212. package/test/snapshots/texml-tests/ltxthm.html +6 -0
  213. package/test/snapshots/texml-tests/ltxthm.xml +8 -0
  214. package/test/snapshots/texml-tests/makecell.html +40 -0
  215. package/test/snapshots/texml-tests/makecell.xml +18 -0
  216. package/test/snapshots/texml-tests/maketitle.html +82 -0
  217. package/test/snapshots/texml-tests/maketitle.xml +67 -0
  218. package/test/snapshots/texml-tests/math.html +35 -0
  219. package/test/snapshots/texml-tests/math.xml +47 -0
  220. package/test/snapshots/texml-tests/mathscinet.html +41 -0
  221. package/test/snapshots/texml-tests/mathscinet.xml +19 -0
  222. package/test/snapshots/texml-tests/meaning.html +44 -0
  223. package/test/snapshots/texml-tests/meaning.xml +22 -0
  224. package/test/snapshots/texml-tests/metadata.html +125 -0
  225. package/test/snapshots/texml-tests/metadata.xml +137 -0
  226. package/test/snapshots/texml-tests/missingfile.html +3 -0
  227. package/test/snapshots/texml-tests/missingfile.xml +5 -0
  228. package/test/snapshots/texml-tests/muexpr.html +42 -0
  229. package/test/snapshots/texml-tests/muexpr.xml +20 -0
  230. package/test/snapshots/texml-tests/multicolumn.html +47 -0
  231. package/test/snapshots/texml-tests/multicolumn.xml +25 -0
  232. package/test/snapshots/texml-tests/multirow.html +47 -0
  233. package/test/snapshots/texml-tests/multirow.xml +25 -0
  234. package/test/snapshots/texml-tests/multirowcell.html +50 -0
  235. package/test/snapshots/texml-tests/multirowcell.xml +28 -0
  236. package/test/snapshots/texml-tests/multline.html +71 -0
  237. package/test/snapshots/texml-tests/multline.xml +55 -0
  238. package/test/snapshots/texml-tests/nameref.html +45 -0
  239. package/test/snapshots/texml-tests/nameref.xml +23 -0
  240. package/test/snapshots/texml-tests/noexpand.html +44 -0
  241. package/test/snapshots/texml-tests/noexpand.xml +22 -0
  242. package/test/snapshots/texml-tests/noindent.html +39 -0
  243. package/test/snapshots/texml-tests/noindent.xml +17 -0
  244. package/test/snapshots/texml-tests/null_cs.html +4 -0
  245. package/test/snapshots/texml-tests/null_cs.xml +6 -0
  246. package/test/snapshots/texml-tests/numexpr.html +48 -0
  247. package/test/snapshots/texml-tests/numexpr.xml +26 -0
  248. package/test/snapshots/texml-tests/parshape.html +41 -0
  249. package/test/snapshots/texml-tests/parshape.xml +19 -0
  250. package/test/snapshots/texml-tests/protected.html +47 -0
  251. package/test/snapshots/texml-tests/protected.xml +25 -0
  252. package/test/snapshots/texml-tests/quote.html +43 -0
  253. package/test/snapshots/texml-tests/quote.xml +21 -0
  254. package/test/snapshots/texml-tests/read.html +13 -0
  255. package/test/snapshots/texml-tests/read.xml +15 -0
  256. package/test/snapshots/texml-tests/refrange.html +126 -0
  257. package/test/snapshots/texml-tests/refrange.xml +110 -0
  258. package/test/snapshots/texml-tests/scantokens.html +45 -0
  259. package/test/snapshots/texml-tests/scantokens.xml +23 -0
  260. package/test/snapshots/texml-tests/secmeta.html +27 -0
  261. package/test/snapshots/texml-tests/secmeta.xml +39 -0
  262. package/test/snapshots/texml-tests/section.html +86 -0
  263. package/test/snapshots/texml-tests/section.xml +64 -0
  264. package/test/snapshots/texml-tests/showonlyrefs.html +95 -0
  265. package/test/snapshots/texml-tests/showonlyrefs.xml +85 -0
  266. package/test/snapshots/texml-tests/smash.html +41 -0
  267. package/test/snapshots/texml-tests/smash.xml +21 -0
  268. package/test/snapshots/texml-tests/strcmp.html +41 -0
  269. package/test/snapshots/texml-tests/strcmp.xml +19 -0
  270. package/test/snapshots/texml-tests/string.html +44 -0
  271. package/test/snapshots/texml-tests/string.xml +22 -0
  272. package/test/snapshots/texml-tests/sub_sup.html +50 -0
  273. package/test/snapshots/texml-tests/sub_sup.xml +28 -0
  274. package/test/snapshots/texml-tests/subcaption.html +54 -0
  275. package/test/snapshots/texml-tests/subcaption.xml +32 -0
  276. package/test/snapshots/texml-tests/subfig.html +45 -0
  277. package/test/snapshots/texml-tests/subfig.xml +23 -0
  278. package/test/snapshots/texml-tests/subfigure.html +44 -0
  279. package/test/snapshots/texml-tests/subfigure.xml +22 -0
  280. package/test/snapshots/texml-tests/tableofcontents.html +42 -0
  281. package/test/snapshots/texml-tests/tableofcontents.xml +95 -0
  282. package/test/snapshots/texml-tests/tabular.html +47 -0
  283. package/test/snapshots/texml-tests/tabular.xml +25 -0
  284. package/test/snapshots/texml-tests/tag.html +16 -0
  285. package/test/snapshots/texml-tests/tag.xml +20 -0
  286. package/test/snapshots/texml-tests/tcolorbox.html +43 -0
  287. package/test/snapshots/texml-tests/tcolorbox.xml +21 -0
  288. package/test/snapshots/texml-tests/textequation.html +55 -0
  289. package/test/snapshots/texml-tests/textequation.xml +33 -0
  290. package/test/snapshots/texml-tests/thm-restate.html +94 -0
  291. package/test/snapshots/texml-tests/thm-restate.xml +86 -0
  292. package/test/snapshots/texml-tests/tracingnodes.html +38 -0
  293. package/test/snapshots/texml-tests/tracingnodes.xml +16 -0
  294. package/test/snapshots/texml-tests/unexpanded.html +44 -0
  295. package/test/snapshots/texml-tests/unexpanded.xml +22 -0
  296. package/test/snapshots/texml-tests/unless.html +40 -0
  297. package/test/snapshots/texml-tests/unless.xml +18 -0
  298. package/test/snapshots/texml-tests/upgreek.html +79 -0
  299. package/test/snapshots/texml-tests/upgreek.xml +57 -0
  300. package/test/snapshots/texml-tests/uri.html +12 -0
  301. package/test/snapshots/texml-tests/uri.xml +14 -0
  302. package/test/snapshots/texml-tests/url.html +41 -0
  303. package/test/snapshots/texml-tests/url.xml +19 -0
  304. package/test/snapshots/texml-tests/vlist.html +48 -0
  305. package/test/snapshots/texml-tests/vlist.xml +28 -0
  306. package/test/snapshots/texml-tests/xcolor.html +50 -0
  307. package/test/snapshots/texml-tests/xcolor.xml +28 -0
  308. package/test/snapshots/updateTexmlSnapshots.js +14 -0
  309. package/texml-to-html.js +2 -2
  310. package/lib/elements/article-title.js +0 -26
  311. package/lib/elements/book-title.js +0 -26
  312. package/lib/elements/meta-name.js +0 -29
  313. package/lib/elements/meta-value.js +0 -27
  314. package/lib/elements/subj-group.js +0 -29
  315. package/lib/hacks.js +0 -43
  316. package/test/element-inline-formula-disp-formula-tex-math.js +0 -98
  317. package/test/hacks.js +0 -39
package/test/snapshots/texml-tests/algpseudocode.html ADDED
@@ -0,0 +1,520 @@
1
+ <!DOCTYPE html> <html dir="ltr" lang="en"><head><meta charset="utf-8"><meta content="width=device-width, initial-scale=1" name="viewport"><title>algpseudocode</title></head><body><section data-ams-doc="article">
2
+ <section data-ams-doc="frontmatter"><script type="application/json">{
3
+ "title": "algpseudocode",
4
+ "alttitle": "algpseudocode",
5
+ "identifiers": {
6
+ "AMS": {},
7
+ "crossref": {},
8
+ "uri": {},
9
+ "basename": null
10
+ },
11
+ "relatedArticles": {},
12
+ "publishers": [],
13
+ "contributors": {},
14
+ "permissions": {},
15
+ "journal": {
16
+ "identifiers": {
17
+ "AMS": {},
18
+ "issn": {
19
+ "print": "",
20
+ "electronic": ""
21
+ }
22
+ }
23
+ },
24
+ "customMeta": {},
25
+ "categories": {},
26
+ "byline": "",
27
+ "volumeInfo": {},
28
+ "history": {
29
+ "rev-recd": []
30
+ },
31
+ "keywords": []
32
+ }</script><h1>algpseudocode</h1></section>
33
+
34
+ <section id="ltxid3" data-ams-doc="section" data-ams-doc-level="1">
35
+ <p>hello, world</p>
36
+ </section>
37
+ <section id="ltxid4" data-ams-doc="section" data-ams-doc-level="1"><h2><span data-ams-doc="label">1<ams-x>.</ams-x></span> <span data-ams-doc="title">Basic forms</span></h2>
38
+
39
+
40
+ <section id="ltxid5" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.1<ams-x>.</ams-x></span> <span data-ams-doc="title">The Simple Statement<ams-x>.</ams-x></span></h3>
41
+
42
+
43
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
44
+ <alg-lineno>1:</alg-lineno><alg-line>
45
+ <alg-statement>
46
+ <span data-ams-doc="math inline"><tex-math>S \leftarrow O</tex-math></span>
47
+ </alg-statement>
48
+ </alg-line>
49
+ </alg-algorithm>
50
+ </section>
51
+ <section id="ltxid6" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.2<ams-x>.</ams-x></span> <span data-ams-doc="title">Unnumbered Simple Statement<ams-x>.</ams-x></span></h3>
52
+
53
+
54
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
55
+ <alg-lineno></alg-lineno><alg-line>
56
+ <alg-statement>
57
+ <span data-ams-doc="math inline"><tex-math>S \leftarrow O</tex-math></span>
58
+ </alg-statement>
59
+ </alg-line>
60
+ <alg-lineno>1:</alg-lineno><alg-line>
61
+ <alg-statement>
62
+ <span data-ams-doc="math inline"><tex-math>S \leftarrow O</tex-math></span>
63
+ </alg-statement>
64
+ </alg-line>
65
+ </alg-algorithm>
66
+ </section>
67
+ <section id="ltxid7" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.3<ams-x>.</ams-x></span> <span data-ams-doc="title">Simple Statement with Comment<ams-x>.</ams-x></span></h3>
68
+
69
+
70
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
71
+ <alg-lineno>1:</alg-lineno><alg-line>
72
+ <alg-statement>
73
+ <span data-ams-doc="math inline"><tex-math>S \leftarrow O</tex-math></span>
74
+ </alg-statement>
75
+ <alg-comment>comment</alg-comment>
76
+ </alg-line>
77
+ </alg-algorithm>
78
+ </section>
79
+ <section id="ltxid8" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.4<ams-x>.</ams-x></span> <span data-ams-doc="title">The Precondition (never numbered)<ams-x>.</ams-x></span></h3>
80
+
81
+
82
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
83
+ <alg-lineno></alg-lineno><alg-line data-ams-alg-spanslineno="">
84
+ <alg-statement><strong>Require:</strong> <span data-ams-doc="math inline"><tex-math>x \neq 0</tex-math></span> and <span data-ams-doc="math inline"><tex-math>n \geq 0</tex-math></span></alg-statement>
85
+ <alg-comment>blah blah blah</alg-comment>
86
+ </alg-line>
87
+ </alg-algorithm>
88
+ </section>
89
+ <section id="ltxid9" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.5<ams-x>.</ams-x></span> <span data-ams-doc="title">The Postcondition (never numbered)<ams-x>.</ams-x></span></h3>
90
+
91
+
92
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
93
+ <alg-lineno></alg-lineno><alg-line data-ams-alg-spanslineno="">
94
+ <alg-statement><strong>Ensure:</strong> <span data-ams-doc="math inline"><tex-math>x \neq 0</tex-math></span> and <span data-ams-doc="math inline"><tex-math>n \geq 0</tex-math></span></alg-statement>
95
+ <alg-comment>blah blah blah</alg-comment>
96
+ </alg-line>
97
+ </alg-algorithm>
98
+ </section>
99
+ <section id="ltxid10" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.6<ams-x>.</ams-x></span> <span data-ams-doc="title">Procedure<ams-x>.</ams-x></span></h3>
100
+
101
+
102
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
103
+
104
+ <alg-lineno>1:</alg-lineno><alg-line>
105
+ <alg-statement><strong>procedure</strong> <span data-ams-style="sc">Euclid</span> (<span data-ams-doc="math inline"><tex-math>a,b</tex-math></span>)</alg-statement>
106
+ <alg-comment>The g.c.d. of a and b</alg-comment>
107
+ </alg-line>
108
+ <alg-block data-ams-alg-blocklevel="1">
109
+ <alg-lineno>2:</alg-lineno><alg-line>
110
+ <alg-statement>
111
+ <span data-ams-doc="math inline"><tex-math>r\gets a\bmod b</tex-math></span>
112
+ </alg-statement>
113
+ </alg-line>
114
+
115
+
116
+ <alg-lineno>3:</alg-lineno><alg-line>
117
+ <alg-statement><strong>while</strong> <span data-ams-doc="math inline"><tex-math>r\not =0</tex-math></span> <strong>do</strong></alg-statement>
118
+ <alg-comment>We have the answer if r is 0</alg-comment>
119
+ </alg-line>
120
+
121
+ <alg-block data-ams-alg-blocklevel="2">
122
+ <alg-lineno>4:</alg-lineno><alg-line>
123
+ <alg-statement>
124
+ <span data-ams-doc="math inline"><tex-math>a\gets b</tex-math></span>
125
+ </alg-statement>
126
+ </alg-line>
127
+ <alg-lineno>5:</alg-lineno><alg-line>
128
+ <alg-statement>
129
+ <span data-ams-doc="math inline"><tex-math>b\gets r</tex-math></span>
130
+ </alg-statement>
131
+ </alg-line>
132
+ <alg-lineno>6:</alg-lineno><alg-line>
133
+ <alg-statement>
134
+ <span data-ams-doc="math inline"><tex-math>r\gets a\bmod b</tex-math></span>
135
+ </alg-statement>
136
+ </alg-line>
137
+ </alg-block>
138
+ <alg-lineno>7:</alg-lineno><alg-line>
139
+ <alg-statement><strong>end</strong> <strong>while</strong></alg-statement>
140
+ </alg-line>
141
+
142
+ <alg-lineno>8:</alg-lineno><alg-line>
143
+ <alg-statement><strong>return</strong> <span data-ams-doc="math inline"><tex-math>b</tex-math></span></alg-statement>
144
+ <alg-comment>The gcd is b</alg-comment>
145
+ </alg-line>
146
+ </alg-block>
147
+ <alg-lineno>9:</alg-lineno><alg-line>
148
+ <alg-statement><strong>end</strong> <strong>procedure</strong></alg-statement>
149
+ </alg-line>
150
+
151
+ </alg-algorithm>
152
+ </section>
153
+ <section id="ltxid11" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.7<ams-x>.</ams-x></span> <span data-ams-doc="title">Function<ams-x>.</ams-x></span></h3>
154
+
155
+
156
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
157
+
158
+ <alg-lineno>1:</alg-lineno><alg-line>
159
+ <alg-statement><strong>function</strong> <span data-ams-style="sc">Euclid</span> (<span data-ams-doc="math inline"><tex-math>a,b</tex-math></span>)</alg-statement>
160
+ </alg-line>
161
+ <alg-block data-ams-alg-blocklevel="1">
162
+ <alg-lineno>2:</alg-lineno><alg-line>
163
+ <alg-statement>
164
+ <span data-ams-doc="math inline"><tex-math>r\gets a\bmod b</tex-math></span>
165
+ </alg-statement>
166
+ </alg-line>
167
+
168
+
169
+ <alg-lineno>3:</alg-lineno><alg-line>
170
+ <alg-statement><strong>while</strong> <span data-ams-doc="math inline"><tex-math>r\not =0</tex-math></span> <strong>do</strong></alg-statement>
171
+ </alg-line>
172
+
173
+ <alg-block data-ams-alg-blocklevel="2">
174
+ <alg-lineno>4:</alg-lineno><alg-line>
175
+ <alg-statement>
176
+ <span data-ams-doc="math inline"><tex-math>a\gets b</tex-math></span>
177
+ </alg-statement>
178
+ </alg-line>
179
+ <alg-lineno>5:</alg-lineno><alg-line>
180
+ <alg-statement>
181
+ <span data-ams-doc="math inline"><tex-math>b\gets r</tex-math></span>
182
+ </alg-statement>
183
+ </alg-line>
184
+ <alg-lineno>6:</alg-lineno><alg-line>
185
+ <alg-statement>
186
+ <span data-ams-doc="math inline"><tex-math>r\gets a\bmod b</tex-math></span>
187
+ </alg-statement>
188
+ </alg-line>
189
+ </alg-block>
190
+ <alg-lineno>7:</alg-lineno><alg-line>
191
+ <alg-statement><strong>end</strong> <strong>while</strong></alg-statement>
192
+ </alg-line>
193
+
194
+ <alg-lineno>8:</alg-lineno><alg-line>
195
+ <alg-statement><strong>return</strong> <span data-ams-doc="math inline"><tex-math>b</tex-math></span></alg-statement>
196
+ </alg-line>
197
+ </alg-block>
198
+ <alg-lineno>9:</alg-lineno><alg-line>
199
+ <alg-statement><strong>end</strong> <strong>function</strong></alg-statement>
200
+ </alg-line>
201
+
202
+ </alg-algorithm>
203
+ </section>
204
+ <section id="ltxid12" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.8<ams-x>.</ams-x></span> <span data-ams-doc="title">The <em>if-then-else</em> Statement<ams-x>.</ams-x></span></h3>
205
+
206
+
207
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
208
+
209
+
210
+ <alg-lineno>1:</alg-lineno><alg-line>
211
+ <alg-statement><strong>if</strong> some condition is true <strong>then</strong></alg-statement>
212
+ <alg-comment>comment</alg-comment>
213
+ </alg-line>
214
+
215
+ <alg-block data-ams-alg-blocklevel="1">
216
+ <alg-lineno>2:</alg-lineno><alg-line>
217
+ <alg-statement>do some processing</alg-statement>
218
+ </alg-line>
219
+ </alg-block>
220
+
221
+
222
+ <alg-lineno>3:</alg-lineno><alg-line>
223
+ <alg-statement><strong>else</strong> <strong>if</strong> some other condition is true <strong>then</strong></alg-statement>
224
+ <alg-comment>comment</alg-comment>
225
+ </alg-line>
226
+
227
+ <alg-block data-ams-alg-blocklevel="1">
228
+ <alg-lineno>4:</alg-lineno><alg-line>
229
+ <alg-statement>do some different processing</alg-statement>
230
+ </alg-line>
231
+ </alg-block>
232
+
233
+
234
+
235
+ <alg-lineno>5:</alg-lineno><alg-line>
236
+ <alg-statement><strong>else</strong> <strong>if</strong> some even more bizarre condition is met <strong>then</strong></alg-statement>
237
+ <alg-comment>comment</alg-comment>
238
+ </alg-line>
239
+
240
+ <alg-block data-ams-alg-blocklevel="1">
241
+ <alg-lineno>6:</alg-lineno><alg-line>
242
+ <alg-statement>do something else</alg-statement>
243
+ </alg-line>
244
+ </alg-block>
245
+
246
+
247
+ <alg-lineno>7:</alg-lineno><alg-line>
248
+ <alg-statement>
249
+ <strong>else</strong>
250
+ </alg-statement>
251
+ <alg-comment>comment</alg-comment>
252
+ </alg-line>
253
+ <alg-block data-ams-alg-blocklevel="1">
254
+ <alg-lineno>8:</alg-lineno><alg-line>
255
+ <alg-statement>do the default actions</alg-statement>
256
+ </alg-line>
257
+ </alg-block>
258
+
259
+ <alg-lineno>9:</alg-lineno><alg-line>
260
+ <alg-statement><strong>end</strong> <strong>if</strong></alg-statement>
261
+ </alg-line>
262
+
263
+ </alg-algorithm>
264
+ </section>
265
+ <section id="ltxid13" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.9<ams-x>.</ams-x></span> <span data-ams-doc="title">The <em>for</em> Loop<ams-x>.</ams-x></span></h3>
266
+
267
+
268
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
269
+
270
+
271
+ <alg-lineno>1:</alg-lineno><alg-line>
272
+ <alg-statement><strong>for</strong> <span data-ams-doc="math inline"><tex-math>i=0</tex-math></span> to <span data-ams-doc="math inline"><tex-math>10</tex-math></span> <strong>do</strong></alg-statement>
273
+ <alg-comment>comment</alg-comment>
274
+ </alg-line>
275
+
276
+ <alg-block data-ams-alg-blocklevel="1">
277
+ <alg-lineno>2:</alg-lineno><alg-line>
278
+ <alg-statement>carry out some processing</alg-statement>
279
+ </alg-line>
280
+ </alg-block>
281
+ <alg-lineno>3:</alg-lineno><alg-line>
282
+ <alg-statement><strong>end</strong> <strong>for</strong></alg-statement>
283
+ </alg-line>
284
+
285
+ </alg-algorithm>
286
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
287
+
288
+
289
+ <alg-lineno>1:</alg-lineno><alg-line>
290
+ <alg-statement><strong>for all</strong> <span data-ams-doc="math inline"><tex-math>i</tex-math></span> such that <span data-ams-doc="math inline"><tex-math>0\leq i\leq 10</tex-math></span> <strong>do</strong></alg-statement>
291
+ <alg-comment>comment</alg-comment>
292
+ </alg-line>
293
+
294
+ <alg-block data-ams-alg-blocklevel="1">
295
+ <alg-lineno>2:</alg-lineno><alg-line>
296
+ <alg-statement>carry out some processing</alg-statement>
297
+ </alg-line>
298
+ </alg-block>
299
+ <alg-lineno>3:</alg-lineno><alg-line>
300
+ <alg-statement><strong>end</strong> <strong>for</strong></alg-statement>
301
+ </alg-line>
302
+
303
+ </alg-algorithm>
304
+ </section>
305
+ <section id="ltxid14" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.10<ams-x>.</ams-x></span> <span data-ams-doc="title">The <em>while</em> Loop<ams-x>.</ams-x></span></h3>
306
+
307
+
308
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
309
+
310
+
311
+ <alg-lineno>1:</alg-lineno><alg-line>
312
+ <alg-statement><strong>while</strong> some condition holds <strong>do</strong></alg-statement>
313
+ <alg-comment>comment</alg-comment>
314
+ </alg-line>
315
+
316
+ <alg-block data-ams-alg-blocklevel="1">
317
+ <alg-lineno>2:</alg-lineno><alg-line>
318
+ <alg-statement>carry out some processing</alg-statement>
319
+ </alg-line>
320
+ </alg-block>
321
+ <alg-lineno>3:</alg-lineno><alg-line>
322
+ <alg-statement><strong>end</strong> <strong>while</strong></alg-statement>
323
+ </alg-line>
324
+
325
+ </alg-algorithm>
326
+ </section>
327
+ <section id="ltxid15" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.11<ams-x>.</ams-x></span> <span data-ams-doc="title">The <em>repeat-until</em> Loop<ams-x>.</ams-x></span></h3>
328
+
329
+
330
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
331
+
332
+
333
+ <alg-lineno>1:</alg-lineno><alg-line>
334
+ <alg-statement>
335
+ <strong>repeat</strong>
336
+ </alg-statement>
337
+ <alg-comment>comment</alg-comment>
338
+ </alg-line>
339
+
340
+ <alg-block data-ams-alg-blocklevel="1">
341
+ <alg-lineno>2:</alg-lineno><alg-line>
342
+ <alg-statement>carry out some processing</alg-statement>
343
+ </alg-line>
344
+ </alg-block>
345
+
346
+
347
+ <alg-lineno>3:</alg-lineno><alg-line>
348
+ <alg-statement><strong>until</strong> some condition is met</alg-statement>
349
+ </alg-line>
350
+
351
+
352
+
353
+ </alg-algorithm>
354
+ </section>
355
+ <section id="ltxid16" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.12<ams-x>.</ams-x></span> <span data-ams-doc="title">The Infinite Loop<ams-x>.</ams-x></span></h3>
356
+
357
+
358
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
359
+
360
+
361
+ <alg-lineno>1:</alg-lineno><alg-line>
362
+ <alg-statement>
363
+ <strong>loop</strong>
364
+ </alg-statement>
365
+ <alg-comment>comment</alg-comment>
366
+ </alg-line>
367
+
368
+ <alg-block data-ams-alg-blocklevel="1">
369
+ <alg-lineno>2:</alg-lineno><alg-line>
370
+ <alg-statement>this processing will be repeated forever</alg-statement>
371
+ </alg-line>
372
+ </alg-block>
373
+ <alg-lineno>3:</alg-lineno><alg-line>
374
+ <alg-statement><strong>end</strong> <strong>loop</strong></alg-statement>
375
+ </alg-line>
376
+
377
+ </alg-algorithm>
378
+ </section>
379
+ <section id="ltxid17" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">1.13<ams-x>.</ams-x></span> <span data-ams-doc="title">Returning Values<ams-x>.</ams-x></span></h3>
380
+
381
+
382
+ </section>
383
+ </section>
384
+ <section id="ltxid18" data-ams-doc="section" data-ams-doc-level="1"><h2><span data-ams-doc="label">2<ams-x>.</ams-x></span> <span data-ams-doc="title">Some longer examples</span></h2>
385
+
386
+
387
+ <section id="ltxid19" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">2.1<ams-x>.</ams-x></span> <span data-ams-doc="title"><em>if-elsif-else</em><ams-x>.</ams-x></span></h3>
388
+
389
+
390
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
391
+ <alg-lineno></alg-lineno><alg-line>
392
+ <alg-statement>
393
+ <span data-ams-doc="math inline"><tex-math>a \leftarrow 1</tex-math></span>
394
+ </alg-statement>
395
+ </alg-line>
396
+
397
+
398
+ <alg-lineno></alg-lineno><alg-line>
399
+ <alg-statement><strong>if</strong> <span data-ams-doc="math inline"><tex-math>a</tex-math></span> is even <strong>then</strong></alg-statement>
400
+ </alg-line>
401
+
402
+ <alg-block data-ams-alg-blocklevel="1">
403
+ <alg-lineno>3:</alg-lineno><alg-line>
404
+ <alg-statement><strong>PRINT</strong> “<span data-ams-doc="math inline"><tex-math>a</tex-math></span> is even”</alg-statement>
405
+ </alg-line>
406
+ </alg-block>
407
+
408
+
409
+ <alg-lineno></alg-lineno><alg-line>
410
+ <alg-statement><strong>else</strong> <strong>if</strong> <span data-ams-doc="math inline"><tex-math>a</tex-math></span> is odd <strong>then</strong></alg-statement>
411
+ </alg-line>
412
+
413
+ <alg-block data-ams-alg-blocklevel="1">
414
+ <alg-lineno></alg-lineno><alg-line>
415
+ <alg-statement><strong>PRINT</strong> “<span data-ams-doc="math inline"><tex-math>a</tex-math></span> is odd”</alg-statement>
416
+ </alg-line>
417
+ </alg-block>
418
+
419
+
420
+ <alg-lineno>6:</alg-lineno><alg-line>
421
+ <alg-statement>
422
+ <strong>else</strong>
423
+ </alg-statement>
424
+ </alg-line>
425
+ <alg-block data-ams-alg-blocklevel="1">
426
+ <alg-lineno></alg-lineno><alg-line>
427
+ <alg-statement><strong>PRINT</strong> “<span data-ams-doc="math inline"><tex-math>a</tex-math></span> is really weird”</alg-statement>
428
+ </alg-line>
429
+ </alg-block>
430
+
431
+ <alg-lineno></alg-lineno><alg-line>
432
+ <alg-statement><strong>end</strong> <strong>if</strong></alg-statement>
433
+ </alg-line>
434
+
435
+ </alg-algorithm>
436
+ </section>
437
+ <section id="ltxid20" data-ams-doc="subsection" data-ams-doc-level="2"><h3><span data-ams-doc="label">2.2<ams-x>.</ams-x></span> <span data-ams-doc="title">Nested structures<ams-x>.</ams-x></span></h3>
438
+
439
+
440
+ <alg-algorithm data-ams-alg-linenodelimiter=":">
441
+ <alg-lineno></alg-lineno><alg-line data-ams-alg-spanslineno="">
442
+ <alg-statement><strong>Require:</strong> <span data-ams-doc="math inline"><tex-math>n \geq 0</tex-math></span></alg-statement>
443
+ </alg-line>
444
+ <alg-lineno></alg-lineno><alg-line data-ams-alg-spanslineno="">
445
+ <alg-statement><strong>Ensure:</strong> <span data-ams-doc="math inline"><tex-math>y = x^n</tex-math></span></alg-statement>
446
+ </alg-line>
447
+ <alg-lineno></alg-lineno><alg-line>
448
+ <alg-statement>
449
+ <span data-ams-doc="math inline"><tex-math>y \leftarrow 1</tex-math></span>
450
+ </alg-statement>
451
+ </alg-line>
452
+ <alg-lineno></alg-lineno><alg-line>
453
+ <alg-statement>
454
+ <span data-ams-doc="math inline"><tex-math>X \leftarrow x</tex-math></span>
455
+ </alg-statement>
456
+ </alg-line>
457
+ <alg-lineno></alg-lineno><alg-line>
458
+ <alg-statement>
459
+ <span data-ams-doc="math inline"><tex-math>N \leftarrow n</tex-math></span>
460
+ </alg-statement>
461
+ </alg-line>
462
+
463
+
464
+ <alg-lineno></alg-lineno><alg-line>
465
+ <alg-statement><strong>while</strong> <span data-ams-doc="math inline"><tex-math>N \neq 0</tex-math></span> <strong>do</strong></alg-statement>
466
+ </alg-line>
467
+
468
+ <alg-block data-ams-alg-blocklevel="1">
469
+
470
+
471
+ <alg-lineno></alg-lineno><alg-line>
472
+ <alg-statement><strong>if</strong> <span data-ams-doc="math inline"><tex-math>N</tex-math></span> is even <strong>then</strong></alg-statement>
473
+ </alg-line>
474
+
475
+ <alg-block data-ams-alg-blocklevel="2">
476
+ <alg-lineno></alg-lineno><alg-line>
477
+ <alg-statement>
478
+ <span data-ams-doc="math inline"><tex-math>X \leftarrow X \times X</tex-math></span>
479
+ </alg-statement>
480
+ </alg-line>
481
+ <alg-lineno></alg-lineno><alg-line>
482
+ <alg-statement>
483
+ <span data-ams-doc="math inline"><tex-math>N \leftarrow N / 2</tex-math></span>
484
+ </alg-statement>
485
+ </alg-line>
486
+ </alg-block>
487
+
488
+ <alg-lineno></alg-lineno><alg-line>
489
+ <alg-statement>
490
+ <strong>else</strong>
491
+ </alg-statement>
492
+ <alg-comment><span data-ams-doc="math inline"><tex-math>N</tex-math></span> is odd</alg-comment>
493
+ </alg-line>
494
+ <alg-block data-ams-alg-blocklevel="2">
495
+ <alg-lineno></alg-lineno><alg-line>
496
+ <alg-statement>
497
+ <span data-ams-doc="math inline"><tex-math>y \leftarrow y \times X</tex-math></span>
498
+ </alg-statement>
499
+ </alg-line>
500
+ <alg-lineno></alg-lineno><alg-line>
501
+ <alg-statement>
502
+ <span data-ams-doc="math inline"><tex-math>N \leftarrow N - 1</tex-math></span>
503
+ </alg-statement>
504
+ </alg-line>
505
+ </alg-block>
506
+
507
+ <alg-lineno></alg-lineno><alg-line>
508
+ <alg-statement><strong>end</strong> <strong>if</strong></alg-statement>
509
+ </alg-line>
510
+
511
+ </alg-block>
512
+ <alg-lineno></alg-lineno><alg-line>
513
+ <alg-statement><strong>end</strong> <strong>while</strong></alg-statement>
514
+ </alg-line>
515
+
516
+ </alg-algorithm>
517
+ </section>
518
+ </section>
519
+
520
+ </section></body></html>