mjo-set: adopt basic set operations from mjo-common.

mjo-set: adopt \powerset{} from mjo-common.

mjo-misc: rename to mjo-set.

mjo-common: move \Sn and \Hn into mjo-linear_algebra.

mjo-common: prevent \Sn[1] and \Hn[1] from dropping their superscripts.

This was a TODO item for a while; a standalone "S" or "H" doesn't have
the same meaning as, say, a standalone \mathbb{R} does. The "n"
doesn't indicate the arity of a Cartesian product, so for example S^2
isn't two copies of S^1. Dropping the superscript was therefore
misleading (and nonstandard notation).

GNUmakefile: remove inappropriate PYTHONPATH mangling.

This isn't needed here; it was copy/pasted from one of my publication
repositories where it is.

mjo-common: utilize \mathpzc to finally define \powerset{}.

mjo-font: add new \mathpzc (PostScript Zapf Chancery) font face.

mjo-linear_algebra: add the \rank{} of a matrix (or EJA, or...).

mjo-algebra: add missing mjo-common include, and two glossary entries.

mjo-algebra: add \alg{} for the subalgebra generated by a set.

mjo-algebra: add the \ideal{} generated by a set.

mjo-common: add higher tuples, up to septuple.

mjo-arrow: add the constant function \const.

mjo.bst: allow hbadness up to 2500, since I have an example of 2302.

mjo.bst: allow for hbadness 2000 in the bibliography.

It's OK if the bibliography looks a bit wonky. There's nothing you can
do about it, and we don't want the hbox warnings to hide real problems.

mjo-proof_by_cases.tex: indent the cases and use italics for "Case N".

This is an aesthetic choice that will probably change every time I
write a paper that uses this environment. In my current endeavor, I
think having the cases indented is necessary to separate them from the
rest of the document (to show that they're still part of the current
theorem/proof). Moreover the use of italics keeps the reader from
lumping the "Case N" in with the stream of bold Definitions,
Propositions, Theorems, and Examples surrounding them.

I've checked that this change isn't fatal to either my thesis
(double-spaced) or my polyhedral positive operators paper.

GNUmakefile: fix blank line handling in SageMath listings.

GNUmakefile: update a bug reference in a comment.

.chktexrc: add some common entries.

GNUmakefile: oops, fix the index generation again.

GNUmakefile: fix rebuild loop caused by idx file regeneration.

GNUmakefile: update the cleanup rules.

GNUmakefile: add some documentation for the INDICES variable.

Enable a bibliography by default.

Add index support.

GNUmakefile: tweak that last commit to use the DSTS instead of SRCS.

GNUmakefile: rebuild if a sage listing is modified.

Begin adding glossary entries, and display them in the example PDF.

Add another TODO item that I just noticed.

Put \ifx guards on most other package includes, too.

We shouldn't be trying to load "amsopn" ten times, for example. But
testing whether or not a package is loaded is tricky. First, I tried
the \@ifpackageloaded macro: that causes problems with some of my
existing documents, and the "spacefactor" error that results is
apparently a FAQ. But I don't know what to do about it.

The other way to test if a package is loaded is by checking for some
(unique?) macro that it defines. That's what I've guessed at here.  It
works in most cases, like when we want \operatorname from "amsopn."
But, some packages also didn't have something obvious to check for, so
coverage isn't 100%.

Replace all uses of \providecommand with \newcommand.

We generally want to know if some of our macros aren't being used. But
before introducing the \ifx guards on file includes, we were forced to
use \providecommand in e.g. mjo-common.tex, since it gets included
more than once. Now that we have the guards, change all
\providecommands to \newcommands.

Wrap all mjotex files in conditionals to prevent double-loading.

