[PATCH] Re: No mathematics in Texinfo exports

["Rudolf Adamkovič" <salutis@me.com>]

[-- Attachment #1: Type: text/plain, Size: 372 bytes --]

Rudolf Adamkovič <salutis@me.com> writes:

> […], or do I have to tackle the problem myself?  I would appreciate
> any tips.

I pulled up my sleeves and added the functionality myself.  See the
attached patch.  Please note that I have never contributed patches via
mail, and I have never signed any FSF papers.  I would appreciate your
guidance.  Thank you!


[-- Attachment #2: A patch adding LaTeX to Texinfo exports --]
[-- Type: text/x-patch, Size: 10846 bytes --]

From 5fe65432c1a6440c86d0bbc0b66a6603e5a8f100 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rudolf=20Adamkovi=C4=8D?= <salutis@me.com>
Date: Sat, 26 Mar 2022 16:46:47 +0100
Subject: [PATCH] ox-texinfo: Include LaTeX in Texinfo exports

* lisp/ox-texinfo.el (org-texinfo-latex-environment): New function.
* lisp/ox-texinfo.el (org-texinfo-latex-fragment): New function.
* lisp/ox-texinfo.el (texinfo): Set latex-environment.
* lisp/ox-texinfo.el (texinfo): Set latex-fragment.
* testing/lisp/test-ox-texinfo.el: Add basic tests.

Include (La)TeX mathematics, both inline and display style, in Texinfo
exports.
---
 lisp/ox-texinfo.el              |  42 ++++++
 testing/lisp/test-ox-texinfo.el | 221 ++++++++++++++++++++++++++++++++
 2 files changed, 263 insertions(+)
 create mode 100644 testing/lisp/test-ox-texinfo.el

diff --git a/lisp/ox-texinfo.el b/lisp/ox-texinfo.el
index a01bb268c..0bfd06550 100644
--- a/lisp/ox-texinfo.el
+++ b/lisp/ox-texinfo.el
@@ -55,6 +55,8 @@
     (italic . org-texinfo-italic)
     (item . org-texinfo-item)
     (keyword . org-texinfo-keyword)
+    (latex-environment . org-texinfo-latex-environment)
+    (latex-fragment . org-texinfo-latex-fragment)
     (line-break . org-texinfo-line-break)
     (link . org-texinfo-link)
     (node-property . org-texinfo-node-property)
@@ -1212,6 +1214,46 @@ CONTENTS is nil.  INFO is a plist holding contextual information."
 	      (concat "@listoffloats "
 		      (org-export-translate "Listing" :utf-8 info))))))))
 
