gitweb.michael.orlitzky.com - sage.d.git/history

]> gitweb.michael.orlitzky.com - sage.d.git/history - mjo/eja/eja_algebra.py

[sage.d.git] / mjo / eja / eja_algebra.py

2021-02-20	Michael Orlitzky	eja: remove failing debug tests.	blob \| commitdiff \| raw
2021-02-20	Michael Orlitzky	eja: begin rework of Cartesian product EJA.	blob \| commitdiff \| raw \| diff to current
2021-02-14	Michael Orlitzky	eja: drop a pointless "solve" in the EJA charpoly system.	blob \| commitdiff \| raw \| diff to current
2021-01-04	Michael Orlitzky	eja: add trace linearity and charpoly homogeneity tests.	blob \| commitdiff \| raw \| diff to current
2020-12-13	Michael Orlitzky	eja: unbreak DirectSumEJA, poorly.	blob \| commitdiff \| raw \| diff to current
2020-12-13	Michael Orlitzky	eja: change matrix_space() to use parent().	blob \| commitdiff \| raw \| diff to current
2020-12-12	Michael Orlitzky	eja: start putting back DirectSumEJA....	blob \| commitdiff \| raw \| diff to current
2020-12-09	Michael Orlitzky	eja: factor out the complex/quaternion extension fields.	blob \| commitdiff \| raw \| diff to current
2020-12-09	Michael Orlitzky	eja: simplify two random statements.	blob \| commitdiff \| raw \| diff to current
2020-12-09	Michael Orlitzky	eja: construct fewer temporary matrices during EJA...	blob \| commitdiff \| raw \| diff to current
2020-12-09	Michael Orlitzky	eja: eliminate the special element subalgebra class.	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: one more charpoly fix.	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: fix fast charpoly in one case.	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: re-tuple the matrix basis after Gram-Schmidt.	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: default to the identity IP matrix when orthonormal...	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: fix a baaaaaad typo in the BilinearFormEJA.	blob \| commitdiff \| raw \| diff to current
2020-12-08	Michael Orlitzky	eja: more orthonormalization fixes.	blob \| commitdiff \| raw \| diff to current
2020-12-07	Michael Orlitzky	eja: port BilinearFormEJA to matrix-only representation.	blob \| commitdiff \| raw \| diff to current
2020-12-07	Michael Orlitzky	eja: comment out DirectSumEJA for now (other things...	blob \| commitdiff \| raw \| diff to current
2020-12-06	Michael Orlitzky	eja: begin dropping support for vector representations.	blob \| commitdiff \| raw \| diff to current
2020-12-06	Michael Orlitzky	eja: begin major overhaul of class hierarchy and naming.	blob \| commitdiff \| raw \| diff to current
2020-12-05	Michael Orlitzky	eja: reimplement multiplication_table() without member...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: fix the Hadamard/JordanSpinEJA fast path for charp...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: fix recently broken doctests.	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: refactor some matrix algebra stuff and break the...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: disable axiom checking for concrete algebras.	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: move the "field" argument to (usually passed throu...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Michael Orlitzky	eja: propagate check_axioms to some other "check" varia...	blob \| commitdiff \| raw \| diff to current
2020-12-02	Michael Orlitzky	eja: speed up construction of JordanSpinEJA and Hadamar...	blob \| commitdiff \| raw \| diff to current
2020-12-02	Michael Orlitzky	eja: check that the basis is rational when it's suppose...	blob \| commitdiff \| raw \| diff to current
2020-12-02	Michael Orlitzky	eja: improve rational basis algebra trickery.	blob \| commitdiff \| raw \| diff to current
2020-12-02	Michael Orlitzky	eja: don't pass in a full multiplication table unless...	blob \| commitdiff \| raw \| diff to current
2020-12-01	Michael Orlitzky	eja: use symmetry when constructing the inner product...	blob \| commitdiff \| raw \| diff to current
2020-12-01	Michael Orlitzky	eja: fix a randomly-failing test.	blob \| commitdiff \| raw \| diff to current
2020-12-01	Michael Orlitzky	eja: convert matrix algebas to the new constructor...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Michael Orlitzky	eja: drop the "Ng" from the new constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-30	Michael Orlitzky	eja: get rid of the old rational basis constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-28	Michael Orlitzky	eja: more work on realizing the new constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-27	Michael Orlitzky	eja: use new constructor for BilinearFormEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-27	Michael Orlitzky	eja: switch HadamardEJA to the new constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-27	Michael Orlitzky	eja: use custom gram-schmidt in the new constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-27	Michael Orlitzky	eja: begin working on a new constructor.	blob \| commitdiff \| raw \| diff to current
2020-11-26	Michael Orlitzky	eja: actually do what the previous commit was supposed...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Michael Orlitzky	eja: use symmetry when constructing multiplication...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Michael Orlitzky	eja: replace a bunch of "manual" tests with a random...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Michael Orlitzky	eja: update todo, and rename "natural" to "matrix".	blob \| commitdiff \| raw \| diff to current
2020-11-25	Michael Orlitzky	eja: add is_self_adjoint() for operators.	blob \| commitdiff \| raw \| diff to current
2020-11-25	Michael Orlitzky	eja: make element constructor errors more consistent.	blob \| commitdiff \| raw \| diff to current
2020-11-25	Michael Orlitzky	eja: fix an implicit TODO by eliminating lazy_import.	blob \| commitdiff \| raw \| diff to current
2020-11-25	Michael Orlitzky	eja: return the polynomial ring R[X1,...,XN] from a...	blob \| commitdiff \| raw \| diff to current
2020-11-24	Michael Orlitzky	eja: begin refactoring to allow noncanonical inner...	blob \| commitdiff \| raw \| diff to current
2020-11-24	Michael Orlitzky	eja: fix inclusions/projections with trivial algebras.	blob \| commitdiff \| raw \| diff to current
2020-11-24	Michael Orlitzky	eja: improve projection/inclusion implementation for...	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: factor out some common tests.	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: add ConcreteEJA class for EJAs we can make random...	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: fix one() in the trivial HadamardEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: cache the unit element immediately where it is...	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: tweak a zero test.	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: add a test for invalid bilinear forms in BilinearF...	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: fix random_instance() for JordanSpinEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: add random_instance() for BilinearFormEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-22	Michael Orlitzky	eja: alter BilinearFormEJA to take only a matrix argument.	blob \| commitdiff \| raw \| diff to current
2020-11-21	Michael Orlitzky	eja: minor improvement to the algebra one() method.	blob \| commitdiff \| raw \| diff to current
2020-11-21	Michael Orlitzky	eja: move the TrivialEJA random_instance() into an...	blob \| commitdiff \| raw \| diff to current
2020-11-20	Michael Orlitzky	eja: make _max_random_instance_size() abstract.	blob \| commitdiff \| raw \| diff to current
2020-11-20	Michael Orlitzky	eja: rename _max_test_case_size() -> _max_random_instan...	blob \| commitdiff \| raw \| diff to current
2020-11-13	Michael Orlitzky	eja: add inner_product() for DirectSumEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-13	Michael Orlitzky	eja: add inclusion maps for DirectSumEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-13	Michael Orlitzky	eja: add projections for DirectSumEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-10	Michael Orlitzky	eja: unindent a large "else" clause.	blob \| commitdiff \| raw \| diff to current
2020-11-10	Michael Orlitzky	eja: fix base ring of fast _charpoly_coefficients().	blob \| commitdiff \| raw \| diff to current
2020-11-10	Michael Orlitzky	eja: begin generalizing the charpoly-over-QQ optimizations.	blob \| commitdiff \| raw \| diff to current
2020-11-10	Michael Orlitzky	eja: split "check" args into check_field and check_axioms.	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: improve how we get the "real part" of a possibly...	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: enable consistency checks by default in (non-eleme...	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: pass check=False for known-good constructions.	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: pass check=False in the fast charpoly_coefficients...	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: use fuzzy equality test with inexact base rings.	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: check that the multiplication table is square...	blob \| commitdiff \| raw \| diff to current
2020-11-09	Michael Orlitzky	eja: check EJA properties with check=True.	blob \| commitdiff \| raw \| diff to current
2020-11-08	Michael Orlitzky	eja: add DirectSumEJA constructor (and not much else).	blob \| commitdiff \| raw \| diff to current
2020-11-08	Michael Orlitzky	eja: add a link to a trac ticket in random_element().	blob \| commitdiff \| raw \| diff to current
2020-11-08	Michael Orlitzky	eja: make random_element() more random.	blob \| commitdiff \| raw \| diff to current
2020-11-07	Michael Orlitzky	eja: add orthogonality examples/tests for the Peirce...	blob \| commitdiff \| raw \| diff to current
2020-11-07	Michael Orlitzky	eja: add "of" to the algebra characteristic_polynomial...	blob \| commitdiff \| raw \| diff to current
2020-11-07	Michael Orlitzky	eja: let random_eja() return zero-dimensional algebras...	blob \| commitdiff \| raw \| diff to current
2020-11-06	Michael Orlitzky	eja: make all tests work in trivial algebras.	blob \| commitdiff \| raw \| diff to current
2020-11-06	Michael Orlitzky	eja: document why an a[0] access is safe.	blob \| commitdiff \| raw \| diff to current
2020-11-05	Michael Orlitzky	eja: allow matrix algebras of "size" zero.	blob \| commitdiff \| raw \| diff to current
2020-11-04	Michael Orlitzky	eja: fix the fast matrix _charpoly_coefficients() method.	blob \| commitdiff \| raw \| diff to current
2020-11-04	Michael Orlitzky	eja: speed up _charpoly_coefficients when rank is cached.	blob \| commitdiff \| raw \| diff to current
2020-11-04	Michael Orlitzky	eja: remove more vestigial charpoly stuff.	blob \| commitdiff \| raw \| diff to current
2020-11-04	Michael Orlitzky	eja: simplify and unify the charpoly/rank stuff.	blob \| commitdiff \| raw \| diff to current
2020-11-04	Michael Orlitzky	eja: replace rank computation with length of charpoly...	blob \| commitdiff \| raw \| diff to current
2020-11-03	Michael Orlitzky	eja: get rid of the KnownRankEJA class.	blob \| commitdiff \| raw \| diff to current
2020-11-03	Michael Orlitzky	eja: reimplement random_eja() without KnownRankEJA.	blob \| commitdiff \| raw \| diff to current
2020-11-03	Michael Orlitzky	eja: fix tests and pre-cache ranks.	blob \| commitdiff \| raw \| diff to current
2020-11-03	Michael Orlitzky	eja: replace the rank accessor with the full computation.	blob \| commitdiff \| raw \| diff to current
2020-11-01	Michael Orlitzky	eja: use now somewhat-proven and fast rank computation.	blob \| commitdiff \| raw \| diff to current
2020-10-28	Michael Orlitzky	eja: add two more experimental rank computations.	blob \| commitdiff \| raw \| diff to current
next

My personal library of Sage code.

RSS Atom