|
|
# The SMGloM Wiki (Documentation)
|
|
|
SMGloM aims to become a multilingual, semantic, lexical resource for mathematics.
|
|
|
|
|
|
## Structure
|
|
|
The SMGloM contents are kept in GitLab Repositories as Math Archives: Each repository has a `source` subfolder, which contains the sTeX files for a SMGloM Module. These come in two varieties:
|
|
|
* **sTeX Module Signatures**:
|
|
|
* **sTeX Language Bindings**:
|
|
|
|
|
|
## Contributing
|
|
|
To contribute to existing SMGloM repositories, the best way is to create pull requests. If you plan extended development of SMGloM content, you should establish your own repository. For the latter, just contact `michael.kohlhase@fau.de`.
|
|
|
|
|
|
## Generating PDF (the elementary way)
|
|
|
The best way to prototype SMGloM content is to use `pdflatex`. BUT, SMGloM modules are just file fragments, you cannot directly run `pdflatex` on your module `foo.en.tex`. Instead you want to make a file
|
|
|
```LaTeX
|
|
|
\documentclass[mh]{smglom}
|
|
|
\defpath{MathHub}{/Users/kohlhase/localmh/MathHub}
|
|
|
\mhcurrentrepos{smglom/graphs}
|
|
|
\baseURI[\MathHub{}]{https://mathhub.info/smglom/graphs}
|
|
|
\usepackage[utf8]{inputenc}
|
|
|
\libinput{preamble}
|
|
|
\begin{document}
|
|
|
\input{foo.en}
|
|
|
\end{document}
|
|
|
```
|
|
|
and run `pdflatex` on that.
|
|
|
|
|
|
## Generating PDF (the MMT way)
|
|
|
|
|
|
The [MMT system](https://uniformal.github.io) has functionality to support SMGloM ([Setup MMT](https://uniformal.github.io/doc/setup/); make a handy alias `mmt` for `java -jar .../mmt.jar`). You can use
|
|
|
* `mmt lmh install smglom/foo` to install the SMGloM group and all of its dependencies.
|
|
|
* `mmt make alltex` in a directory to generate a file like the one above that includes all modules in the current directory.
|
|
|
* `mmt make pdflatex foo.tex` to generate PDF for the `foo.tex` (this needs file like `localpaths.tex` which are generated by the `alltex` target above.
|
|
|
* `mmt make allpdf` generates PDF for `all*.tex` generated by the `alltex` target. |