]> gitweb.michael.orlitzky.com - sage.d.git/log
sage.d.git
5 years agomjo/cone/symmetric_pd: add inverse_symmetric_pd() function.
Michael Orlitzky [Fri, 30 Nov 2018 20:17:16 +0000 (15:17 -0500)]
mjo/cone/symmetric_pd: add inverse_symmetric_pd() function.

5 years agomjo/cone/symmetric_pd: new module for symmetric positive-definite matrices.
Michael Orlitzky [Fri, 30 Nov 2018 16:28:14 +0000 (11:28 -0500)]
mjo/cone/symmetric_pd: new module for symmetric positive-definite matrices.

5 years agomjo/cone/symmetric_psd: add missing set_random_seed() calls.
Michael Orlitzky [Fri, 30 Nov 2018 16:25:56 +0000 (11:25 -0500)]
mjo/cone/symmetric_psd: add missing set_random_seed() calls.

5 years agomjo/cone/symmetric_psd: don't use recusion; work on trivial matrices.
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.

5 years agomjo/cone: improve docstrings the the rearrangement and schur cones.
Michael Orlitzky [Fri, 30 Nov 2018 16:01:29 +0000 (11:01 -0500)]
mjo/cone: improve docstrings the the rearrangement and schur cones.

5 years agomjo/cone: rename random_psd() to random_symmetric_psd().
Michael Orlitzky [Fri, 30 Nov 2018 16:00:57 +0000 (11:00 -0500)]
mjo/cone: rename random_psd() to random_symmetric_psd().

5 years agocone/trivial_cone.py: add the trivial_cone() function.
Michael Orlitzky [Mon, 12 Nov 2018 06:09:50 +0000 (01:09 -0500)]
cone/trivial_cone.py: add the trivial_cone() function.

5 years agocone/rearrangement.py: simplify the implementation.
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.

5 years agocone/rearrangement.py: add a "lattice" argument.
Michael Orlitzky [Mon, 12 Nov 2018 03:13:14 +0000 (22:13 -0500)]
cone/rearrangement.py: add a "lattice" argument.

5 years agocone/rearrangement.py: fix the test for propriety.
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.

5 years agocone/rearrangement.py: add a few more tests.
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.

5 years agocone/rearrangement.py: add some preliminary references.
Michael Orlitzky [Mon, 12 Nov 2018 02:55:57 +0000 (21:55 -0500)]
cone/rearrangement.py: add some preliminary references.

5 years agocone/schur.py: add "lattice" argument.
Michael Orlitzky [Mon, 12 Nov 2018 00:09:25 +0000 (19:09 -0500)]
cone/schur.py: add "lattice" argument.

5 years agocone/nonnegative_orthant.py: add a word to the docs.
Michael Orlitzky [Mon, 12 Nov 2018 00:09:10 +0000 (19:09 -0500)]
cone/nonnegative_orthant.py: add a word to the docs.

5 years agocone/nonnegative_orthant.py: add "lattice" argument.
Michael Orlitzky [Sun, 11 Nov 2018 22:54:10 +0000 (17:54 -0500)]
cone/nonnegative_orthant.py: add "lattice" argument.

5 years agocone/schur.py: add a test for the dual of the Schur cone.
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.

5 years agocone/symmetric_psd.py: use two more generator expressions.
Michael Orlitzky [Sun, 4 Nov 2018 06:42:23 +0000 (01:42 -0500)]
cone/symmetric_psd.py: use two more generator expressions.

5 years agocone/symmetric_psd.py: use a generator expression in unit_eigenvectors().
Michael Orlitzky [Sun, 4 Nov 2018 06:36:39 +0000 (01:36 -0500)]
cone/symmetric_psd.py: use a generator expression in unit_eigenvectors().

5 years agocone/cone.py: use generator expressions instead of lists.
Michael Orlitzky [Sun, 4 Nov 2018 06:16:27 +0000 (01:16 -0500)]
cone/cone.py: use generator expressions instead of lists.

5 years agoorthogonal_polynomials.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 06:15:07 +0000 (01:15 -0500)]
orthogonal_polynomials.py: use generator expressions where applicable.

5 years agoorthogonal_polynomials.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 06:13:16 +0000 (01:13 -0500)]
orthogonal_polynomials.py: use xrange everywhere.

5 years agomatrix_vector.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 06:12:22 +0000 (01:12 -0500)]
matrix_vector.py: use xrange everywhere.

