Verified Commit db6e6977 authored by Georg Dorndorf's avatar Georg Dorndorf 🤙

Add \toDosprove macro according to #25

Closes #25Signed-off-by: Georg Dorndorf's avatarGeorg Dorndorf <georg.dorndorf@rwth-aachen.de>
parent 42f790c0
......@@ -36,7 +36,7 @@
%% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
%% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
%% SOFTWARE.
\def\fileversion{v3.0}
\def\fileversion{v3.1}
\def\filedate{2018/11/10}
\NeedsTeXFormat{LaTeX2e}[2005/12/01]
\ProvidesClass{homeworkassignment}[\filedate\space\fileversion]
......@@ -189,7 +189,6 @@
}{
\RequirePackage{gillius2}
}
\newcommand{\hwa@pointboxsize}{3em}
\newcommand{\hwa@kurs}{?\GetTranslation{subject}?} % To store the value
\newcommand{\subject}[1]{\renewcommand{\hwa@kurs}{#1}}
......@@ -257,6 +256,8 @@
}
\newcommand{\solution}[1][]{\keyword{\GetTranslation{loesung}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\toShow}[1][]{\keyword{\GetTranslation{zuZeigen}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\toDisprove}[1][]{
\keyword{\GetTranslation{zuWiderlegen}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\given}[1][]{\keyword{\GetTranslation{gegeben}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\assumption}[1][]{\keyword{\GetTranslation{Annahme}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\supposeThat}[1][]{\keyword{\GetTranslation{Angenommen-dass}\ifstrempty{#1}{}{~#1}}}
......@@ -350,7 +351,7 @@
\DeclareMathOperator{\charakteristik}{char}
\DeclareMathOperator{\fo}{fo}
\DeclareMathOperator{\first}{fi}
\DeclareMathOperator{\fa}{fa}
\DeclareMathOperator{\la}{la}
\newcommand{\diff}[1]{\ensuremath{\frac{d}{d#1}}}
\newcommand{\partdiff}[1]{\ensuremath{\frac{\partial}{\partial#1}}}
......@@ -469,6 +470,7 @@
\DeclareTranslationFallback{uebungsgruppe}{\"Ubungsgruppe}
\DeclareTranslationFallback{abgabe}{Abgabe}
\DeclareTranslationFallback{zuZeigen}{Zu zeigen}
\DeclareTranslationFallback{zuWiderlegen}{Zu widerlegen}
\DeclareTranslationFallback{gegeben}{Gegeben}
\DeclareTranslationFallback{falls}{falls}
\DeclareTranslationFallback{Annahme}{Annahme}
......@@ -482,6 +484,7 @@
\DeclareTranslation{German}{uebungsgruppe}{\"Ubungsgruppe}
\DeclareTranslation{German}{abgabe}{Abgabe}
\DeclareTranslation{German}{zuZeigen}{Zu zeigen}
\DeclareTranslation{German}{zuWiderlegen}{Zu widerlegen}
\DeclareTranslation{German}{gegeben}{Gegeben}
\DeclareTranslation{German}{falls}{falls}
\DeclareTranslation{German}{Falls}{Falls}
......@@ -496,6 +499,7 @@
\DeclareTranslation{English}{uebungsgruppe}{Tutorial}
\DeclareTranslation{English}{abgabe}{Deadline}
\DeclareTranslation{English}{zuZeigen}{To show}
\DeclareTranslation{English}{zuWiderlegen}{To disprove}
\DeclareTranslation{English}{gegeben}{Given}
\DeclareTranslation{English}{falls}{if}
\DeclareTranslation{English}{Falls}{If}
......
......@@ -563,6 +563,7 @@
%
% \DescribeMacro{\solution} \DescribeMacro{\proof}
% \DescribeMacro{\given} \DescribeMacro{\toShow}
% \DescribeMacro{\toDisprove}
% \DescribeMacro{\assumption} \DescribeMacro{\supposeThat} They work like
% |\keyword|, but take only an optional Argument print out
% \enquote{Solution}, \enquote{Proof} \enquote{Given}, \enquote{To
......@@ -575,6 +576,8 @@
% \begin{macrocode}
\newcommand{\solution}[1][]{\keyword{\GetTranslation{loesung}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\toShow}[1][]{\keyword{\GetTranslation{zuZeigen}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\toDisprove}[1][]{
\keyword{\GetTranslation{zuWiderlegen}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\given}[1][]{\keyword{\GetTranslation{gegeben}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\assumption}[1][]{\keyword{\GetTranslation{Annahme}\ifstrempty{#1}{}{~#1}:}}
\newcommand{\supposeThat}[1][]{\keyword{\GetTranslation{Angenommen-dass}\ifstrempty{#1}{}{~#1}}}
......@@ -1155,6 +1158,7 @@
% \begin{itemize}
% \item Make XeLaTex-Compatible
% \item Fix |\newproblem| requiring a Problem-Number
% \item Add |\toDisprove| macro similar to the |\toShow| macro
% \end{itemize}
%
% \end{description}
......@@ -1197,6 +1201,7 @@
\DeclareTranslationFallback{uebungsgruppe}{\"Ubungsgruppe}
\DeclareTranslationFallback{abgabe}{Abgabe}
\DeclareTranslationFallback{zuZeigen}{Zu zeigen}
\DeclareTranslationFallback{zuWiderlegen}{Zu widerlegen}
\DeclareTranslationFallback{gegeben}{Gegeben}
\DeclareTranslationFallback{falls}{falls}
\DeclareTranslationFallback{Annahme}{Annahme}
......@@ -1210,6 +1215,7 @@
\DeclareTranslation{German}{uebungsgruppe}{\"Ubungsgruppe}
\DeclareTranslation{German}{abgabe}{Abgabe}
\DeclareTranslation{German}{zuZeigen}{Zu zeigen}
\DeclareTranslation{German}{zuWiderlegen}{Zu widerlegen}
\DeclareTranslation{German}{gegeben}{Gegeben}
\DeclareTranslation{German}{falls}{falls}
\DeclareTranslation{German}{Falls}{Falls}
......@@ -1224,6 +1230,7 @@
\DeclareTranslation{English}{uebungsgruppe}{Tutorial}
\DeclareTranslation{English}{abgabe}{Deadline}
\DeclareTranslation{English}{zuZeigen}{To show}
\DeclareTranslation{English}{zuWiderlegen}{To disprove}
\DeclareTranslation{English}{gegeben}{Given}
\DeclareTranslation{English}{falls}{if}
\DeclareTranslation{English}{Falls}{If}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment