eja: add some more docs for FDEJA.

eja: rewrite docs.

eja: add rational-basis subclass for Cartesian products.

eja: add more examples.

eja: gently update the TODO.

eja: add a doctest.

eja: add some tests for new utility functions.

eja: remove a completed TODO, and doctest it.

eja: fix cartesian products of cartesian product EJAs.

eja: make gram_schmidt work in Cartesian product algebras.

eja: fixup tests.

eja: handle tuples in parent algebras rather than in subclasses.

This is "necessary" because we won't always have a Cartesian product
algebra when our basis consists of tuples. Particularly in
element-subalgebras of Cartesian product algebras. It leads to more
special-casing, but whatever. Someday SageMath will know that both
matrix spaces and Cartesian products of vector spaces are themselves
vector spaces.

eja: add subalgebra() method for algebras.

eja: add another TODO for later.

eja: add subalgebra() method.

eja: delete obsolete cartesian product methods.

eja: drop custom _is_commutative() in favor of is_commutative().

eja: add is_associative() method and corresponding cartesian product magic.

eja: allow FDEJA constructor to work on a tuple basis.

eja: simplify to_matrix() for elements.

eja: switch "category" argument to "cartesian_product" in FDEJA.

This constructor is going to need a bunch of special cases for
cartesian products, and this simplifies things (we don't have to infer
whether or not we have a cartesian product from the category).

eja: add subclass for Cartesian product elements.

eja: fix element constructor error message for Cartesian products.

eja: define matrix basis/space for Cartesian product algebras.

eja: cache one() for Cartesian product algebras.

eja: replace monomial(i) with gens()[i] most places.

The way cartesian products of combinatorial free modules are
constructed, the monomials are identified by pairs of integers rather
than single digits. This means when we're looping through monomial(i)
for i=0,1,...,n in a CartesianProductEJA, that nothing is happening:
monomial(i) is always zero. It wants e.g. monomial((i,j)) instead.
So, switch all of those to gens()[i] which works everywhere.

This fixes rank computations in cartesian product algebras.

Revert "eja: demonstration for https://trac.sagemath.org/ticket/31421."

This reverts commit 526fbae45d9626b4042b1bfed3327a0d4a582b96.

eja: demonstration for https://trac.sagemath.org/ticket/31421.

eja: add another Cartesian product test.

eja: update the TODO again.

eja: update a comment.

Revert "eja: factor out a separate class used by cartesian_product()."

This reverts commit 858aa3653fd2e4ae8573f472cf3f0d698072c185.

eja: update the TODO.

eja: factor out a separate class used by cartesian_product().

eja: add a comment with a new TODO...

eja: more polish for Cartesian product EJAs.

eja: initialize CartesianProductEJA as an EJA.

eja: add "category" argument to FiniteDimensionalEJA.

eja: add cartesian_jordan_product() method to CartesianProductEJA.

eja: add cartesian_inner_product() method for CartesianProductEJA.

eja: add a test for multiple Cartesian product factors.

eja: remove failing debug tests.

eja: begin rework of Cartesian product EJA.

eja: drop a pointless "solve" in the EJA charpoly system.

eja: add trace linearity and charpoly homogeneity tests.

eja: cache inverse() and is_invertible() more intelligently.

eja: unbreak DirectSumEJA, poorly.

eja: change matrix_space() to use parent().

This allows it to work when the "matrix basis" lives in a Cartesian
product space.

eja: start putting back DirectSumEJA....

...and give up because sage is broken on my laptop.

eja: factor out the complex/quaternion extension fields.

eja: simplify two random statements.

eja: construct fewer temporary matrices during EJA construction.

eja: eliminate the special element subalgebra class.

eja: one more charpoly fix.

eja: add a soon-TODO.

eja: fix fast charpoly in one case.

eja: re-tuple the matrix basis after Gram-Schmidt.

eja: default to the identity IP matrix when orthonormalizing.

eja: fix some subalgebra tests with respect to orthonormalization.

eja: fix a baaaaaad typo in the BilinearFormEJA.

eja: more orthonormalization fixes.

eja: fix crashes (but not all failures) in subalgebra tests.

eja: port BilinearFormEJA to matrix-only representation.

eja: add example of Gram-Schmidt with matrices.

eja: comment out DirectSumEJA for now (other things to worry about).

eja: fix operator tests.

eja: work towards fixing element subalgebras.

eja: begin dropping support for vector representations.

eja: begin major overhaul of class hierarchy and naming.

eja: reimplement multiplication_table() without member variables.

eja: mark some cached-value tests as "long time".

eja: add another performance TODO.

eja: speed up a few slow examples.

eja: fix the Hadamard/JordanSpinEJA fast path for charpoly_coefficients.

makefile: add --exitfirst to the test runner.

eja: fix recently broken doctests.

eja: refactor some matrix algebra stuff and break the tests.

eja: update a TODO with a better idea.

eja: disable axiom checking for concrete algebras.

eja: update the DESIGN and TODO documents.

eja: fix one more positional "field" argument.

eja: move the "field" argument to (usually passed through) kwargs.

eja: propagate check_axioms to some other "check" variables.

eja: add another performance TODO.

eja: dropp the already_echelonized TODO.

We generally orthonormalize things now, but having an orthonormal
basis is not the same as having a basis in RREF form.

eja: clean up the TODO list after major refactoring.

eja: remove a completed TODO.

eja: speed up construction of JordanSpinEJA and HadamardEJA.

eja: check that the basis is rational when it's supposed to be.

eja: improve rational basis algebra trickery.

eja: don't pass in a full multiplication table unless necessary.

eja: use symmetry when constructing the inner product matrix.

eja: fix a randomly-failing test.

eja: convert matrix algebas to the new constructor, fix all tests.

eja: drop the "Ng" from the new constructor.

eja: get rid of the old rational basis constructor.

eja: more work on realizing the new constructor.

eja: use new constructor for BilinearFormEJA.

eja: add another performance TODO.

eja: switch HadamardEJA to the new constructor.