]> gitweb.michael.orlitzky.com - sage.d.git/log
sage.d.git
6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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().

6 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().

6 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.

6 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.

6 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.

6 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.

6 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.

6 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.

6 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="."

6 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="."

6 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="."

6 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="."

6 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="."

6 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="."

6 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="."

6 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="."

6 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.

8 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.

8 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.

8 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.

8 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.

8 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)).

8 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).

8 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).

8 years agoTest the lineality space of the dual of the cone of positive operators.
Michael Orlitzky [Thu, 7 Jan 2016 03:35:03 +0000 (22:35 -0500)]
Test the lineality space of the dual of the cone of positive operators.

8 years agoAdd more positive operator examples from the paper.
Michael Orlitzky [Wed, 6 Jan 2016 21:34:25 +0000 (16:34 -0500)]
Add more positive operator examples from the paper.

8 years agoRemove the cone tests since they all belong to one paper (now in that repo).
Michael Orlitzky [Wed, 6 Jan 2016 14:01:10 +0000 (09:01 -0500)]
Remove the cone tests since they all belong to one paper (now in that repo).

8 years agoAdd some Proposition 3 tests for positive operators.
Michael Orlitzky [Wed, 6 Jan 2016 13:44:50 +0000 (08:44 -0500)]
Add some Proposition 3 tests for positive operators.

8 years agoMore minor tweaks to motzkin_decomposition().
Michael Orlitzky [Wed, 6 Jan 2016 13:38:30 +0000 (08:38 -0500)]
More minor tweaks to motzkin_decomposition().

8 years agoMore minor cleanup of motzkin_decomposition().
Michael Orlitzky [Wed, 6 Jan 2016 03:32:22 +0000 (22:32 -0500)]
More minor cleanup of motzkin_decomposition().

8 years agoCite Stoer & Witzgall for the Motzkin decomposition.
Michael Orlitzky [Tue, 5 Jan 2016 18:23:42 +0000 (13:23 -0500)]
Cite Stoer & Witzgall for the Motzkin decomposition.

8 years agoRemove random_element() for sage and start cleanup on motzkin_decomposition().
Michael Orlitzky [Mon, 4 Jan 2016 19:13:10 +0000 (14:13 -0500)]
Remove random_element() for sage and start cleanup on motzkin_decomposition().

8 years agoRename pointed_decomposition() to motzkin_decomposition().
Michael Orlitzky [Thu, 31 Dec 2015 04:49:58 +0000 (23:49 -0500)]
Rename pointed_decomposition() to motzkin_decomposition().

8 years agoAdd a description for the pointed_decomposition() doctest.
Michael Orlitzky [Thu, 31 Dec 2015 04:25:44 +0000 (23:25 -0500)]
Add a description for the pointed_decomposition() doctest.

8 years agoVery rough first implementation of pointed_decomposition().
Michael Orlitzky [Thu, 31 Dec 2015 04:23:09 +0000 (23:23 -0500)]
Very rough first implementation of pointed_decomposition().

8 years agoMore examples and a better implementation for random_element().
Michael Orlitzky [Thu, 31 Dec 2015 04:22:41 +0000 (23:22 -0500)]
More examples and a better implementation for random_element().

8 years agoRemove whitespace around keyword arguments.
Michael Orlitzky [Thu, 31 Dec 2015 04:19:42 +0000 (23:19 -0500)]
Remove whitespace around keyword arguments.

8 years agoDon't import the nonexistent mjo.plot.
Michael Orlitzky [Thu, 31 Dec 2015 00:19:30 +0000 (19:19 -0500)]
Don't import the nonexistent mjo.plot.

8 years agoFix a deprecated doctest.
Michael Orlitzky [Fri, 4 Dec 2015 01:05:23 +0000 (20:05 -0500)]
Fix a deprecated doctest.

8 years agoRemove the 'symbolic' module, there's no real use for it anymore.
Michael Orlitzky [Fri, 4 Dec 2015 01:03:52 +0000 (20:03 -0500)]
Remove the 'symbolic' module, there's no real use for it anymore.

9 years agoAdd a test for the lineality spaces of Z/pi-star being equal.
Michael Orlitzky [Wed, 25 Nov 2015 20:15:32 +0000 (15:15 -0500)]
Add a test for the lineality spaces of Z/pi-star being equal.

9 years agoAdd a test for K.is_proper() <==> pi(K).is_proper().
Michael Orlitzky [Wed, 25 Nov 2015 01:40:57 +0000 (20:40 -0500)]
Add a test for K.is_proper() <==> pi(K).is_proper().

9 years agoRename solid_quotient() to solid_restriction().
Michael Orlitzky [Tue, 17 Nov 2015 00:59:49 +0000 (19:59 -0500)]
Rename solid_quotient() to solid_restriction().

9 years agoAdd restrict_to_subspace function and use it to test the sage lyapunov_rank().
Michael Orlitzky [Sun, 15 Nov 2015 00:03:29 +0000 (19:03 -0500)]
Add restrict_to_subspace function and use it to test the sage lyapunov_rank().