[Tex/LaTex] Problem with hyperref / cleveref / thmtools

cleverefhyperrefthmtoolswarnings

The following is a (fairly) minimal example:

\documentclass{book}

\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}

\declaretheoremstyle[
spaceabove=6pt, spacebelow=6pt,
headfont=\normalfont\bfseries,
notefont=\itshape, notebraces={(}{)},
bodyfont=\itshape,
postheadspace=1em
]{mystyle}

\declaretheorem[name=Theorem, parent=section, style=mystyle,
refname={Theorem,Theorems},
Refname={Theorem,Theorems}]{theorem}

\declaretheorem[name=Proposition, sibling=theorem, style=mystyle,
refname={Proposition,Propositions},
Refname={Proposition,Propositions}]{prop}

\usepackage{hyperref}
\hypersetup{%
colorlinks = true,
linkcolor = blue,
urlcolor = magenta,
citecolor = red,
pdfpagemode = UseNone,
pdfpagelayout = SinglePage,
pdfdisplaydoctitle = true,
plainpages = false}

\usepackage[capitalize]{cleveref}

\crefname{prop}{Proposition}{Propositions}

\begin{document}

\begin{prop}\label[prop]{prop:112}

Testing this out!
\end{prop}

\begin{prop}\label[prop]{prop:113}
Still Testing!
\end{prop}

\cref{prop:112} and \cref{prop:113}

\end{document}

The problem is that both links point to the first proposition. I also get the error

destination with the same identifier (name{prop.\\theHprop\040}) has been already used, duplicate ignored.

Does anyone know what steps I need to take to resolve this problem (I thought I had already done enough!). Perhaps it is pertinent, but I also get the error

Package thmtools warning: Your version of cleveref is too old!

but I just updated both packages!

Best Answer

Your example works properly for me. (No log file messages from thmtools). Package versions

hyperref.sty    2010/09/13 v6.81n Hypertext links for LaTeX
cleveref.sty    2010/09/04 v0.17.4 Intelligent cross-referencing
thmtools.sty    2010/08/09 v50

Related Solutions

[Tex/LaTex] A problem with thmtools and cleveref

There is a bug in thm-autoref.sty. Part of the set-up for cleverefs magic is left to the start of the document. So cleveref maintains a list of all the label types that it has been told about so that when it gets to the \begin{document} hook, it can iterate through them and finish the necessary configuration.

Examining this list for your document (well, my slightly extended version) reveals that it is:

\thmt@envname ,\thmt@envname ,\thmt@envname ,\thmt@envname ,thr,equation,\@nil

That doesn't look right! \thmt@envname is getting processed four times here. In my code, then \thmt@envname is prop which happens to be the last one in my list of \declaretheorems (for your code it would be thr - I experimented with permutations a bit). So something isn't being expanded when it should. After playing a bit of Ultimate Code Frisbee (chasing definitions from one place to another), I tracked it down to a definition in thm-autoref.sty, specifically the definition of \thmt@refnamewithcomma. It reads:

\def\thmt@refnamewithcomma #1#2#3,#4,#5\@nil{%
  \@xa\def\csname\thmt@envname #1utorefname\endcsname{#3}%
  \ifcsname #2refname\endcsname
    \csname #2refname\endcsname{\thmt@envname}{#3}{#4}%
  \fi
}

Clearly, we need to expand the \thmt@envname. One way to do this is with two \expandafters:

\def\thmt@refnamewithcomma #1#2#3,#4,#5\@nil{%
  \@xa\def\csname\thmt@envname #1utorefname\endcsname{#3}%
  \ifcsname #2refname\endcsname
    \csname #2refname\expandafter\endcsname\expandafter{\thmt@envname}{#3}{#4}%
  \fi
}

So if you put that at the top of your document (within \makeatletter ... \makeatother) it will fix this problem. Warning The same command is used for autoref, I don't know if this will break that (though it really aught not to do so).

Here's a full example:

\documentclass{article}

\usepackage{cleveref}
\usepackage{thmtools}

\makeatletter
\def\thmt@refnamewithcomma #1#2#3,#4,#5\@nil{%
  \@xa\def\csname\thmt@envname #1utorefname\endcsname{#3}%
  \ifcsname #2refname\endcsname
    \csname #2refname\expandafter\endcsname\expandafter{\thmt@envname}{#3}{#4}%
  \fi
}
\makeatother

\declaretheorem[name=Theorem,Refname={Theorem,Theorems}]{thr}
\declaretheorem[name=Lemma,Refname={Lemma,Lemmas}]{lem}
\declaretheorem[name=Corollary,Refname={Corollary,Corollaries}]{cor}
\declaretheorem[name=Proposition,Refname={Proposition,Proposition}]{prop}
\begin{document}

  \begin{lem}\label{lem1}
    A lemma.
  \end{lem}

  \begin{prop}\label{prop1}
    A proposition.
  \end{prop}

  \begin{thr}\label{thr1}
    A theorem.
  \end{thr}

  \begin{cor}\label{cor1}
    A Corollary.
  \end{cor}

  \Cref{lem1}, \Cref{prop1}, \Cref{thr1}, and \Cref{cor1}.

\end{document}

Result:

(Oh - something doesn't like standalone. Oh dear, back to more traditional tools.)

fixed cleveref and thmtools

Best Answer

Related Solutions

[Tex/LaTex] A problem with thmtools and cleveref

Related Question