[Tex/LaTex] counters of \declaretheorem and \newtheorem differ

countersnewtheoremthmtools

I want to use thmtools in order to state questions, that I want to repeat at a latter point of my text.
I declared the question-environment using \declaretheorem, but I also use theorem-environments I declared with \newtheorem. I want to have them to be numbered with the same counter (subsection), but it does not work.
Can you help me out please?

\documentclass{article}
\usepackage{amsmath,thmtools}
\newtheorem{theorem}{Theorem}[subsection]
\declaretheorem[name=Question,numberwithin=subsection]{question}
\begin{document}
\section{Section1}
\subsection{Subsection1}
\begin{theorem}
test1
\end{theorem}
\begin{theorem}
test2
\end{theorem}
\begin{restatable}{question}{questionone}
What it is all about?
\end{restatable}
\questionone*
\begin{theorem}
test 3
\end{theorem}

\begin{restatable}{question}{questiontwo}
Hmm?
\end{restatable}

\questiontwo*

\end{document}

Best Answer

Is this what you are trying to achieve?

\documentclass{article}
\usepackage{amsmath,thmtools}
\newtheorem{theorem}{Theorem}[subsection]
\newtheorem{question}[theorem]{Question}
\begin{document}
\section{Section1}
\subsection{Subsection1}
\begin{theorem}
test1
\end{theorem}
\begin{theorem}
test2
\end{theorem}
\begin{restatable}{question}{questionone}
What it is all about?
\end{restatable}
\questionone*
\begin{theorem}
test 3
\end{theorem}

\begin{restatable}{question}{questiontwo}
Hmm?
\end{restatable}

\questiontwo*

\end{document}

Related Solutions

[Tex/LaTex] \newtheorem with qed-symbol

I suggest to have a theo environment and a theo* environment for theorems which don't need a proof. Using the tombstone for all theorem statements doesn't seem a good idea, because theorem statements, contrary to proofs, are well delimited.

\documentclass{scrartcl}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\usepackage{amssymb,amsmath}
\usepackage{amsthm}
\usepackage{dsfont}
\usepackage{empheq}
\theoremstyle{plain}

\newtheorem{theo}{Satz}
\newenvironment{theo*}
 {\pushQED{\qed}\theo}
 {\popQED\endtheo}

\begin{document}
\begin{theo*}
This requires no proof.
\end{theo*}

\begin{theo}
One theorem.
\end{theo}
Some text.
\begin{proof}
One proof.
\end{proof}
\end{document}

Problems and Solutions with deferred printing

Here's my take. Since you essentially want a single counter for equations and statements (theorems, definitions and so on), it's simpler to define the theorem-like environments to use equation.

Also equation numbers must show the section number or the numbering would appear very mysterious. And the number should be at the left.

How to define problems and solutions? Just type in the solution next to the corresponding problem, save the body and print all the stored solutions where you like. The \printsolutions command will also clear the list of stored solutions.

\documentclass[a4paper]{article}

\makeatletter % from here to \makeatother non inclusive is for your package
\RequirePackage[T1]{fontenc}
\RequirePackage[ngerman=ngerman-x-latest]{hyphsubst}
\RequirePackage[ngerman]{babel}

\RequirePackage[leqno]{amsmath}
\RequirePackage{amsthm}

\counterwithin{equation}{section}

\newtheorem{theorem}[equation]{Satz}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{corollary}[equation]{Korollar}
\newtheorem{axiom}[equation]{Axiom}

\theoremstyle{definition}
\newtheorem{definition}[equation]{Definition}
\newtheorem*{notation}{Bezeichnung}
\newtheorem{problem}{Aufgabe}[section]
\renewcommand{\theproblem}{\thesection.\Alph{problem}}

\newtheorem*{solutionx}{Lösung \thesolutionnumber}

\ExplSyntaxOn
\tl_new:N \g_gargantuar_solution_tl

\NewDocumentEnvironment{solution}{+b}
 {
  \tl_gput_right:Nx \g_gargantuar_solution_tl
   {
    \printsolution{\theproblem}{ \exp_not:n { #1 } }
   }
 }
 {}
\NewDocumentCommand{\printsolutions}{}
 {
  \subsection*{Solutions~to~the~problems}
  \tl_use:N \g_gargantuar_solution_tl
  \tl_gclear:N \g_gargantuar_solution_tl
 }
\NewDocumentCommand{\printsolution}{m +m}
 {
  \cs_set:Npn \thesolutionnumber { #1 }
  \begin{solutionx} #2 \end{solutionx}
 }
\ExplSyntaxOff

\theoremstyle{remark}
\newtheorem{example}{Beispiel}[section]
\newtheorem*{remark}{Bemerkung}
\newtheorem{case}{Fall}
\counterwithin*{case}{equation}
\makeatother

\begin{document}

\section{Title}

\begin{equation}
A=B
\end{equation}

\begin{theorem}
Text
\end{theorem}

\begin{case}
Text
\end{case}

\begin{case}
Text
\end{case}

\begin{lemma}
Text
\end{lemma}

\begin{case}
Text
\end{case}

\begin{equation}
A=B
\end{equation}

\begin{problem}
Text
\end{problem}
\begin{solution}
Solution
\end{solution}
\begin{problem} % no solution for this one
Text
\end{problem}
\begin{problem}
Text
\end{problem}
\begin{solution}
Solution
\end{solution}

\printsolutions

\end{document}

What's the sorcery?

The +b argument to \NewDocumentEnvironment specifies that the body is collected to be used in some way.
The usage, in this case, is to store it in a container (the \g_gargantuar_solutions_tl token list variable) along with the expanded number of the last appearing problem.
The storage is in the form \printsolution{<number>}{<text>}
The command \printsolutions delivers the contents of the variable.
\printsolution changes the meaning of \thesolutionnumber so the auxiliary environment solutionx does the right thing.

Best Answer

Related Solutions

[Tex/LaTex] \newtheorem with qed-symbol

Problems and Solutions with deferred printing

Related Question