переформулируемые невложенные подтеоремы

переформулируемые невложенные подтеоремы

Я хочу создать переформулируемые подтеоремы без их вложения. Я использую пакеты thmtoolsи thm-restate.

Под невложенными подтеоремами я подразумеваю структуру, похожую на ту, что мы используем для разделов и подразделов: раздел не заключает в себе свои параграфы и подразделы, но концептуально все они являются дочерними элементами раздела. В моем MWE я хочу создать переформулируемую теорему (№ 1), за которой следует обычный абзац текста. Затем я хочу добавить несколько подтеорем (пронумерованных 1.x), за каждой из которых следует немного текста.

Насколько мне известноэтот ответне работает с пересчетными таблицами, иthmtools документыне упоминайте ничего подобного.

\documentclass[a4paper]{article}
\usepackage{thmtools,thm-restate}

\newtheorem{goal}{Learning Goal}

\begin{document}
\section{Numbers}
We want to learn about numbers.

\subsection{Small Numbers}
Let's start with small numbers.
\begin{restatable}{goal}{gI}
    Count to 3.
\end{restatable}
Counting to 3 is the most essential skill in the `small number department'.
We will master this skill in a number of steps which are described below.

%This should be sub-goal 1.1
\begin{restatable}{goal}{gI_i}
    The number 1.
\end{restatable}
We will ask Elmo to tell us about the number 1.

%This should be sub-goal 1.2
\begin{restatable}{goal}{gI_ii}
    The number 2.
\end{restatable}
This one will be taken care of by Cookie Monster.

%This should be sub-goal 1.3
\begin{restatable}{goal}{gI_iii}
    The number 3.
\end{restatable}
This is the toughest one so far.
We will have to rely on the Count to explain all about this number.

\section{Letters}
\ldots
\end{document}

решение1

Будет ли работать что-то вроде этого? Он просто использует возможности, предоставляемые thmtools, которые, похоже, идентичны thm-restate. (Я не уверен в этом, но добавление последнего не показалось необходимым для вашего примера.)

\documentclass[a4paper]{article}
\usepackage{thmtools}

\declaretheorem[name=Learning Goal]{goal}
\declaretheorem[
  name=Learning Goal,
  parent=goal]
  {subgoal}

\begin{document}
\section{Numbers}
We want to learn about numbers.

\subsection{Small Numbers}
Let's start with small numbers.
\begin{restatable}{goal}{gI}
    Count to 3.
\end{restatable}
Counting to 3 is the most essential skill in the `small number department'.
We will master this skill in a number of steps which are described below.

%This should be sub-goal 1.1
\begin{restatable}{subgoal}{gI_i}
    The number 1.
\end{restatable}
We will ask Elmo to tell us about the number 1.

%This should be sub-goal 1.2
\begin{restatable}{subgoal}{gI_ii}
    The number 2.
\end{restatable}
This one will be taken care of by Cookie Monster.

%This should be sub-goal 1.3
\begin{restatable}{subgoal}{gI_iii}
    The number 3.
\end{restatable}
This is the toughest one so far.
We will have to rely on the Count to explain all about this number.


\section{Letters}
\ldots
\end{document}

Цели и подцели

Связанный контент