Guidedog / Dokumentation 0.2.0

Mathematik und Beweise¶

Eine Gleichung ist nützlich, wenn sie eine Beziehung leichter prüfbar macht. Definieren Sie Symbole vor ihrer Nutzung und nennen Sie nötige Einheiten. Sie soll die Erklärung stützen, nicht ersetzen.

Inline- und abgesetzte Formeln¶

Nutzen Sie die Rolle math für kurze Ausdrücke und die Direktive math für abgesetzte Formeln. Schreiben Sie die gemeinsame LaTeX-Mathematikteilmenge beider Ziele.

A side of length :math:`s` encloses area :math:`s^2`.

.. math::
   :label: area-square

   A = s^2

The relation is :eq:`area-square`.

Ein Quadrat mit Seitenlänge \(s\) hat die Fläche \(s^2\).

(1)¶\[A = s^2\]

Die Beziehung steht in (1). Beschriftete Gleichungen bekommen stabile Ziele. HTML liefert MathJax-Markup; PDF übersetzt unterstütztes LaTeX in Typst-Mathematik. Nicht unterstützte PDF-Befehle werden gemeldet. Beliebige LaTeX-Pakete werden nicht ausgeführt.

Ein kleiner Beweis¶

\(U\) seien belastete Bytes, \(B\) das Limit und \(n\) die angefragte Allokation. Alle Werte seien nicht negativ und \(U \le B\).

Zulassungsregel. Die Anfrage wird genau dann zugelassen, wenn

(2)¶\[n \le B - U.\]

Behauptung. Eine zugelassene Anfrage erhält \(U + n \le B\).

Beweis. Addieren von \(U\) auf beiden Seiten von (2) ergibt \(U+n \le B\). Die Implementierung prüft die Subtraktionsform, statt zuerst das potenziell überlaufende \(U+n\) zu berechnen. Beweis und Rechenfolge stimmen überein.

Grenze. Dies erfasst belasteten Hostspeicher, nicht die internen Allokationen des separaten Typst-Compilers. Ein Beweis gilt nur innerhalb seiner angegebenen Grenze.

HTML-Konfiguration¶

Diese Projekte enthalten MathJax 3.2.2 samt SVG-Schriftdaten und laden es nur auf Mathematikseiten. Nach dem Build sind sie offline lesbar. Diagrammskripte oder Webschriftendienste sind nicht erforderlich.

Eigene Projekte laden MathJax standardmäßig von einem CDN. Für eine lokale Kopie legen Sie es in _static ab und setzen:

html_static_path = ["_static"]
mathjax_path = "_static/tex-svg-full.js"

Webformeln brauchen JavaScript zum Satz; ohne es bleibt der Quelltext sichtbar. PDF-Formeln brauchen kein Browser-JavaScript. Siehe den MathJax-Komponentenvertrag.