419 lines
13 KiB
Racket
419 lines
13 KiB
Racket
#lang racket/base
|
||
|
||
(require scribble/manual
|
||
scribble/core
|
||
scribble/html-properties
|
||
scribble/latex-properties
|
||
scriblib/render-cond
|
||
racket/runtime-path
|
||
setup/collects
|
||
"katex-convert-unicode.rkt"
|
||
"mathjax-convert-unicode.rkt"
|
||
racket/list
|
||
(only-in xml cdata)
|
||
(only-in racket/match match)
|
||
(only-in racket/system process)
|
||
(only-in racket/port port->string)
|
||
(for-syntax racket/base))
|
||
|
||
(provide $
|
||
$$
|
||
$-html-handler
|
||
$$-html-handler
|
||
$-katex
|
||
$$-katex
|
||
$-mathjax
|
||
$$-mathjax
|
||
use-katex
|
||
use-mathjax
|
||
with-html5
|
||
use-external-katex
|
||
use-external-mathjax)
|
||
|
||
(define-syntax (if-version≥6.12 stx)
|
||
(syntax-case stx ()
|
||
[(_ . rest)
|
||
(if (and (not (regexp-match #px"^6\\.11\\.0\\.900$" (version)))
|
||
(or (regexp-match #px"^6(\\.([0123456789]|10|11)(\\..*|)|)$" (version))
|
||
(regexp-match #px"^[123245]\\..*$" (version))))
|
||
#'(begin)
|
||
#'(begin . rest))]))
|
||
|
||
(if-version≥6.12
|
||
(provide $-tex2svg
|
||
$$-tex2svg
|
||
use-tex2svg
|
||
current-tex2svg-path))
|
||
|
||
(define use-external-mathjax (make-parameter #f))
|
||
(define use-external-katex (make-parameter #f))
|
||
|
||
;; KaTeX does not work well with the HTML 4.01 Transitional loose DTD,
|
||
;; so we define a style modifier which replaces the prefix for HTML rendering.
|
||
(define (with-html5 doc-style)
|
||
(define has-html-defaults? (memf html-defaults? (style-properties doc-style)))
|
||
(define new-properties
|
||
(if has-html-defaults?
|
||
(map (λ (s)
|
||
(if (html-defaults? s)
|
||
(html-defaults (path->collects-relative
|
||
(collection-file-path "html5-prefix.html"
|
||
"scribble-math"))
|
||
(html-defaults-style-path s)
|
||
(html-defaults-extra-files s))
|
||
s))
|
||
(style-properties doc-style))
|
||
(cons (html-defaults (path->collects-relative
|
||
(collection-file-path "html5-prefix.html"
|
||
"scribble-math"))
|
||
#f
|
||
'()))))
|
||
(style (style-name doc-style)
|
||
new-properties))
|
||
|
||
|
||
;; Other possible sources for MathJax:
|
||
;"http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"
|
||
;"http://c328740.r40.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=default"
|
||
;"http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-HTML"
|
||
|
||
(define-runtime-path mathjax-dir "MathJax")
|
||
(define-runtime-path katex-dir "katex")
|
||
#|
|
||
(define mathjax-dir
|
||
(path->collects-relative
|
||
(collection-file-path "MathJax" "scribble-math")))
|
||
|#
|
||
|
||
|
||
;; take into account last scroll event, to avoid locking up the page
|
||
;; TODO: should actually pause the whole MathJax queue, as it still locks
|
||
;; up the browser between "processing Math" and "rendering math".
|
||
;; + set the #MathJax_Message CSS to opacity: 0.5.
|
||
(define gradually-rename-texMath-to-texMathX-js #<<EOJS
|
||
(function() {
|
||
var lastScroll = -1001;
|
||
scrollEventHandler = function(e) {
|
||
lastScroll = new Date().getTime();
|
||
};
|
||
window.addEventListener("scroll", scrollEventHandler);
|
||
var e = document.getElementsByClassName("texMath");
|
||
var pos = 0;
|
||
var o = {};
|
||
process = function() {
|
||
if (pos < e.length){
|
||
if (new Date().getTime() - lastScroll > 1000) {
|
||
if (e.id == "") { e.id = "texMathElement" + pos; }
|
||
e[pos++].className = "texMathX";
|
||
MathJax.Hub.Queue(["Typeset",MathJax.Hub,e.id]);
|
||
MathJax.Hub.Queue(["next",o]);
|
||
} else {
|
||
window.setTimeout(process, 100);
|
||
}
|
||
} else {
|
||
window.removeEventListener("scroll", scrollEventHandler);
|
||
}
|
||
};
|
||
o.next = function() {
|
||
window.setTimeout(process, 100);
|
||
}
|
||
process();
|
||
})();
|
||
EOJS
|
||
)
|
||
|
||
(define (load-script-string src [async-defer #f])
|
||
(string-append
|
||
#<<EOJS
|
||
(function() {document.write('<scr' + 'ipt type="text/javascript" src="
|
||
EOJS
|
||
src
|
||
"\""
|
||
(if async-defer " async=\"async\" defer=\"defer\" " "")
|
||
#<<EOJS
|
||
></scr' + 'ipt>');})();
|
||
EOJS
|
||
))
|
||
|
||
(define (load-style-string src)
|
||
(string-append
|
||
#<<EOJS
|
||
(function() {
|
||
document.write('<link rel="stylesheet" href="
|
||
EOJS
|
||
src
|
||
#<<EOJS
|
||
" />');
|
||
})();
|
||
EOJS
|
||
))
|
||
|
||
(define load-mathjax-code
|
||
(string->bytes/utf-8
|
||
;; To avoid the need to alter the MathJax configuration, add:
|
||
;; <script type="text/x-mathjax-config">
|
||
;; MathJax.Hub.Config({ tex2jax: {inlineMath: [['$','$']]} });
|
||
;; </script>
|
||
(load-script-string (or (use-external-mathjax) "MathJax/MathJax.js?config=default"))))
|
||
|
||
#;(define load-mathjax-code
|
||
(string->bytes/utf-8
|
||
(string-append (or (use-external-mathjax) "MathJax/MathJax.js?config=default")
|
||
#<<EOJS
|
||
(function(f) {
|
||
// A "simple" onLoad function
|
||
if (window.document.readyState == "complete") {
|
||
f();
|
||
} else if (window.document.addEventListener) {
|
||
window.document.addEventListener("DOMContentLoaded", f, false);
|
||
} else if (window.attachEvent) {
|
||
window.attachEvent("onreadystatechange", function() {
|
||
if (window.document.readyState == "complete") {
|
||
f();
|
||
}
|
||
});
|
||
} else {
|
||
var oldLoad = window.onload;
|
||
if (typeof(oldLoad) == "function") {
|
||
window.onload = function() {
|
||
try {
|
||
oldLoad();
|
||
} finally {
|
||
f();
|
||
}
|
||
};
|
||
} else {
|
||
window.onload = f;
|
||
}
|
||
}
|
||
})(function() {
|
||
var wrap = function(elts, opn, cloz) {
|
||
var eltsX = [];
|
||
for (var i = 0; i < elts.length; i++) { eltsX[i] = elts[i]; }
|
||
for (var i = 0; i < eltsX.length; i++) {
|
||
var opntxt = document.createTextNode(opn);
|
||
var cloztxt = document.createTextNode(cloz);
|
||
var e = eltsX[i];
|
||
e.insertBefore(opntxt, e.firstChild);
|
||
e.appendChild(cloztxt);
|
||
e.className = e.className.replace(/\b(texMathInline|texMathDisplay)\b/g,
|
||
"texMath");
|
||
}
|
||
};
|
||
wrap(document.getElementsByClassName("texMathInline"), "\\(", "\\)");
|
||
wrap(document.getElementsByClassName("texMathDisplay"), "\\[", "\\]");
|
||
});
|
||
EOJS
|
||
)))
|
||
|
||
(define load-katex-code+style
|
||
(string->bytes/utf-8
|
||
(string-append (load-style-string (if (use-external-katex) (cadr (use-external-katex)) "katex/katex.min.css"))
|
||
(load-script-string (if (use-external-katex) (car (use-external-katex)) "katex/katex.min.js"))
|
||
#<<EOJS
|
||
(function(f) {
|
||
// A "simple" onLoad function
|
||
if (window.document.readyState == "complete") {
|
||
f();
|
||
} else if (window.document.addEventListener) {
|
||
window.document.addEventListener("DOMContentLoaded", f, false);
|
||
} else if (window.attachEvent) {
|
||
window.attachEvent("onreadystatechange", function() {
|
||
if (window.document.readyState == "complete") {
|
||
f();
|
||
}
|
||
});
|
||
} else {
|
||
var oldLoad = window.onload;
|
||
if (typeof(oldLoad) == "function") {
|
||
window.onload = function() {
|
||
try {
|
||
oldLoad();
|
||
} finally {
|
||
f();
|
||
}
|
||
};
|
||
} else {
|
||
window.onload = f;
|
||
}
|
||
}
|
||
})(function() {
|
||
// This is an ugly way to change the doctype, in case the scribble document
|
||
// did not use (with-html5).
|
||
if (!(document.doctype && document.doctype.publicId == '')) {
|
||
if (console && console.log) {
|
||
console.log("Re-wrote the document to use the HTML5 doctype.\n"
|
||
+ " Consider using the following declaration:\n"
|
||
+ " @title[#:style (with-html5 manual-doc-style)]{…}");
|
||
}
|
||
var wholeDoc = '<!doctype HTML>\n' + document.documentElement.outerHTML;
|
||
document.open();
|
||
document.clear();
|
||
document.write(wholeDoc);
|
||
}
|
||
var inlineElements = document.getElementsByClassName("texMathInline");
|
||
for (var i = 0; i < inlineElements.length; i++) {
|
||
var e = inlineElements[i];
|
||
katex.render(e.textContent, e, { displayMode:false, throwOnError:false });
|
||
}
|
||
var displayElements = document.getElementsByClassName("texMathDisplay");
|
||
for (var i = 0; i < displayElements.length; i++) {
|
||
var e = displayElements[i];
|
||
katex.render(e.textContent, e, { displayMode:true, throwOnError:false });
|
||
}
|
||
});
|
||
EOJS
|
||
)))
|
||
|
||
(define tex-commands
|
||
(string->bytes/utf-8 #<<EOTEX
|
||
\def\math#1{\ensuremath{#1}}
|
||
\def\texMathInline#1{\ensuremath{#1}}
|
||
\def\texMathDisplay#1{\ifmmode #1\else\[#1\]\fi}
|
||
EOTEX
|
||
))
|
||
|
||
(define math-inline-style-mathjax
|
||
(style "math"
|
||
(append (list (alt-tag "span"))
|
||
#;(list (make-css-addition math-inline.css))
|
||
(if (use-external-mathjax) '() (list (install-resource mathjax-dir)))
|
||
(list (js-addition load-mathjax-code))
|
||
(list 'exact-chars))))
|
||
|
||
(define math-display-style-mathjax
|
||
(style "math"
|
||
(append (list (alt-tag "div"))
|
||
#;(list (make-css-addition math-inline.css))
|
||
(if (use-external-mathjax) '() (list (install-resource mathjax-dir)))
|
||
(list (js-addition load-mathjax-code))
|
||
(list 'exact-chars))))
|
||
|
||
(define math-inline-style-katex
|
||
(style "texMathInline"
|
||
(append (if (use-external-katex) '() (list (install-resource katex-dir)))
|
||
(list (js-addition load-katex-code+style))
|
||
(list 'exact-chars))))
|
||
|
||
(define math-display-style-katex
|
||
(style "texMathDisplay"
|
||
(append (if (use-external-katex) '() (list (install-resource katex-dir)))
|
||
(list (js-addition load-katex-code+style))
|
||
(list 'exact-chars))))
|
||
|
||
(define math-inline-style-latex
|
||
(style "texMathInline"
|
||
(list (tex-addition tex-commands)
|
||
'exact-chars)))
|
||
|
||
(define math-display-style-latex
|
||
(style "texMathDisplay"
|
||
(list (tex-addition tex-commands)
|
||
'exact-chars)))
|
||
|
||
(define ($-mathjax strs)
|
||
(elem #:style math-inline-style-mathjax strs))
|
||
|
||
(define ($-katex strs)
|
||
(elem #:style math-inline-style-katex
|
||
(map (λ (s) (katex-convert-unicode s #t)) (flatten strs))))
|
||
|
||
(if-version≥6.12
|
||
(define current-tex2svg-path (make-parameter #f))
|
||
|
||
(define (find-tex2svg)
|
||
(define paths
|
||
(list
|
||
"./node_modules/.bin/"
|
||
"/usr/local/lib/node_modules/mathjax-node-cli/bin/"
|
||
"/usr/lib/node_modules/mathjax-node-cli/bin/"
|
||
"/usr/local/bin/"
|
||
"/usr/local/sbin/"
|
||
"/usr/bin/"
|
||
"/usr/sbin/"))
|
||
(for/or ([path paths])
|
||
(file-exists? (format "~a/tex2svg" path))))
|
||
|
||
(define tex2svg
|
||
(let ([tex2svg-path (find-tex2svg)])
|
||
(lambda (#:inline [inline #f] strs)
|
||
(if (or (current-tex2svg-path) tex2svg-path)
|
||
(match (process (format
|
||
"tex2svg ~a'~a'"
|
||
(if inline "--inline " "")
|
||
(apply string-append strs)))
|
||
[`(,stdout . ,_)
|
||
(port->string stdout)])
|
||
(error 'tex2svg "Cannot find tex2svg in path or common places; set path manually with current-tex2svg-path.")))))
|
||
|
||
|
||
(define ($-tex2svg strs)
|
||
(elem #:style (style #f
|
||
(list
|
||
(xexpr-property
|
||
(cdata #f #f (tex2svg #:inline #t (flatten strs)))
|
||
(cdata #f #f "")))))))
|
||
|
||
(define ($$-mathjax strs)
|
||
(elem #:style math-display-style-mathjax strs))
|
||
|
||
(define ($$-katex strs)
|
||
(elem #:style math-display-style-katex
|
||
(map (λ (s) (katex-convert-unicode s #t)) (flatten strs))))
|
||
|
||
(if-version≥6.12
|
||
(define ($$-tex2svg strs)
|
||
(elem #:style (style #f
|
||
(list
|
||
(xexpr-property
|
||
(cdata #f #f (tex2svg (flatten strs)))
|
||
(cdata #f #f "")))))))
|
||
|
||
(define $-html-handler (make-parameter $-katex))
|
||
(define $$-html-handler (make-parameter $$-katex))
|
||
|
||
(define (use-katex)
|
||
($-html-handler $-katex)
|
||
($$-html-handler $$-katex)
|
||
(void))
|
||
|
||
(define (use-mathjax)
|
||
($-html-handler $-mathjax)
|
||
($$-html-handler $$-mathjax)
|
||
(void))
|
||
|
||
(if-version≥6.12
|
||
(define (use-tex2svg)
|
||
($-html-handler $-tex2svg)
|
||
($$-html-handler $$-tex2svg)
|
||
(void)))
|
||
|
||
(define ($ . strs)
|
||
(let ([$- ($-html-handler)])
|
||
(cond-element
|
||
[html ($- strs)]
|
||
[latex (elem #:style math-inline-style-latex strs)]
|
||
;; TODO: use a unicode representation of math, e.g. x^2 becomes x²
|
||
[else strs])))
|
||
|
||
(define ($$ #:latex-style [latex-style math-display-style-latex] . strs)
|
||
(let ([$$- ($$-html-handler)])
|
||
(cond-element
|
||
[html ($$- strs)]
|
||
[latex (elem #:style latex-style strs)]
|
||
;; TODO: use a spatial representation of display math, e.g.
|
||
;; \sum_{i=0}^n x_i^2
|
||
;; becomes:
|
||
;; n
|
||
;; ───
|
||
;; ╲ 2
|
||
;; 〉 x
|
||
;; ╱ i
|
||
;; ───
|
||
;; i=0
|
||
;; Or use a spatial unicode representation, so that the above becomes:
|
||
;; n
|
||
;; ∑ xᵢ²
|
||
;; i=0
|
||
[else strs])))
|