]>
gitweb.michael.orlitzky.com - sage.d.git/log
Michael Orlitzky [Thu, 20 Dec 2018 02:58:19 +0000 (21:58 -0500)]
Revert "... add completely_positive_operators_gens()."
This reverts commit
3d6ec3f4f138a6278be4f393b491aa1ac2bbffa8 . The new
function was mathematically wrong, and can't be fixed. Oops.
Michael Orlitzky [Thu, 20 Dec 2018 01:13:34 +0000 (20:13 -0500)]
mjo/cone/completely_positive.py: add completely_positive_operators_gens().
Add a new function to return (as matrices) the generators of the
completely-positive cone of K, where K is some other given cone.
Michael Orlitzky [Fri, 30 Nov 2018 20:17:16 +0000 (15:17 -0500)]
mjo/cone/symmetric_pd: add inverse_symmetric_pd() function.
Michael Orlitzky [Fri, 30 Nov 2018 16:28:14 +0000 (11:28 -0500)]
mjo/cone/symmetric_pd: new module for symmetric positive-definite matrices.
Michael Orlitzky [Fri, 30 Nov 2018 16:25:56 +0000 (11:25 -0500)]
mjo/cone/symmetric_psd: add missing set_random_seed() calls.
Michael Orlitzky [Fri, 30 Nov 2018 16:19:56 +0000 (11:19 -0500)]
mjo/cone/symmetric_psd: don't use recusion; work on trivial matrices.
Michael Orlitzky [Fri, 30 Nov 2018 16:01:29 +0000 (11:01 -0500)]
mjo/cone: improve docstrings the the rearrangement and schur cones.
Michael Orlitzky [Fri, 30 Nov 2018 16:00:57 +0000 (11:00 -0500)]
mjo/cone: rename random_psd() to random_symmetric_psd().
Michael Orlitzky [Mon, 12 Nov 2018 06:09:50 +0000 (01:09 -0500)]
cone/trivial_cone.py: add the trivial_cone() function.
Michael Orlitzky [Mon, 12 Nov 2018 03:22:06 +0000 (22:22 -0500)]
cone/rearrangement.py: simplify the implementation.
Use matrix tricks instead of a local function to construct the
generators.
Michael Orlitzky [Mon, 12 Nov 2018 03:13:14 +0000 (22:13 -0500)]
cone/rearrangement.py: add a "lattice" argument.
Michael Orlitzky [Mon, 12 Nov 2018 03:11:53 +0000 (22:11 -0500)]
cone/rearrangement.py: fix the test for propriety.
We had a test for the rearrangement cone being proper, but it
incorrectly tested the p=0 case. Now that we're sanity-checking p,
that test was throwing a ValueError. Fix it to use p >= 1.
Michael Orlitzky [Mon, 12 Nov 2018 02:59:29 +0000 (21:59 -0500)]
cone/rearrangement.py: add a few more tests.
Add a few more tests to the rearrangement_cone() function. In
particular, delete the has_rearrangement_property() function since it
only served to test the rearrangement cone. The property tests were
moved into the cone doctests.
The cone constructor now also checks that "p" is within bounds, and
throws a ValueError if not. There are tests for this too.
Michael Orlitzky [Mon, 12 Nov 2018 02:55:57 +0000 (21:55 -0500)]
cone/rearrangement.py: add some preliminary references.
Michael Orlitzky [Mon, 12 Nov 2018 00:09:25 +0000 (19:09 -0500)]
cone/schur.py: add "lattice" argument.
Michael Orlitzky [Mon, 12 Nov 2018 00:09:10 +0000 (19:09 -0500)]
cone/nonnegative_orthant.py: add a word to the docs.
Michael Orlitzky [Sun, 11 Nov 2018 22:54:10 +0000 (17:54 -0500)]
cone/nonnegative_orthant.py: add "lattice" argument.
Michael Orlitzky [Sat, 10 Nov 2018 01:39:08 +0000 (20:39 -0500)]
cone/schur.py: add a test for the dual of the Schur cone.
Michael Orlitzky [Sun, 4 Nov 2018 06:42:23 +0000 (01:42 -0500)]
cone/symmetric_psd.py: use two more generator expressions.
Michael Orlitzky [Sun, 4 Nov 2018 06:36:39 +0000 (01:36 -0500)]
cone/symmetric_psd.py: use a generator expression in unit_eigenvectors().
Michael Orlitzky [Sun, 4 Nov 2018 06:16:27 +0000 (01:16 -0500)]
cone/cone.py: use generator expressions instead of lists.
Michael Orlitzky [Sun, 4 Nov 2018 06:15:07 +0000 (01:15 -0500)]
orthogonal_polynomials.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 06:13:16 +0000 (01:13 -0500)]
orthogonal_polynomials.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 06:12:22 +0000 (01:12 -0500)]
matrix_vector.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 06:08:20 +0000 (01:08 -0500)]
mjo/interpolation.py: partial conversion to generator expressions.
Michael Orlitzky [Sun, 4 Nov 2018 06:00:56 +0000 (01:00 -0500)]
mjo/interpolation.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 05:59:45 +0000 (01:59 -0400)]
cone/schur.py: use xrange in one place.
Michael Orlitzky [Sun, 4 Nov 2018 05:58:55 +0000 (01:58 -0400)]
cone/rearrangement.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 05:57:14 +0000 (01:57 -0400)]
cone/doubly_nonnegative.py: use xrange in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:56:57 +0000 (01:56 -0400)]
cone/doubly_nonnegative.py: use generator expressions in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:54:49 +0000 (01:54 -0400)]
cone/faces.py: use xrange in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:53:11 +0000 (01:53 -0400)]
cone/permutation_invariant.py: use xrange in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:43:46 +0000 (01:43 -0400)]
symbol_sequence.py: allow _flatten_list_ to work on an iterable.
Michael Orlitzky [Sun, 4 Nov 2018 05:26:19 +0000 (01:26 -0400)]
symbol_sequence.py: use xrange where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 05:25:58 +0000 (01:25 -0400)]
symbol_sequence.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 05:24:08 +0000 (01:24 -0400)]
cone/rearrangement.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 04:53:32 +0000 (00:53 -0400)]
cone/permutation_invariant.py: add test for the nonnegative orthant.
Michael Orlitzky [Sun, 4 Nov 2018 04:42:23 +0000 (00:42 -0400)]
cone/permutation_invariant.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 04:36:07 +0000 (00:36 -0400)]
cone/schur.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 04:19:18 +0000 (00:19 -0400)]
cone/faces.py: use generator expressions where applicable.
Michael Orlitzky [Sat, 3 Nov 2018 03:59:02 +0000 (23:59 -0400)]
cone/schur.py: test that the schur cone induces the majorization ordering.
Michael Orlitzky [Fri, 2 Nov 2018 14:45:37 +0000 (10:45 -0400)]
cone/schur.py: clean up and add some tests.
Michael Orlitzky [Fri, 2 Nov 2018 14:00:44 +0000 (10:00 -0400)]
mjo/cone: add the nonnegative_orthant module.
Michael Orlitzky [Fri, 2 Nov 2018 04:45:48 +0000 (00:45 -0400)]
cone/faces.py: add the missing HilgertHofmannLawson reference that I cited.
Michael Orlitzky [Fri, 2 Nov 2018 04:43:24 +0000 (00:43 -0400)]
cone/faces.py: test that dual-face-of-dual-face is a no-op.
Michael Orlitzky [Fri, 2 Nov 2018 03:42:28 +0000 (23:42 -0400)]
cone/faces.py: test the relationship between dual_face and face_generated_by.
Michael Orlitzky [Fri, 2 Nov 2018 02:30:04 +0000 (22:30 -0400)]
cone/faces.py: add preliminary dual_face() operation.
Michael Orlitzky [Fri, 2 Nov 2018 00:41:49 +0000 (20:41 -0400)]
cone/faces.py: add test for Proposition 3.1 and Corollary 3.9 in Tam.
Michael Orlitzky [Fri, 2 Nov 2018 00:19:43 +0000 (20:19 -0400)]
cone/faces.py: test a lattice join property of face_generated_by().
Michael Orlitzky [Fri, 2 Nov 2018 00:19:01 +0000 (20:19 -0400)]
cone/faces.py: add a relative interior test for face_generated_by().
Michael Orlitzky [Fri, 2 Nov 2018 00:18:12 +0000 (20:18 -0400)]
cone/faces.py: remove a misleading comment.
Michael Orlitzky [Fri, 2 Nov 2018 00:17:54 +0000 (20:17 -0400)]
cone/faces.py: update the wording of two tests.
Michael Orlitzky [Thu, 1 Nov 2018 23:53:43 +0000 (19:53 -0400)]
README: update comments on the test suite.
Michael Orlitzky [Thu, 1 Nov 2018 20:16:35 +0000 (16:16 -0400)]
Kill unnecessary sitedir mangling.
At some point in the past, mangling the sitedir made the test suite
work. Now it doesn't, and we have to do something else. So clean up
the sitedir stuff.
Michael Orlitzky [Thu, 1 Nov 2018 20:10:46 +0000 (16:10 -0400)]
Add the new mjo.cone.faces module with the face_generated_by() function.
Michael Orlitzky [Thu, 1 Nov 2018 20:07:01 +0000 (16:07 -0400)]
makefile: add a "make check" target to run the tests properly.
We need to utter magic words to get the test suite to work, so I've
encoded them in a "make check" target for future reference.
Michael Orlitzky [Thu, 1 Nov 2018 19:53:07 +0000 (15:53 -0400)]
mjo/cone/symmetric_psd.py: fix tests with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:48:46 +0000 (15:48 -0400)]
mjo/cone/rearrangement.py: fix tests with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:45:24 +0000 (15:45 -0400)]
mjo/cone/permutation_invariant.py: fix tests with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:43:28 +0000 (15:43 -0400)]
mjo/cone/doubly_nonnegative.py: fix tests with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:32:44 +0000 (15:32 -0400)]
mjo/cone/completely_positive.py: fix tests to work with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:29:48 +0000 (15:29 -0400)]
mjo/symbol_sequence.py: fix tests to work with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:25:31 +0000 (15:25 -0400)]
mjo/orthogonal_polynomials.py: fix tests to work with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:21:16 +0000 (15:21 -0400)]
mjo/matrix_vector.py: make tests work with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:10:20 +0000 (15:10 -0400)]
mjo/interpolation.py: allow tests to run with PYTHONPATH=".".
Michael Orlitzky [Sun, 19 Feb 2017 01:30:16 +0000 (20:30 -0500)]
Remove all of the is_foo_on() functions to a sage branch.
Michael Orlitzky [Tue, 14 Feb 2017 14:29:24 +0000 (09:29 -0500)]
Add polynomial ring examples for is_positive_on.
Michael Orlitzky [Mon, 13 Feb 2017 18:15:09 +0000 (13:15 -0500)]
Add another test and an implementation comment for is_lyapunov_like_on.
Michael Orlitzky [Mon, 13 Feb 2017 18:03:34 +0000 (13:03 -0500)]
Add SEEALSO blocks and inexact ring error tests.
Michael Orlitzky [Mon, 13 Feb 2017 16:30:46 +0000 (11:30 -0500)]
Add tests for the "K must be a Cone" TypeError.
Michael Orlitzky [Mon, 13 Feb 2017 16:21:15 +0000 (11:21 -0500)]
Clarify the docstrings for the is_foo_on functions.
Michael Orlitzky [Mon, 13 Feb 2017 15:33:02 +0000 (10:33 -0500)]
Clean up some of the is_foo_on doctests.
Michael Orlitzky [Sun, 12 Feb 2017 21:38:44 +0000 (16:38 -0500)]
Fix the is_positive_on test and give better examples.
Michael Orlitzky [Sun, 12 Feb 2017 21:20:01 +0000 (16:20 -0500)]
Add work-in-progress code for the Schur cone (from David Sossa's work).
Michael Orlitzky [Sun, 12 Feb 2017 21:17:41 +0000 (16:17 -0500)]
Add positive/Z tests and update code for upstream changes.
Michael Orlitzky [Sun, 25 Sep 2016 20:17:07 +0000 (16:17 -0400)]
Add an is_cross_positive() function and implement is_lyapunov_like() using it.
Michael Orlitzky [Sun, 25 Sep 2016 19:41:41 +0000 (15:41 -0400)]
Remove the Pi/Z stuff for inclusion into sage.
Michael Orlitzky [Fri, 23 Sep 2016 14:09:17 +0000 (10:09 -0400)]
Remove references to my unfinished paper.
Michael Orlitzky [Fri, 23 Sep 2016 14:08:07 +0000 (10:08 -0400)]
Implement Z-operators in terms of cross-positive ones.
Michael Orlitzky [Sat, 27 Aug 2016 22:25:20 +0000 (18:25 -0400)]
Add a test for my construction of LL(pi(K,H)).
Michael Orlitzky [Mon, 22 Aug 2016 15:57:42 +0000 (11:57 -0400)]
Begin working on a two-cone pi(K1,K2).
Michael Orlitzky [Mon, 8 Aug 2016 00:21:58 +0000 (20:21 -0400)]
Add LL_cone() convenience function.
Michael Orlitzky [Sat, 6 Feb 2016 20:51:38 +0000 (15:51 -0500)]
Change "Z-transformation" to "Z-operator".
Michael Orlitzky [Sun, 31 Jan 2016 14:33:39 +0000 (09:33 -0500)]
Add a comment to is_lyapunov_like().
Michael Orlitzky [Wed, 13 Jan 2016 14:51:48 +0000 (09:51 -0500)]
Only check=False when K is proper (can't prove it otherwise).
Michael Orlitzky [Tue, 12 Jan 2016 01:59:35 +0000 (20:59 -0500)]
Remove the motzkin_decomposition() method, now Trac #19867.
Michael Orlitzky [Mon, 11 Jan 2016 23:09:38 +0000 (18:09 -0500)]
Add a note about the nonstandard name "Motzkin decomposition."
Michael Orlitzky [Mon, 11 Jan 2016 18:31:14 +0000 (13:31 -0500)]
Add tests for the dual/adjoint relationship of pi/Z.
Michael Orlitzky [Mon, 11 Jan 2016 15:04:50 +0000 (10:04 -0500)]
Add tests for permutation/conjugation of cones/transformations.
Michael Orlitzky [Mon, 11 Jan 2016 14:42:36 +0000 (09:42 -0500)]
Clean up some notation in tests.
Michael Orlitzky [Mon, 11 Jan 2016 14:34:10 +0000 (09:34 -0500)]
Add tests for the dimension of the Z-transformation cone.
Michael Orlitzky [Mon, 11 Jan 2016 14:16:37 +0000 (09:16 -0500)]
Add some more Z_transformation_gens examples.
Michael Orlitzky [Mon, 11 Jan 2016 03:40:26 +0000 (22:40 -0500)]
Don't check the cones constructed in motzkin_decomposition().
Michael Orlitzky [Mon, 11 Jan 2016 03:39:54 +0000 (22:39 -0500)]
Add another test for motzkin_decomposition().
Michael Orlitzky [Mon, 11 Jan 2016 03:20:55 +0000 (22:20 -0500)]
Don't check the pi/Z cone for when K is solid or pointed.
Michael Orlitzky [Sat, 9 Jan 2016 23:05:06 +0000 (18:05 -0500)]
Use check=False when constructing pi/Z cones.
Michael Orlitzky [Fri, 8 Jan 2016 05:55:08 +0000 (00:55 -0500)]
Use max_ambient_dim=4 for the pi/Z stuff, things get too slow at n=5.
Michael Orlitzky [Fri, 8 Jan 2016 05:53:34 +0000 (00:53 -0500)]
Give an example where check=True is necessary for the pi/Z cones.
Michael Orlitzky [Fri, 8 Jan 2016 05:53:09 +0000 (00:53 -0500)]
Remove some unused junk from the top of rearrangement.py.
Michael Orlitzky [Thu, 7 Jan 2016 19:55:42 +0000 (14:55 -0500)]
Add some lineality examples, remove one dimension one covered elsewhere.