Add mjo-algebra.tex with \polyring and \Frac commands.

diff --git a/GNUmakefile b/GNUmakefile
index 4474d2f63882e4b7f0b62ae14016a917b9f12125..78800b05d34d78a0c6230b5ca89c8c28e9091dc1 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -17,9 +17,12 @@ PN = examples
 
 # A space-separated list of the mjotex files that you use. The path to
 # mjotex must be contain in your $TEXINPUTS environment variable.
-MJOTEX  = mjo-algorithm.tex mjo-arrow.tex mjo-calculus.tex mjo-common.tex
-MJOTEX += mjo-complex.tex mjo-cone.tex mjo-convex.tex mjo-font.tex
-MJOTEX += mjo-linear_algebra.tex mjo-listing.tex mjo-misc.tex
+#
+# MJOTEX  = mjotex.sty
+#
+MJOTEX  = mjo-algebra.tex mjo-algorithm.tex mjo-arrow.tex mjo-calculus.tex
+MJOTEX += mjo-common.tex mjo-complex.tex mjo-cone.tex mjo-convex.tex
+MJOTEX += mjo-font.tex mjo-linear_algebra.tex mjo-listing.tex mjo-misc.tex
 MJOTEX += mjo-proof_by_cases.tex mjo-theorem.tex mjo-theorem-star.tex
 MJOTEX += mjo-topology.tex mjo.bst
 

diff --git a/examples.tex b/examples.tex
index 6e1c5007abf16c19d48f8eadb7c1a03b85a49cab..a43b26ef3fb89c9a341c6b57b8af3127112a3781 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -5,6 +5,13 @@
 
 \begin{document}
 
+  \begin{section}{Algebra}
+    If $R$ is a commutative ring, then $\polyring{R}{X,Y,Z}$ is a
+    multivariate polynomial ring with indeterminates $X$, $Y$, and
+    $Z$, and coefficients in $R$. If $R$ is a moreover an integral
+    domain, then its fraction field is $\Frac{R}$.
+  \end{section}
+
   \begin{section}{Algorithm}
     An example of an algorithm (bogosort) environment.
 

diff --git a/mjo-algebra.tex b/mjo-algebra.tex
new file mode 100644 (file)
index 0000000..d70d9fd
--- /dev/null
+++ b/mjo-algebra.tex
@@ -0,0 +1,13 @@
+% Needed for \operatorname.
+\usepackage{amsopn}
+
+% The fraction field of its argument, an integral domain. The name
+% "Frac" was chosen here instead of "Quot" because the latter
+% corresponds to the term "quotient field," which can be mistaken in
+% some cases for... a quotient field (something mod something).
+\newcommand*{\Frac}[1]{\operatorname{Frac}\of{{#1}}}
+
+% The polynomial ring whose underlying commutative ring of
+% coefficients is the first argument and whose indeterminates (a
+% comma-separated list) are the second argumnt.
+\newcommand*{\polyring}[2]{{#1}\left[{#2}\right]}

diff --git a/mjotex.sty b/mjotex.sty
index e01ea7b0bcdc6d22d8a7ae420d8d71b98b2a43b2..39792d58c88f03ec6fa24cb92660f9b0a9fa4a08 100644 (file)
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -1,3 +1,4 @@
+\input{mjo-algebra}
 \input{mjo-algorithm}
 \input{mjo-arrow}
 \input{mjo-calculus}