Eu gostaria de substituir meu design de minipágina deste ambiente de exercícios. Aprendi recentemente que as minipáginas são inquebráveis além dos limites da página. E como um novato no sistema de programação TeX/LaTeX, estou achando um pouco difícil entender seus componentes internos. Portanto, eu apreciaria qualquer ajuda que pudesse obter - examinei alguns pacotes, como Adjustwidth e tcolorbox, mas com pouco sucesso.
O resultado final que espero obter é um algoritmo que permitiria ajudar meu ambiente de exercícios a ultrapassar os limites da página. Deixe-me dizer também que sou muito novo no grupo e no site, então não sei como funciona o sistema de pontuação. Aqui está um MWE
\documentclass{book}
\usepackage{enumitem,environ,calc}
\usepackage{amsmath,amsthm,amssymb,bm}
%\usepackage{showframe}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Redefining Section Command
%%------------------------------------------------------------------------------
\makeatletter
\renewcommand\section{\@startsection
{section}% %% name
{1}% %% level
{0pt}% %% no indent from left margin
{-1\baselineskip minus\parskip}% %% beforeskip
{0.4\baselineskip}% %% afterskip
{\normalfont\normalsize\bfseries\raggedright}}% %% style
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Redefining Subsection Command
%%-----------------------------------------------------------------------------
\renewcommand\subsection{\@startsection
{subsection}%
{2}%
{0pt}%
{-\baselineskip}%
{0.2\baselineskip}%
{\normalfont\normalsize\bfseries\raggedright}}%
\makeatother
%%==============================================================================
\theoremstyle{plain}
\newtheorem{exer}{Exercise}[section]
\numberwithin{exer}{chapter}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% following command definitions are used in the new exercise environments
%%------------------------------------------------------------------------------
\newcommand{\exername}{}
\newcommand{\sbast}{\ensuremath{^{\bm{\ast}}\mkern-1.1mu}}
\newcommand{\nbast}{\ensuremath{\phantom{\sbast}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% new theoremstyle for Exercises: asterisked/starred exercise) theoremstyle
%%-----------------------------------------------------------------------------
\newtheoremstyle{starredexercises} %% Name
{5pt plus1pt minus1pt} %% Space above (or before) the environment
{5pt plus1pt minus1pt} %% Space below (or after) the environment
{\normalfont} %% Style Body font
%{\normalfont\small} %% Style Body font
{0pt} %% Indentation of 1st Line of body text
{\normalfont} %% Style Head font
{} %% Head Punctuation after head Style
{0pt} %% Horizontal space after Head Style
{\sbast\thmnumber{#2.}~\thmname{#1}\thmnote{~{\normalfont(#3)}}}%% Custom Theorem Head SPEC
%%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
\theoremstyle{starredexercises}
\newtheorem{sqfexercises}[exer]{\protect\exername}
%%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%%------------------------------------------------------------------------------
\environfinalcode{\ignorespacesafterend}
\NewEnviron{sexercise}[1][]%
{%
\begin{sqfexercises}
\hfill\begin{minipage}[t]{\dimexpr\textwidth-0.1\textwidth}%
\BODY%
\end{minipage}
\end{sqfexercises}
}
%%------------------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% new theoremstyle for Exercises: (unstarred exercise) theoremstyle
%%------------------------------------------------------------------------------
\makeatletter
\newtheoremstyle{nostarexercises}
{5pt plus1pt minus1pt}
{5pt plus1pt minus1pt}
{\normalfont}
{0pt}
{\normalfont}
{}
{0pt}
{\nbast\thmnumber{#2.}~\thmname{#1}\thmnote{~{\normalfont(#3)}}}%% Custom Theorem Head SPEC
\makeatother
%%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
\theoremstyle{nostarexercises}
\newtheorem{nexercises}[exer]{\protect\exername}
%%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%%------------------------------------------------------------------------------
\environfinalcode{\ignorespacesafterend}
\NewEnviron{nexercise}[1][]%
{%
\begin{nexercises}
\hfill\begin{minipage}[t]{\dimexpr\textwidth-0.1\textwidth}%
\BODY%
\end{minipage}
\end{nexercises}
}
%%==============================================================================
\newcommand*{\fmap}[1]{\ensuremath{#1\colon}}
\newcommand*{\zvert}[1]{\ensuremath{\mathrm{Vert}{(#1)}}}
\setcounter{chapter}{11}
%%==============================================================================
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Complexes}
%%------------------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection*{\normalfont\scshape{Exercises}}\label{exer:SimplicialComplexes}
%%------------------------------------------------------------------------------
\begin{sexercise}
Define a relation $R$ on $\zvert{K}$ by $vRw$ if there exists an edge path in $K$ from $v$ to $w$.
\begin{enumerate}[leftmargin=*,label=(\roman*),widest=iii,font=\normalfont,topsep=0pt,partopsep=0pt]
\item\label{12SimComExer37i} Show that $R$ is an equivalence relation on $\zvert{K}$.
\item\label{12SimComExer37ii} For each $x\in \zvert{K}$, define the \textbf{component} of $K$ containing $x$ as the family of all simplexes $s\in K$ with $\zvert{s}$ contained in the $R$-equivalence class of $x$. Show that each component of $K$ is a connected subcomplex and that $K$ is their disjoint union.
\item\label{12SimComExer37iii} If $x\in \zvert{K}$ and $L$ is the component of $K$ containing $x$, then
\[
\pi(K,x) \cong \pi(L,x).
\]
\end{enumerate}
\label{12SimComExer37}
\end{sexercise}
%-------------------------------------------------------------------------------
\begin{nexercise}
Define a relation $R$ on $\zvert{K}$ by $vRw$ if there exists an edge path in $K$ from $v$ to $w$.
\begin{enumerate}[leftmargin=*,label=(\roman*),widest=iii,font=\normalfont,topsep=0pt,partopsep=0pt]
\item\label{12SimComExer38i} Show that $R$ is an equivalence relation on $\zvert{K}$.
\item\label{12SimComExer38ii} For each $x\in \zvert{K}$, define the \textbf{component} of $K$ containing $x$ as the family of all simplexes $s\in K$ with $\zvert{s}$ contained in the $R$-equivalence class of $x$. Show that each component of $K$ is a connected subcomplex and that $K$ is their disjoint union.
\item\label{12SimComExer38iii} If $x\in \zvert{K}$ and $L$ is the component of $K$ containing $x$, then
\[
\pi(K,x) \cong \pi(L,x).
\]
\end{enumerate}
\label{12SimComExer38}
\end{nexercise}
%-------------------------------------------------------------------------------
\end{document}
Responder1
Esta é uma possível solução para a questão postada; muito obrigado a David por seus conselhos e sugestões.
\documentclass{amsbook}
\usepackage{enumitem,environ,calc}
\usepackage{amsmath,amsthm,amssymb,bm}
%\usepackage{layout}
%\usepackage{showframe}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Redefining Section Command
%%------------------------------------------------------------------------------
\makeatletter
\renewcommand\section{\@startsection
{section}% %% name
{1}% %% level
{0pt}% %% no indent from left margin
{-1\baselineskip minus\parskip}% %% beforeskip
{0.4\baselineskip}% %% afterskip
{\normalfont\normalsize\bfseries\raggedright}}% %% style
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Redefining Subsection Command
%%-----------------------------------------------------------------------------
\renewcommand\subsection{\@startsection
{subsection}%
{2}%
{0pt}%
{-\baselineskip}%
{0.2\baselineskip}%
{\normalfont\normalsize\bfseries\raggedright}}%
\makeatother
%%==============================================================================
\theoremstyle{plain}
\newtheorem{exer}{Exercise}[section]
\numberwithin{exer}{chapter}
%%==============================================================================
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% the following command definitions are used in the new exercise styles!
%%-----------------------------------------------------------------------------
\newsavebox{\nbox}
\newcommand{\sbast}{\ensuremath{^{\ast}\mkern-1.5mu}}
\sbox\nbox{$\sbast$}
\newcommand{\nbast}{\ensuremath{\hspace{\the\wd\nbox}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Non-starred Exercise environment nexercise
%%------------------------------------------------------------------------------
\environfinalcode{\ignorespacesafterend}
\NewEnviron{nexercise}[1][]%
{%%-----------------------------------------------------------------------------
\ignorespaces
%------------------------------------------------------------------------------
\begin{nExercises}
\nexercize{\BODY}%
\end{nExercises}
\par%
}
%%------------------------------------------------------------------------------
\newlist{nExercises}{enumerate}{2}%
%%----- list style parameters -----
\setlist[nExercises]{%
label=\nbast\theexer., % Label: Chapter.exercise number.
align=left, % Left align labels
leftmargin=0.10\textwidth, % Space between margin of list and following lines
labelwidth=*, % Auto computation of width of label
topsep=4pt plus0pt minus1pt, % Vertical space between preceding text and 1st item
itemsep=0pt, % Vertical space between pairs of items
before=\normalfont % changing font before start of enumeration
% before=\normalfont\small % changing font before start of enumeration
}
%-------------------------------------------------------------------------------
\newcommand{\nexercize}{%
\refstepcounter{exer} % Add 1 to exercise counter
\item\label{nlbl:\theexer.\arabic{nExercisesi}}% % Append label to item
%--------------------------------------------------
\setlist[enumerate, 1]{%
leftmargin=*,
label=(\roman*),
itemsep=0pt,
topsep=0pt
}% % Label for subexercises, but only within an exercise
}
%%==============================================================================
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Starred Exercise environment
%%------------------------------------------------------------------------------
\environfinalcode{\ignorespacesafterend}
\NewEnviron{sexercise}[1][]%
{%%-----------------------------------------------------------------------------
\ignorespaces
%-------------------------------------------------------------------------------
\begin{sExercises}
\sexercize{\BODY}%
\end{sExercises}
\par%
}
%%------------------------------------------------------------------------------
\newlist{sExercises}{enumerate}{2}%
%%----- list style parameters -----
\setlist[sExercises]{%
label=\sbast\theexer., % Label: Exercise Chapter.exercise
align=left, % Left align labels
leftmargin=0.10\textwidth, % Distance from Left edge of environ to left edge of list text
labelwidth=*, % Auto computation of width of label
topsep=4pt plus0pt minus1pt, % Vertical space between preceding text and 1st item
itemsep=0pt, % Vertical space between pairs of items
before=\normalfont % Changing font size before start of enumeration
}
%-------------------------------------------------------------------------------
\newcommand{\sexercize}{%
\refstepcounter{exer} % Add 1 to exercise counter
\item\label{slbl:\theexer.\arabic{sExercisesi}}% % Append label to item
%--------------------------------------------------
\setlist[enumerate, 1]{%
leftmargin=*,
label=(\roman*),
itemsep=0pt,
topsep=0pt
}% % Label for subexercises, but only within an exercise
}
%%==============================================================================
\newcommand*{\fmap}[1]{\ensuremath{#1\colon}}
\newcommand{\bast}{\ensuremath{\bm{\ast}}}
\newcommand*{\zvert}[1]{\ensuremath{\mathrm{Vert}{(#1)}}}
\setcounter{chapter}{11}
%%==============================================================================
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Complexes}
%%------------------------------------------------------------------------------
%\layout
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection*{\normalfont\scshape{Exercises}}\label{exer:SimplicialComplexes}
%%------------------------------------------------------------------------------
\begin{nexercise}
Define a relation $R$ on $\zvert{K}$ by $vRw$ if there exists an edge path in $K$ from $v$ to $w$.
\begin{enumerate}[align=left,leftmargin=*,label=(\roman*),widest=iii,font=\normalfont,topsep=0pt,nosep]
\item\label{12SimComExer37i} Show that $R$ is an equivalence relation on $\zvert{K}$.
\item\label{12SimComExer37ii} For each $x\in \zvert{K}$, define the \textbf{component} of $K$ containing $x$ as the family of all simplexes $s\in K$ with $\zvert{s}$ contained in the $R$-equivalence class of $x$. Show that each component of $K$ is a connected subcomplex and that $K$ is their disjoint union.
\item\label{12SimComExer37iii} If $x\in \zvert{K}$ and $L$ is the component of $K$ containing $x$, then
\[
\pi(K,x) \cong \pi(L,x).
\]
\end{enumerate}
\label{12SimComExer37}
\end{nexercise}
%------------------------------------------------------------------------------
\addtocounter{exer}{21}
%-------------------------------------------------------------------------------
\begin{sexercise}
Consider the set $[X,A]$, wher $A$ is a fixed space. Show that a continuous map $\fmap{f}X\to Y$ gives rise to a function $\fmap{f_{\bast}}[X,A]\to [Y,A]$ with the following properties.
\begin{enumerate}[align=left,leftmargin=*,label=(\roman*),widest=iii,font=\normalfont,topsep=0pt,nosep]
\item\label{12SimComExer39i} If $f\simeq g$, then $f_{\bast}=g_{\bast}$.
\item\label{12SimComExer39ii} If $\fmap{1}X\to X$ is the identity map, then $1_{\bast}$ is the identity function.
\item\label{12SimComExer39iii} If $\fmap{g}Y\to Z$ is another continuous map, then $(qf)_{\bast}=g_{\bast}f_{\bast}$.
\end{enumerate}
Deduce that if $X\simeq Y$ there is a $(1-1)$-correspondence between the sets $[X,A]$ and $[Y,A]$.\par
What are the corresponding results for the sets $[X,A]$, for a fixed space $A$?
\label{12SimComExer39}
\end{sexercise}
%-------------------------------------------------------------------------------
\end{document}