I plan to start putting glossary entries in mjo-common, and that
reveals a problem: some files (i.e. mjo-common.tex) get loaded more
than once. And there's not always a way to ignore the duplicate
definitions. So, finally, after avoiding it for as long as possible,
I've wrapped everything in "ifx" tests that check the value of a
macro I define (just like #ifdef HAVE_FOO in C).

The \ifx test was chosen over of \ifdefined (which is an e-TeX
primitive) because it makes the conditional simpler; we don't need to
have an empty "if" block. Of course, testing against \undefined only
works if \undefined is... undefined. But theoretically someone could
probably redefine \ifdefined, too. Whatever. I can change it if it
ever causes a problem.

mjo-eja.tex: new file for Euclidean Jordan algebras.

mjo-algebra.tex: describe the file in a comment at the top.

GNUmakefile: add a comment showing how to define $(PN) cleverly.

Add the \sagelisting macro and associated machinery.

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

Add mjo-calculus.tex for the gradient.

mjo-convex: add \faceof and \properfaceof.

mjo-theorem{,-star}.tex: add the "exercise" environment.

mjo-complex.tex: new file with a \compconj (complex conjugate) command.

mjo-linear_algebra.tex: use \transpose in the definition of \colvec.

mjo-common.tex: fix typo in comment.

Add the four types of standard real intervals.

GNUmakefile: fix the "check-chktex" target.

examples.tex: mention the new Moore-Penrose \pseudoinverse.

Use C99-style left-aligned double front-slashes for algorithm comments.

mjo-linear_algebra.tex: add the Moore-Penrose \pseudoinverse.

Add \Hn for the space of complex Hermitian n-by-n matrices.

Use "big" versions of operators in \binopmany consumers.

Add \cartprodmany and \directsummany to mjo-common.

Add S^{n}, the space of symmetric n-by-n matrices.

Add undefined reference and over/underfull box checks to the makefile.

Remove some unnecessary spaces (chktex warnings).

Add \directsumthree to mjo-common.

Add mjo.bst to the example makefile.

Don't use "vol." for journal citations.

Use "Chapter" instead of "chap.".

Whitespace cleanup.

Drop unused journal name macros from my BibTeX style.

Fix the bibliography DOI output when the hyperref package is not loaded.

The last attempt at adding hyperref support for DOIs worked, but it
broke things when the hyperref package isn't loaded. This commit fixes
it by conditionally defining a no-op \href in the absense of the
hyperref package.

Now that I understand what's going on a little bit better, I was also
able to eliminate some of the urlbst boilerplate.

Add hyperref DOI support to mjo.bst (based on the urlbst tool).

Generate a new mjo.bst using makebst.

Use the "amsfonts" package for \mathbb in mjo-common.tex.

Add initial mjo.bst copied directly from elsarticle-num.bst.

mjo-listing: don't indicate whitespace within strings in code listings.

Add comment/string styles for Sage (python) code listings.

Replace the glob in the clean target with a POSIX-compliant "for" loop.

Change "bibliography file" to "bibliography database" in a comment.

Expand upon an existing comment in the GNUmakefile.

Rename the makefile to "GNUmakefile".

Our makefile is using GNU-specific conditional expressions, so the
proper name is "GNUmakefile". It will now be ignored by other Make
implementations.

Add the \preimage macro.

Ensure that the bibtex database and mjotex files get copied to dist/.

Add *.spl to the "make clean" list.

Add a TODO.

Add "loadonly" parameter to the enumitem \usepackage (fixes beamer).

Shift the \perp in \oplusperp down a tiny bit.

Don't shell out to kpsewhich for undefined variables.

Use a slightly better orthogonal direct sum implementation.

Add my work-in-progress \directsumperp.

Fix a verb tense in examples.tex.

Add arbitrary indexed union/intersection (and examples) to mjo-common.

Create an example document and update the makefile to work with it.

Fix a typo and reorder the \trace command.

Add two- and three-argument commands for union and intersection.

Add \triple for a three-tuple of things, (a,b,c).

Drop the weird cone inequality operators and rename the standard ones.

Most of the cone inequality operators I had (for example, \lekstar)
were nonstandard, and it doesn't make sense to have then in
mjotex. The few standard "curly inequality" operators now have better
names like \gecone rather than \gek which required you to think of
"k" as a cone.

Use \left and \right on brackets in \ip to fix big display equations.

Use the calc package to ignore \baselinestretch around case labels.

Add \inverse and \lyapunovrank commands.

Add the real matrix transpose operator.

Fix \adjoint and \dual spacing when subscripts are involved.

Add \adjoint and \kp (nonstandard notation for Kronecker product) commands.

Add the \dual and \posops commands to mjo-cone.

More fiddling to get consistent spacing in proof-by-cases environments.

To get consistent paragraph spacing, the "parsep" value was set on our
pcases environment. This naturally messed up the spacing between the
case label and the following paragraph, so the "itemsep" value was
tweaked, and a custom \vspace was added to each item.

Change each proof-by-cases case to look like "Case N: conditions."

Remove the left margin from proof-by-cases and indent its paragraphs.

Add \par after the \hfill in each proof-by-cases case.

This is another attempt to fix the last two commits; the \hfill\par
seems to work better than \break or simply \hfill in that it always
puts the paragraph break there and gets the spacing right no matter
how you format the following text.

Revert "Add a \break after \hfill in the proof-by-cases."

This reverts commit 58bb9b9e4a1ee3ae509b7bd7c5aabf5c8986446e. It turns
out that with an extra line break, you can control the (line) spacing
after the case label even without the \break.