typst theorems

tests and feature row in matrix

Author: gordonwoodhull

dev-docs/feature-format-matrix/qmd-files/crossref/block/theorem/document.qmd

@@ -0,0 +1,34 @@
+---
+format:
+  html:
+    quality: 2
+  pdf:
+    quality: 2
+  typst:
+    quality: 2
+  dashboard:
+    quality: 1
+  markdown:
+    quality: 2
+  docx:
+    quality: 1
+  pptx:
+    quality: 1
+  ipynb:
+    quality: 0
+    comment: "Renders as HTML prefixed with # on empty line"
+
+---
+
+::: {#thm-line}
+
+## Line
+
+The equation of any straight line, called a linear equation, can be written as:
+
+$$
+y = mx + b
+$$
+:::
+
+See @thm-line.

src/resources/filters/customnodes/theorem.lua

@@ -88,6 +88,22 @@ _quarto.ast.add_handler({
   end
 })
 
+local included_typst_theorems = false
+local letted_typst_theorem = {}
+local function ensure_typst_theorems(reftype)
+  if not included_typst_theorems then
+    included_typst_theorems = true
+    quarto.doc.include_text("in-header", "#import \"@preview/ctheorems:1.1.0\": *")
+    quarto.doc.include_text("in-header", "#show: thmrules")
+  end
+  if not letted_typst_theorem[reftype] then
+    letted_typst_theorem[reftype] = true
+    local theorem_type = theorem_types[reftype]
+    quarto.doc.include_text("in-header", "#let " .. theorem_type.env .. " = thmbox(\"" .. theorem_type.env .. "\", \"" .. theorem_type.title .. "\", fill: rgb(\"#eeffee\"))")
+  end
+end
+
+
 _quarto.ast.add_renderer("Theorem", function()
   return true 
 end, function(thm)
@@ -136,7 +152,21 @@ end, function(thm)
     -- JATS XML theorem
     local lbl = captionPrefix({}, type, theorem_type, order)
     el = jatsTheorem(el, lbl, name)          
-    
+
+  elseif _quarto.format.isTypstOutput() then
+    ensure_typst_theorems(type)
+    -- el.content:insert(1, pandoc.RawInline("typst", "#" .. theorem_type.env .. "(\"" .. thm.name .. "\")["))
+    local callthm = pandoc.Para(pandoc.RawInline("typst", "#" .. theorem_type.env .. "(\""))
+    if name then
+      tappend(callthm.content, name)
+    end
+    quarto.log.output(el.content)
+    callthm.content:insert(pandoc.RawInline("typst", "\")["))
+    tappend(callthm.content, quarto.utils.as_inlines(el.content))
+    callthm.content:insert(pandoc.RawInline("typst", "] <" .. el.attr.identifier .. ">"))
+    quarto.log.output(callthm.content)
+    return callthm
+
   else
     -- create caption prefix
     local captionPrefix = captionPrefix(name, type, theorem_type, order)

tests/docs/smoke-all/crossrefs/theorem/lemma-1.qmd

@@ -0,0 +1,44 @@
+---
+keep-typ: true
+_quarto:
+  tests:
+    html:
+      ensureHtmlElements:
+        - 
+          - "a.quarto-xref"
+        - []
+    latex:
+      ensureFileRegexMatches:
+        -
+          - "hypertarget{lem-line}"
+          - "label{lem-line}"
+          - "Lemma~\\\\ref\\{lem-line\\}"
+        - []
+    typst:
+      ensureTypstFileRegexMatches:
+        - 
+          - "<lem-line>"
+          - "@lem-line"
+          - "#lemma\\(\"Line\"\\)"
+        - []
+    markdown:
+      ensureFileRegexMatches:
+        -
+          - "\\[Lemma 1\\]\\(#lem-line\\)\\{.quarto-xref\\}"
+          - '\[\*\*Lemma 1 \(Line\)\*\*\]\{.theorem-title\}'
+    
+
+---
+
+::: {#lem-line}
+
+## Line
+
+The equation of any straight line, called a linear equation, can be written as:
+
+$$
+y = mx + b
+$$
+:::
+
+See @lem-line.

tests/docs/smoke-all/crossrefs/theorem/theorem-1.qmd

@@ -0,0 +1,44 @@
+---
+keep-typ: true
+_quarto:
+  tests:
+    html:
+      ensureHtmlElements:
+        - 
+          - "a.quarto-xref"
+        - []
+    latex:
+      ensureFileRegexMatches:
+        -
+          - "hypertarget{thm-line}"
+          - "label{thm-line}"
+          - "Theorem~\\\\ref\\{thm-line\\}"
+        - []
+    typst:
+      ensureTypstFileRegexMatches:
+        - 
+          - "<thm-line>"
+          - "@thm-line"
+          - "#theorem\\(\"Line\"\\)"
+        - []
+    markdown:
+      ensureFileRegexMatches:
+        -
+          - "\\[Theorem 1\\]\\(#thm-line\\)\\{.quarto-xref\\}"
+          - '\[\*\*Theorem 1 \(Line\)\*\*\]\{.theorem-title\}'
+    
+
+---
+
+::: {#thm-line}
+
+## Line
+
+The equation of any straight line, called a linear equation, can be written as:
+
+$$
+y = mx + b
+$$
+:::
+
+See @thm-line.