5 years agomjo/interpolation.py: partial conversion to generator expressions.
Michael Orlitzky [Sun, 4 Nov 2018 06:08:20 +0000 (01:08 -0500)]
mjo/interpolation.py: partial conversion to generator expressions.

5 years agomjo/interpolation.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 06:00:56 +0000 (01:00 -0500)]
mjo/interpolation.py: use xrange everywhere.

5 years agocone/schur.py: use xrange in one place.
Michael Orlitzky [Sun, 4 Nov 2018 05:59:45 +0000 (01:59 -0400)]
cone/schur.py: use xrange in one place.

5 years agocone/rearrangement.py: use xrange everywhere.
Michael Orlitzky [Sun, 4 Nov 2018 05:58:55 +0000 (01:58 -0400)]
cone/rearrangement.py: use xrange everywhere.

5 years agocone/doubly_nonnegative.py: use xrange in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:57:14 +0000 (01:57 -0400)]
cone/doubly_nonnegative.py: use xrange in two places.

5 years agocone/doubly_nonnegative.py: use generator expressions 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.

5 years agocone/faces.py: use xrange in two places.
Michael Orlitzky [Sun, 4 Nov 2018 05:54:49 +0000 (01:54 -0400)]
cone/faces.py: use xrange in two places.

5 years agocone/permutation_invariant.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.

5 years agosymbol_sequence.py: allow _flatten_list_ to work on an iterable.
Michael Orlitzky [Sun, 4 Nov 2018 05:43:46 +0000 (01:43 -0400)]
symbol_sequence.py: allow _flatten_list_ to work on an iterable.

5 years agosymbol_sequence.py: use xrange where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 05:26:19 +0000 (01:26 -0400)]
symbol_sequence.py: use xrange where applicable.

5 years agosymbol_sequence.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 05:25:58 +0000 (01:25 -0400)]
symbol_sequence.py: use generator expressions where applicable.

5 years agocone/rearrangement.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.

5 years agocone/permutation_invariant.py: add test for the nonnegative orthant.
Michael Orlitzky [Sun, 4 Nov 2018 04:53:32 +0000 (00:53 -0400)]
cone/permutation_invariant.py: add test for the nonnegative orthant.

5 years agocone/permutation_invariant.py: use generator expressions where applicable.
Michael Orlitzky [Sun, 4 Nov 2018 04:42:23 +0000 (00:42 -0400)]
cone/permutation_invariant.py: use generator expressions where applicable.

5 years agocone/schur.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.

5 years agocone/faces.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.

5 years agocone/schur.py: test that the schur cone induces the majorization ordering.
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.

5 years agocone/schur.py: clean up and add some tests.
Michael Orlitzky [Fri, 2 Nov 2018 14:45:37 +0000 (10:45 -0400)]
cone/schur.py: clean up and add some tests.

5 years agomjo/cone: add the nonnegative_orthant module.
Michael Orlitzky [Fri, 2 Nov 2018 14:00:44 +0000 (10:00 -0400)]
mjo/cone: add the nonnegative_orthant module.

5 years agocone/faces.py: add the missing HilgertHofmannLawson reference that I cited.
Michael Orlitzky [Fri, 2 Nov 2018 04:45:48 +0000 (00:45 -0400)]
cone/faces.py: add the missing HilgertHofmannLawson reference that I cited.

5 years agocone/faces.py: test that dual-face-of-dual-face is a no-op.
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.

5 years agocone/faces.py: test the relationship between dual_face and face_generated_by.
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.

5 years agocone/faces.py: add preliminary dual_face() operation.
Michael Orlitzky [Fri, 2 Nov 2018 02:30:04 +0000 (22:30 -0400)]
cone/faces.py: add preliminary dual_face() operation.

5 years agocone/faces.py: add test for Proposition 3.1 and Corollary 3.9 in Tam.
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.

5 years agocone/faces.py: test a lattice join property of face_generated_by().
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().

5 years agocone/faces.py: add a relative interior test for 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().

5 years agocone/faces.py: remove a misleading comment.
Michael Orlitzky [Fri, 2 Nov 2018 00:18:12 +0000 (20:18 -0400)]
cone/faces.py: remove a misleading comment.

5 years agocone/faces.py: update the wording of two tests.
Michael Orlitzky [Fri, 2 Nov 2018 00:17:54 +0000 (20:17 -0400)]
cone/faces.py: update the wording of two tests.

