Opened 4 years ago

Closed 2 years ago

#22415 closed enhancement (fixed)

Add operator class membership tests for matrices

Reported by: mjo Owned by:
Priority: major Milestone: sage-8.4
Component: linear algebra Keywords:
Cc: Merged in:
Authors: Michael Orlitzky Reviewers: Bryan Gin-ge Chen
Report Upstream: N/A Work issues:
Branch: cc1474d (Commits) Commit: cc1474dcfd2b466020765b37d3ce1527db308382
Dependencies: Stopgaps:

Description

There are a few sets of operators defined on cones that we can generate. If K is a polyhedral cone, then there's

  • K.positive_operators_gens()
  • K.cross_positive_operators_gens
  • K.Z_operators_gens()
  • K.lyapunov_like_basis()

Those sets are themselves polyhedral closed convex cones, and in the last case, a vector space.

Given a matrix L, it is natural to ask: does L belong to one of those sets with respect to a given K?

Change History (4)

comment:1 Changed 4 years ago by mjo

  • Authors set to Michael Orlitzky
  • Branch set to u/mjo/ticket/22415
  • Commit set to bd12cbfcc73ec61f6ac328f238d6ee1638e13d8b
  • Status changed from new to needs_review

New commits:

c35d099Trac #22415: update the [Or2016] reference.
40ee564Trac #22415: add operator class membership tests for matrices.
bd12cbfTrac #22415: use new matrix methods in cone tests.

comment:2 Changed 2 years ago by gh-bryangingechen

  • Milestone changed from sage-7.6 to sage-8.4
  • Status changed from needs_review to needs_work

This currently does not merge; I would be willing to review this after that's addressed.

comment:3 Changed 2 years ago by gh-bryangingechen

  • Branch changed from u/mjo/ticket/22415 to public/22415_operator_class_membership_tests
  • Commit changed from bd12cbfcc73ec61f6ac328f238d6ee1638e13d8b to cc1474dcfd2b466020765b37d3ce1527db308382
  • Reviewers set to Bryan Gin-ge Chen
  • Status changed from needs_work to positive_review

The merge was trivial, so I took the liberty of performing it. Everything looks good to me!


New commits:

c35d099Trac #22415: update the [Or2016] reference.
40ee564Trac #22415: add operator class membership tests for matrices.
bd12cbfTrac #22415: use new matrix methods in cone tests.
cc1474dMerge branch 'u/mjo/ticket/22415' of git://trac.sagemath.org/sage into 22415_operator_class_membership

comment:4 Changed 2 years ago by vbraun

  • Branch changed from public/22415_operator_class_membership_tests to cc1474dcfd2b466020765b37d3ce1527db308382
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.