Can't compile theorem-sample (texlive 2019)

[ouboub]

Hi

I just cloned, and tried to run make, well no documentation was generated. I tried to compile, just in the cloned repository, for example theorem-sample.tex (either with pdflatex, xelatex or lulatex (using texlive 2019)) But I always obtain errors I attach the log file. the package sounds very interesting but I should compile

Uwe Brauer

theorems-sample.txt

[michal-h21]

Thanks for the report. Both theorems-sample.tex and notetaking.tex should work now.

[ouboub]

Hi Well, yes and no, I cannot compile them with pdflatex, but with xelatex and lualatex I can, however the resulting pdf file looks strange since it contains a lot of ??? May I ask you a small favour: could you enable ssh cloning? then I could clone the repository directly with mercurial (with hg-git enabled) since I know mercurial much better than git theorems-sample.pdf

[michal-h21]

It is strange, that you get error with pdflatex, because the document doesn't use any special packages or fonts. The ??? were caused by a bug in the document code, it should work now.

What do you mean by SSH cloning? It is enabled on Github by default, but maybe I don't understand correctly what you want.

theorems-sample.pdf

[ouboub]

ssh cloning, now the entry for ssh appears so all is good, yesterday I only saw https and cli. When I run theorems-sample.tex for the first time the error is

[1{/usr/local/texlive/2019/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
Tak co sec?: rdfs:Class
! Undefined control sequence.
<argument> \mynodes

l.203 \dolistloop\mynodes

I attach the log then after pressing x and recompiling no error appears the pdf looks ok to me theorems-sample-log.txt

[ouboub]

ssh cloning, now the entry for ssh appears so all is good, yesterday I only saw https and cli. When I run theorems-sample.tex for the first time the error is

[1{/usr/local/texlive/2019/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
Tak co sec?: rdfs:Class
! Undefined control sequence.
<argument> \mynodes

l.203 \dolistloop\mynodes

I attach the log then after pressing x and recompiling no error appears the pdf looks ok to me theorems-sample-log.txt

I just saw that the same error pops up for xelatex and lualatex. BTW, I would like to try this out for a more realistic scenario now I am a bit confused what should be part of the latex file with my result

so usually it would contain, theorems lemmas proofs etc, but am I soppused to have all teh renewcommand stuff as well couldn't that be moved to some where else?

[michal-h21]

The issue with \mynodes should hopefully be fixed now. It was not initialized at the first compilation. In the subsequent compilations, data are loaded from the aux file, so this error doesn't occur.

You can definitely move newcommands to a separate file. They may also be too much complicated for your use case, as they create the Graphviz graph, for example. If you want for example just list of theorems, you can use a much simpler version of the \Bind command.

There already is one included file, included using \inputontology{theorem-ontology.tex}. It contains definitions of properties that are set for theorems.

[ouboub]

"MH" == Michal Hoftich @.***> writes:

The issue with \mynodes should hopefully be fixed now. It was not initialized at the first compilation. In the subsequent compilations, data are loaded from the aux file, so this error doesn't occur.

After the latest pull, indeed it seems to compile without any hassle.

You can definitely move newcommands to a separate file. They may also be too much complicated for your use case, as they create the Graphviz graph, for example. If you want for example just list of theorems, you can use a much simpler version of the \Bind command.

A list of theorem I might obtain using ntheorem, no, I do want the graph my interest in your package is motivated by https://terrytao.wordpress.com/2023/02/18/would-it-be-possible-to-create-a-tool-to-automatically-diagram-papers/

I will later on write you an private email, going more into details.

regards

There already is one included file, included using \inputontology{theorem-ontology.tex}. It contains definitions of properties that are set for theorems.

-- Warning: Content may be disturbing to some audiences I strongly condemn Putin's war of aggression against the Ukraine. I support to deliver weapons to Ukraine's military. I support the ban of Russia from SWIFT. I support the EU membership of the Ukraine. https://addons.thunderbird.net/en-US/thunderbird/addon/gmail-conversation-view/