5 years agoREADME: update comments on the test suite.
Michael Orlitzky [Thu, 1 Nov 2018 23:53:43 +0000 (19:53 -0400)]
README: update comments on the test suite.

5 years agoKill unnecessary sitedir mangling.
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.

5 years agoAdd the new mjo.cone.faces module with the face_generated_by() function.
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.

5 years agomakefile: add a "make check" target to run the tests properly.
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.

5 years agomjo/cone/symmetric_psd.py: fix tests with PYTHONPATH="."
Michael Orlitzky [Thu, 1 Nov 2018 19:53:07 +0000 (15:53 -0400)]
mjo/cone/symmetric_psd.py: fix tests with PYTHONPATH="."

5 years agomjo/cone/rearrangement.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="."

5 years agomjo/cone/permutation_invariant.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="."

5 years agomjo/cone/doubly_nonnegative.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="."

5 years agomjo/cone/completely_positive.py: fix tests to work 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="."

5 years agomjo/symbol_sequence.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="."

5 years agomjo/orthogonal_polynomials.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="."

5 years agomjo/matrix_vector.py: make tests 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="."

5 years agomjo/interpolation.py: allow tests to run with PYTHONPATH=".".
Michael Orlitzky [Thu, 1 Nov 2018 19:10:20 +0000 (15:10 -0400)]
mjo/interpolation.py: allow tests to run with PYTHONPATH=".".

7 years agoRemove all of the is_foo_on() functions to a sage branch.
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.

7 years agoAdd polynomial ring examples for is_positive_on.
Michael Orlitzky [Tue, 14 Feb 2017 14:29:24 +0000 (09:29 -0500)]
Add polynomial ring examples for is_positive_on.

7 years agoAdd another test and an implementation comment for is_lyapunov_like_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.

7 years agoAdd SEEALSO blocks and inexact ring error tests.
Michael Orlitzky [Mon, 13 Feb 2017 18:03:34 +0000 (13:03 -0500)]
Add SEEALSO blocks and inexact ring error tests.

7 years agoAdd tests for the "K must be a Cone" TypeError.
Michael Orlitzky [Mon, 13 Feb 2017 16:30:46 +0000 (11:30 -0500)]
Add tests for the "K must be a Cone" TypeError.

7 years agoClarify the docstrings for the is_foo_on functions.
Michael Orlitzky [Mon, 13 Feb 2017 16:21:15 +0000 (11:21 -0500)]
Clarify the docstrings for the is_foo_on functions.

7 years agoClean up some of the is_foo_on doctests.
Michael Orlitzky [Mon, 13 Feb 2017 15:33:02 +0000 (10:33 -0500)]
Clean up some of the is_foo_on doctests.

7 years agoFix the is_positive_on test and give better examples.
Michael Orlitzky [Sun, 12 Feb 2017 21:38:44 +0000 (16:38 -0500)]
Fix the is_positive_on test and give better examples.

7 years agoAdd work-in-progress code for the Schur cone (from David Sossa's work).
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).

7 years agoAdd positive/Z tests and update code for upstream changes.
Michael Orlitzky [Sun, 12 Feb 2017 21:17:41 +0000 (16:17 -0500)]
Add positive/Z tests and update code for upstream changes.

7 years agoAdd an is_cross_positive() function and implement is_lyapunov_like() using it.
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.

7 years agoRemove the Pi/Z stuff for inclusion into sage.
Michael Orlitzky [Sun, 25 Sep 2016 19:41:41 +0000 (15:41 -0400)]
Remove the Pi/Z stuff for inclusion into sage.

7 years agoRemove references to my unfinished paper.
Michael Orlitzky [Fri, 23 Sep 2016 14:09:17 +0000 (10:09 -0400)]
Remove references to my unfinished paper.

7 years agoImplement Z-operators in terms of cross-positive ones.
Michael Orlitzky [Fri, 23 Sep 2016 14:08:07 +0000 (10:08 -0400)]
Implement Z-operators in terms of cross-positive ones.

7 years agoAdd a test for my construction of LL(pi(K,H)).
Michael Orlitzky [Sat, 27 Aug 2016 22:25:20 +0000 (18:25 -0400)]
Add a test for my construction of LL(pi(K,H)).

