search

slatex / LaTeXML-Plugin-sTeX

A LaTeXML Plugin for Semantic LaTeX (sTeX)
LaTeX Project Public License v1.3c
2 stars 3 forks source link

multiple defis in a definition #134

Closed Jazzpirate closed 4 years ago

Jazzpirate commented 4 years ago

...yields Info:malformed:id Duplicated attribute xml:id

Example: https://gl.mathhub.info/smglom/algebra/blob/master/source/quotient-group.de.tex here, quotient-group is "defined" twice, since in german there are two common names for it (in line 10).

This seems to casuse the bindings to attempt to generate the same symbol with the same id twice. The relevant code is here: https://github.com/slatex/LaTeXML-Plugin-sTeX/blob/master/lib/LaTeXML/Package/statements.sty.ltxml#L199

What should happen is probably a check whether a symbol already exists before the corresponding <omdoc:symbol> node is generated, but I don't know enough perl to do that other than seriously hacky.

kohlhase commented 4 years ago

Actually, I think will not be able to do this only my own, but will need help from Deyan and/or Tom. But I have verified that Dennis' description seems to be a correct analysis of the problem.

Jazzpirate commented 4 years ago

solved locally; will do a PR once all bugfixes are done

Jazzpirate commented 4 years ago

fixed with db806707952b801edd2e1b4987b9747e8f3ad87c