SMGloM issueshttps://gl.mathhub.info/groups/smglom/-/issues2018-09-08T13:25:34Zhttps://gl.mathhub.info/smglom/chevahir/-/issues/1notation to symtest2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.denotation to symtestWe have
```
\symdef{completegraph}[1]{K_{#1}}
\symvariant{completegraph}[1]{rm}{\mathrm{K}_{#1}}
\symvariant{completegraph}[1]{it}{\mathit{K}_{#1}}
\begin{notation}[for=completegraph]
$\completegraph{n}$, $\completegraph[rm]...We have
```
\symdef{completegraph}[1]{K_{#1}}
\symvariant{completegraph}[1]{rm}{\mathrm{K}_{#1}}
\symvariant{completegraph}[1]{it}{\mathit{K}_{#1}}
\begin{notation}[for=completegraph]
$\completegraph{n}$, $\completegraph[rm]{n}$, $\completegraph[it]{n}$,
\end{notation}
```
in the files, that should be reformatted to
```
\symdef{completegraph}[1]{K_{#1}}
\symtest{completegraph}{\completegraph{n}}
\symvariant{completegraph}[1]{rm}{\mathrm{K}_{#1}}
\symtest[variant=rm]{completegraph}{\completegraph[rm]{n}}
\symvariant{completegraph}[1]{it}{\mathit{K}_{#1}}
\symtest[variant=it]{completegraph}{\completegraph[it]{n}}
```
systematically everywhere. https://gl.mathhub.info/smglom/mv/-/issues/2add mathtalk modules2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.deadd mathtalk moduleswe should have logic-independent "definitions" of logic symbols. we should have logic-independent "definitions" of logic symbols. completenessMichael Kohlhasemichael.kohlhase@fau.deMichael Kohlhasemichael.kohlhase@fau.dehttps://gl.mathhub.info/smglom/mv/-/issues/3find missing concepts and notions.2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.defind missing concepts and notions.we need to make sure that we have a first complete set to be usable. we need to make sure that we have a first complete set to be usable. completenessMichael Kohlhasemichael.kohlhase@fau.deMichael Kohlhasemichael.kohlhase@fau.dehttps://gl.mathhub.info/smglom/numbers/-/issues/1coordinate symbols2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.decoordinate symbolsas in http://gl.mathhub.info/smglom/smglom/issues/6
as in http://gl.mathhub.info/smglom/smglom/issues/6
https://gl.mathhub.info/smglom/numbers/-/issues/2motzkinnumbercat is a view2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.demotzkinnumbercat is a viewand it should be marked up as such. and it should be marked up as such. https://gl.mathhub.info/smglom/primes/-/issues/1consolidate symbos2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.deconsolidate symbosas described inin http://gl.mathhub.info/smglom/smglom/issues/6as described inin http://gl.mathhub.info/smglom/smglom/issues/6https://gl.mathhub.info/smglom/numbers/-/issues/3regularize named number symbol names2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.deregularize named number symbol namesWe often find things like ```\defii[motzkinnumber]{Motzkin}{number}``` in ```*.en.tex```, and ```\defi[motzkinnumber]{Motzkin-Zahl}``` in ```*.de.tex```.
I would like to have this regularized into ```\defii{Motzkin}{number}``` in ```...We often find things like ```\defii[motzkinnumber]{Motzkin}{number}``` in ```*.en.tex```, and ```\defi[motzkinnumber]{Motzkin-Zahl}``` in ```*.de.tex```.
I would like to have this regularized into ```\defii{Motzkin}{number}``` in ```*.en.tex```, and ```\defi[Motzkin-number]{Motzkin-Zahl}``` in ```*.de.tex```.
Note that all the ```\*tref*``` also need to be adapted.
I think that this is important to do, since this is the most canonical way, and we want to have things uniform in the future.
https://gl.mathhub.info/smglom/primes/-/issues/2canonicalize named constants2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.decanonicalize named constantsas described in http://gl.mathhub.info/smglom/numbers/issues/3as described in http://gl.mathhub.info/smglom/numbers/issues/3https://gl.mathhub.info/smglom/primes/-/issues/3mark up legrendre symbols2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.demark up legrendre symbolsthe legendre symbols should be marked up e.g. in wallsunsunprime.texthe legendre symbols should be marked up e.g. in wallsunsunprime.texhttps://gl.mathhub.info/smglom/graphs/-/issues/1coordinate symbol names2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.decoordinate symbol namesas described in http://gl.mathhub.info/smglom/numbers/issues/1 and also regularize as described in http://gl.mathhub.info/smglom/numbers/issues/3
as described in http://gl.mathhub.info/smglom/numbers/issues/1 and also regularize as described in http://gl.mathhub.info/smglom/numbers/issues/3
https://gl.mathhub.info/smglom/meta-inf/-/issues/13make stats and debug work on monolingual sTeX as well.2018-06-24T10:07:14ZMichael Kohlhasemichael.kohlhase@fau.demake stats and debug work on monolingual sTeX as well.the tools are so nice that I would like to have them for my lectures as well. In particular for [AI](https://gl.mathhub.info/MiKoMH/AI).
There are a couple of differences
* NL and SIG are mixed in a single module `\begin/\end{module}` i...the tools are so nice that I would like to have them for my lectures as well. In particular for [AI](https://gl.mathhub.info/MiKoMH/AI).
There are a couple of differences
* NL and SIG are mixed in a single module `\begin/\end{module}` instead of \begin/end{modsig}`
* `\gimport[rep]{foo}` is a short form of `\importmhmodule[repos=rep,path=.../foo]{foo}` and analogously for `\guse`.
* there may be more than one module per file.
* and things I forget; they will turn up when I use the tool.Jan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/meta-inf/-/issues/14get rid of "no matches found"2018-06-23T05:21:55ZMichael Kohlhasemichael.kohlhase@fau.deget rid of "no matches found"I would really like to get rid of the
```
/Users/kohlhase/localmh/MathHub/smglom/smglom/source/all.de.tex:1: No matches found in file
```
I never see this as useful, and it gets into the way, wasting time. As you are using `-v` for othe...I would really like to get rid of the
```
/Users/kohlhase/localmh/MathHub/smglom/smglom/source/all.de.tex:1: No matches found in file
```
I never see this as useful, and it gets into the way, wasting time. As you are using `-v` for other useful things, I cannod even adjust that.Jan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/meta-inf/-/issues/16argument passing problem2018-06-23T11:47:34ZMichael Kohlhasemichael.kohlhase@fau.deargument passing problemI am trying to get missing verbalizations, and it seems I cannot do that language-independently
```
smglom_debug.py -mv ../..
usage: smglom_debug.py [-h] [-v {0,1,2,3}] [-ma] [-mv [LANG [LANG ...]]] [-im]
[-e]
...I am trying to get missing verbalizations, and it seems I cannot do that language-independently
```
smglom_debug.py -mv ../..
usage: smglom_debug.py [-h] [-v {0,1,2,3}] [-ma] [-mv [LANG [LANG ...]]] [-im]
[-e]
DIRECTORY [DIRECTORY ...]
smglom_debug.py: error: the following arguments are required: DIRECTORY
faustaff-010-020-010-039:bin kohlhase$
```
Here the `../..` is interpreted as a language. But `smglom_debug.py ../.. -mv` does not give me any data.
Hmmm, but the example call does work.https://gl.mathhub.info/smglom/meta-inf/-/issues/18extend the stats by columns for number of verbalizations and percentage of sy...2019-04-18T07:34:44ZMichael Kohlhasemichael.kohlhase@fau.deextend the stats by columns for number of verbalizations and percentage of synonums in every languagei.e. how many `\defi{foo}` and `\defi[name=foo]{bar}` there are.
the synonym percentage would be 2 here.i.e. how many `\defi{foo}` and `\defi[name=foo]{bar}` there are.
the synonym percentage would be 2 here.Jan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/algebra/-/issues/1Translation inconsistency in distributive-lattice.en/de.tex2019-05-28T13:50:41ZXinTranslation inconsistency in distributive-lattice.en/de.tex>In file distributive-lattice.en/de.tex :
```
\begin{mhmodnl}[creators=miko]{distributive-lattice}{en}
\begin{definition}
A \trefi[lattice]{lattice} $\defeq\cL{\mvstructure{S,\joinOp,\meetOp}}$ is called
\defi[name=distributive-latti...>In file distributive-lattice.en/de.tex :
```
\begin{mhmodnl}[creators=miko]{distributive-lattice}{en}
\begin{definition}
A \trefi[lattice]{lattice} $\defeq\cL{\mvstructure{S,\joinOp,\meetOp}}$ is called
\defi[name=distributive-lattice]{distributive}, iff $\cL$ is also a
\trefi[ringoid]{ringoid}, i.e. if $\joinOp$ and $\meetOp$ are
\trefi[ringoid]{distributive}.
\end{definition}
\end{mhmodnl}
```
>Here a noun __distributive-lattice__ is translated to a adjective __distributiv__
```
\defi[name=distributive-lattice]{distributiv}
```
>However in this file, there is no exact translation of __distributive-lattice__ with \defi{distributive-lattice}https://gl.mathhub.info/smglom/meta-inf/-/issues/19make the statistics available online2019-08-22T17:24:41ZMichael Kohlhasemichael.kohlhase@fau.demake the statistics available online@slel suggested this:
I have started writing instructions on the [`meta-inf` wiki](https://gl.mathhub.info/smglom/meta-inf/wikis/home). It would be great, if we could have the glossary statistics online. We would only have to checkout a...@slel suggested this:
I have started writing instructions on the [`meta-inf` wiki](https://gl.mathhub.info/smglom/meta-inf/wikis/home). It would be great, if we could have the glossary statistics online. We would only have to checkout all repositories on travis and run the stats over that using travis.Jan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/meta-inf/-/issues/21glossary for a course.2019-09-13T09:38:50ZMichael Kohlhasemichael.kohlhase@fau.deglossary for a course.I think we can extend the glossary/dictionary generation from all of SMGloM to courses. I think we have all the moving parts already.
* From the course graph we have recursively reading all theories of a course.
* once that set of theo...I think we can extend the glossary/dictionary generation from all of SMGloM to courses. I think we have all the moving parts already.
* From the course graph we have recursively reading all theories of a course.
* once that set of theories is established we can make a glossary/dictionary.
I would like to use this for (at least) IWGS: https://gl.mathub.info/MiKoMH/IWGSJan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/meta-inf/-/issues/22multilingualizer2019-09-13T09:38:48ZMichael Kohlhasemichael.kohlhase@fau.demultilingualizerI will probably need/want to have a `multilingualizer` tool, i.e. a tool that takes a monolinguial file foo.tex with `\begin/\end{module}` (say for theories `bar` and `baz`) and `\importmhmodule`, and `\symdef` in it and make
* a file `...I will probably need/want to have a `multilingualizer` tool, i.e. a tool that takes a monolinguial file foo.tex with `\begin/\end{module}` (say for theories `bar` and `baz`) and `\importmhmodule`, and `\symdef` in it and make
* a file `foo.en.tex` (for some value of `en` given in an argument to `multilingualizer`) with all the text and `\begin{mhmodnl}{bar/baz}{en}` and
* files `bar.tex` and `baz.tex` which have the `\symdef`, and the corresponding `\begin/end{modsig}[id=bar/baz]` and the `\importmhmodule` (the latter might even transform nicely to `\gimport`; I am not sure yet.
The goal is to apply it to all of IWGS (and eventually AI) and add German glossary modules to `bar.tex` and `baz.tex`, so I can make a dictionary.
This is really a co-requisite for #21 (at least the dictionary part there).
It would be good, if I could apply this to a whole directory or even course.
BTW, there is already a python tool by @twiesing that did something similar, you may have a look at that.Jan Frederik SchaeferJan Frederik Schaeferhttps://gl.mathhub.info/smglom/meta-inf/-/issues/23do something about alternative definitions.2020-01-16T08:23:10ZMichael Kohlhasemichael.kohlhase@fau.dedo something about alternative definitions.Sometimes we have alternative definitions, where the (semantically) same object is defined in two ways. A well-known instance is groups defined via multiplicative operation (unitary with inverses) or via a division operator (cancellative...Sometimes we have alternative definitions, where the (semantically) same object is defined in two ways. A well-known instance is groups defined via multiplicative operation (unitary with inverses) or via a division operator (cancellative quasigroups). Another example is the Cahen constant.
We currently make separate definitions for those and then establish a biview between them. But we need to have "alignment-type" annotations that are more lightweight, and can be picked up in the glossary. E.g. by displaying all definitions for a given concept instead of having the lemma twice. Same holds for the generated dictionary.
I am thinking about something like new keys `eqdef`, `eqrepos`, `eqtoview`, `eqtoviewrepos`, `eqfromview`, and `eqfromviewrepos` for `\begin{modsig}`. E.g.
```LaTeX
\begin{modsig}[eqdef=foo,eqrepos=smglom/calculus,
eqtoview=foo2bar,eqfromrepos=smglom/calculus,
eqfromview=bar2from]{bar}
```
This defines an alternative definition module `bar` for `foo`, which is in `smglom/calculus` and justifies this by two views `foo2bar` and `bar2foo`, which (here) go from module `bar` to `foo` and back.
We should probably allow the back view to go to another module `foobar`, which is an alternative definition for `foo`, so that the overall view structure is a full cycle. This is a figure we see in maths quite often, something like
```
The following three definitions for ``baz`` are equivalent
- foo
- bar
- foobar
proof
- foo -> bar
- bar -> foobar
- foobar -> boo
```
That should be supported.
Michael Kohlhasemichael.kohlhase@fau.deJan Frederik SchaeferMichael Kohlhasemichael.kohlhase@fau.dehttps://gl.mathhub.info/smglom/IWGS/-/issues/1Transitive dependencies on non-public repository2021-03-11T17:21:00ZTom WiesingTransitive dependencies on non-public repositoryThis repository transitively depends on `MiKoProblems/CompLog` causing an installation failure when using "lmh install smglom".This repository transitively depends on `MiKoProblems/CompLog` causing an installation failure when using "lmh install smglom".