7 years agoBegin working on a two-cone pi(K1,K2).
Michael Orlitzky [Mon, 22 Aug 2016 15:57:42 +0000 (11:57 -0400)]
Begin working on a two-cone pi(K1,K2).

7 years agoAdd LL_cone() convenience function.
Michael Orlitzky [Mon, 8 Aug 2016 00:21:58 +0000 (20:21 -0400)]
Add LL_cone() convenience function.

8 years agoChange "Z-transformation" to "Z-operator".
Michael Orlitzky [Sat, 6 Feb 2016 20:51:38 +0000 (15:51 -0500)]
Change "Z-transformation" to "Z-operator".

8 years agoAdd a comment to is_lyapunov_like().
Michael Orlitzky [Sun, 31 Jan 2016 14:33:39 +0000 (09:33 -0500)]
Add a comment to is_lyapunov_like().

8 years agoOnly check=False when K is proper (can't prove it otherwise).
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).

8 years agoRemove the motzkin_decomposition() method, now Trac #19867.
Michael Orlitzky [Tue, 12 Jan 2016 01:59:35 +0000 (20:59 -0500)]
Remove the motzkin_decomposition() method, now Trac #19867.

8 years agoAdd a note about the nonstandard name "Motzkin decomposition."
Michael Orlitzky [Mon, 11 Jan 2016 23:09:38 +0000 (18:09 -0500)]
Add a note about the nonstandard name "Motzkin decomposition."

8 years agoAdd tests for the dual/adjoint relationship of pi/Z.
Michael Orlitzky [Mon, 11 Jan 2016 18:31:14 +0000 (13:31 -0500)]
Add tests for the dual/adjoint relationship of pi/Z.

8 years agoAdd tests for permutation/conjugation of cones/transformations.
Michael Orlitzky [Mon, 11 Jan 2016 15:04:50 +0000 (10:04 -0500)]
Add tests for permutation/conjugation of cones/transformations.

8 years agoClean up some notation in tests.
Michael Orlitzky [Mon, 11 Jan 2016 14:42:36 +0000 (09:42 -0500)]
Clean up some notation in tests.

8 years agoAdd tests for the dimension of the Z-transformation cone.
Michael Orlitzky [Mon, 11 Jan 2016 14:34:10 +0000 (09:34 -0500)]
Add tests for the dimension of the Z-transformation cone.

8 years agoAdd some more Z_transformation_gens examples.
Michael Orlitzky [Mon, 11 Jan 2016 14:16:37 +0000 (09:16 -0500)]
Add some more Z_transformation_gens examples.

8 years agoDon't check the cones constructed in motzkin_decomposition().
Michael Orlitzky [Mon, 11 Jan 2016 03:40:26 +0000 (22:40 -0500)]
Don't check the cones constructed in motzkin_decomposition().

8 years agoAdd another test for motzkin_decomposition().
Michael Orlitzky [Mon, 11 Jan 2016 03:39:54 +0000 (22:39 -0500)]
Add another test for motzkin_decomposition().

8 years agoDon't check the pi/Z cone for when K is solid or pointed.
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.

8 years agoUse check=False when constructing pi/Z cones.
Michael Orlitzky [Sat, 9 Jan 2016 23:05:06 +0000 (18:05 -0500)]
Use check=False when constructing pi/Z cones.

8 years agoUse max_ambient_dim=4 for the pi/Z stuff, things get too slow at n=5.
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.

8 years agoGive an example where check=True is necessary for the pi/Z cones.
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.

8 years agoRemove some unused junk from the top of rearrangement.py.
Michael Orlitzky [Fri, 8 Jan 2016 05:53:09 +0000 (00:53 -0500)]
Remove some unused junk from the top of rearrangement.py.

8 years agoAdd some lineality examples, remove one dimension one covered elsewhere.
Michael Orlitzky [Thu, 7 Jan 2016 19:55:42 +0000 (14:55 -0500)]
Add some lineality examples, remove one dimension one covered elsewhere.

8 years agoAdd more examples for the positive operators.
Michael Orlitzky [Thu, 7 Jan 2016 19:29:51 +0000 (14:29 -0500)]
Add more examples for the positive operators.

8 years agoAdd tests for Corollary 2 in the paper (lineality of pi-star).
Michael Orlitzky [Thu, 7 Jan 2016 18:57:06 +0000 (13:57 -0500)]
Add tests for Corollary 2 in the paper (lineality of pi-star).