[dk-tug] Krydsreferencer

Mange matematiske sætninger indeholder flere punkter, f.eks. (i)-(iv)
eller (1)-(4). Lad os sige:

\begin{theorem} \label{THM}
Dette er en sætning med flere punkter:
 \begin{enumerate}[(i)]
   \item Punkt 1. \label{punkt1}
   \item Punkt 2. \label{punkt2}
   ...
   \item Punkt n. \label{punktn}
 \end{enumerate}
\end{theorem}

Hvad jeg nu ønsker er to ting:

(a) I beviset for sætningen vil jeg gerne nøjes med at referere til
eksempelvis (ii), mens det alle andre steder end i beviset skal hedde
2.2(ii) medmindre andet påkræves. Hvordan gør jeg det nu? Optimalt set
skulle det være valgfrit hver gang jeg ville referere til et punkt i
sætningen, om det skal vise (ii) eller 2.2(ii), f.eks. således at
\thmref{punkt2} giver 2.2(ii) og \ref{punkt2} giver (ii) uanset
hvilket sætningsmiljø der bruges.

For at få \ref{punkt2} til at give 2.2(ii) har jeg fundet følgende
løsning, der benytter enumitem-pakken:

\begin{theorem} \label{THM}
Dette er en sætning med flere punkter:
 \begin{enumerate}[label={(\roman*)},ref={\thetheorem(\roman*)}]
   \item Punkt 1. \label{punkt1}
   \item Punkt 2. \label{punkt2}
   ...
   \item Punkt n. \label{punktn}
 \end{enumerate}
\end{theorem}

Men det løser, som I kan se, ikke hele problemet, da \ref{punkt2} nu
altid - også i beviset for sætningen - giver 2.2(ii).

(b) Hvordan kan man få sætningsnavnet med i krydsreferencen? Hvis jeg har

\begin{proposition} \label{property}
 ...
\end{proposition}

vil jeg gerne have, at "\ref{property}" giver "Proposition 2.3",
således at hvis jeg senere skulle komme i tanke om at propositionen
skal være en sætning i stedet, så vil alle "Proposition 2.3" blive
ændret til "Sætning 2.3".

Jeg har fundet en pakke, der hedder commath, som ser ud til at kunne
løse problemet med at få "Theorem" med i henvisningen, men det ser
ikke ud til, at den virker efter hensigten, idet jeg gerne vil have
\thmref til at tage højde for, hvilken sætningskonstruktion man
benytter.

Jeg kender ikke selv til nogen løsning på ovenstående problemer, men
jeg har ladet mig fortælle af flere, at der findes løsninger; specielt
kender jeg ikke til en løsning, som altid virker, men det håber jeg,
at der er nogle på denne mailingsliste, som gør