+;;;; LaTeX Environment
+
+(defun org-texinfo-latex-environment (environment _contents info)
+  "Transcode a LaTeX ENVIRONMENT from Org to Texinfo.  CONTENTS is
+nil.  INFO is a plist holding contextual information."
+  (when (plist-get info :with-latex)
+    (let ((value (org-element-property :value environment)))
+      (string-join (list "@displaymath"
+                         (string-trim (org-remove-indentation value))
+                         "@end displaymath")
+                   "\n"))))
+
+;;;; LaTeX Fragment
+
+(defun org-texinfo-latex-fragment (fragment _contents info)
+  "Transcode a LaTeX FRAGMENT from Org to Texinfo.  CONTENTS is
+nil.  INFO is a plist holding contextual information."
+  (when (plist-get info :with-latex)
+    (let ((value (org-remove-indentation
+                  (org-element-property :value fragment))))
+      (cond
+       ((or (string-match-p "^\\\\\\[" value)
+            (string-match-p "^\\$\\$" value))
+        (concat "\n"
+                "@displaymath"
+                "\n"
+                (string-trim (substring value 2 -2))
+                "\n"
+                "@end displaymath"
+                "\n"))
+       ((string-match-p "^\\$" value)
+        (concat "@math{"
+                (string-trim (substring value 1 -1))
+                "}"))
+       ((string-match-p "^\\\\(" value)
+        (concat "@math{"
+                (string-trim (substring value 2 -2))
+                "}"))
+       (t value)))))
+
 ;;;; Line Break
 
 (defun org-texinfo-line-break (_line-break _contents _info)
diff --git a/testing/lisp/test-ox-texinfo.el b/testing/lisp/test-ox-texinfo.el
new file mode 100644
index 000000000..316b7cb1d
--- /dev/null
+++ b/testing/lisp/test-ox-texinfo.el
@@ -0,0 +1,221 @@
+;;; test-ox-texinfo.el --- Tests for ox-texinfo.el
+
+;; Copyright (C) 2022  Rudolf Adamkovič
+
+;; Author: Rudolf Adamkovič <salutis@me.com>
+
+;; This file is not part of GNU Emacs.
+
+;; This program is free software; you can redistribute it and/or modify
+;; it under the terms of the GNU General Public License as published by
+;; the Free Software Foundation, either version 3 of the License, or
+;; (at your option) any later version.
+
+;; This program is distributed in the hope that it will be useful,
+;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;; GNU General Public License for more details.
+
+;; You should have received a copy of the GNU General Public License
+;; along with this program.  If not, see <https://www.gnu.org/licenses/>.
+
+;;; Code:
+
+(require 'cl-lib)
+(require 'ox-texinfo)
+
+(unless (featurep 'ox-texinfo)
+  (signal 'missing-test-dependency "org-export-texinfo"))
+
+(ert-deftest test-org-export-texinfo/latex-fragment ()
+  "Test `org-texinfo-latex-fragment' output."
+
+  ;; inline TeX fragment
+  (should
+   (equal "@math{a^2 = b}"
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               '(:value "$a^2 = b$"))
+           nil
+           '(:with-latex t))))
+
+  ;; inline TeX fragment, padded
+  (should
+   (equal "@math{a^2 = b}"
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               '(:value "$ a^2 = b $"))
+           nil
+           '(:with-latex t))))
+
+  ;; inline LaTeX fragment
+  (should
+   (equal "@math{a^2 = b}"
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               '(:value "\\(a^2 = b\\)"))
+           nil
+           '(:with-latex t))))
+
+  ;; inline LaTeX fragment, padded
+  (should
+   (equal "@math{a^2 = b}"
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               '(:value "\\( a^2 = b \\)"))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed TeX fragment, inline
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value "$$a ^ 2 = b$$"))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed TeX fragment, inline, padded
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value "$$ a ^ 2 = b $$"))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed TeX fragment, multi-line
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "b ^ 2 = c"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value
+                                     (string-join
+                                      (list "$$"
+                                            "a ^ 2 = b"
+                                            "b ^ 2 = c"
+                                            "$$")
+                                      "\n")))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed TeX fragment, multi-line, indented
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "b ^ 2 = c"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value
+                                     (string-join
+                                      (list "  $$"
+                                            "  a ^ 2 = b"
+                                            "  b ^ 2 = c"
+                                            "  $$")
+                                      "\n")))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed LaTeX fragment, inline
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value "\\[a ^ 2 = b\\]"))
+           nil
+           '(:with-latex t))))
+
+  ;; displayed LaTeX fragment, inline, padded
+  (should
+   (equal (string-join
+           (list ""
+                 "@displaymath"
+                 "a ^ 2 = b"
+                 "@end displaymath"
+                 "")
+           "\n")
+          (org-texinfo-latex-fragment
+           (org-element-create 'latex-fragment
+                               (list :value "\\[ a ^ 2 = b \\]"))
+           nil
+           '(:with-latex t)))))
+
+(ert-deftest test-org-export-texinfo/latex-environment ()
+  "Test `org-texinfo-latex-environment' output."
+
+  ;; LaTeX environment
+  (should
+   (equal (string-join
+           (list "@displaymath"
+                 "\\begin{equation}"
+                 "a ^ 2 = b"
+                 "b ^ 2 = c"
+                 "\\end{equation}"
+                 "@end displaymath")
+           "\n")
+          (org-texinfo-latex-environment
+           (org-element-create 'latex-environment
+                               (list :value
+                                     (string-join
+                                      (list "\\begin{equation}"
+                                            "a ^ 2 = b"
+                                            "b ^ 2 = c"
+                                            "\\end{equation}")
+                                      "\n")))
+           nil
+           '(:with-latex t))))
+
+  ;; LaTeX environment, indented
+  (should
+   (equal (string-join
+           (list "@displaymath"
+                 "\\begin{equation}"
+                 "a ^ 2 = b"
+                 "b ^ 2 = c"
+                 "\\end{equation}"
+                 "@end displaymath")
+           "\n")
+          (org-texinfo-latex-environment
+           (org-element-create 'latex-environment
+                               (list :value
+                                     (string-join
+                                      (list "  \\begin{equation}"
+                                            "  a ^ 2 = b"
+                                            "  b ^ 2 = c"
+                                            "  \\end{equation}")
+                                      "\n")))
+           nil
+           '(:with-latex t)))))
+
+(provide 'test-ox-texinfo)
+;;; test-ox-texinfo.el end here
-- 
2.35.1


[-- Attachment #3: Type: text/plain, Size: 308 bytes --]


Rudy
-- 
"'Contrariwise,' continued Tweedledee, 'if it was so, it might be; and
if it were so, it would be; but as it isn't, it ain't.  That's logic.'"
-- Lewis Carroll, Through the Looking Glass, 1871/1872

Rudolf Adamkovič <salutis@me.com> [he/him]
Studenohorská 25
84103 Bratislava
Slovakia