Changes between Initial Version and Version 2 of Ticket #29226


Ignore:
Timestamp:
02/28/20 13:17:59 (2 years ago)
Author:
gh-mwageringel
Comment:

The coercion is now implemented in #12406, without the need for inverse actions. The __truediv__ operation is implemented in #29257.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29226 – Description

    initial v2  
    11This ticket collects several issues related to the division operation of matrices.
    22
    3 `__truediv__` does not work for matrices of different dimensions:
     3#29257 `__truediv__` does not work for matrices of different dimensions:
    44  {{{
    55  sage: set_random_seed(1)
     
    1313  The corresponding `_backslash_` operation usually works.
    1414
    15 For two square matrices, the default `__truediv__` implementation `left * ~right` computes the inverse of a matrix. This is unsuitable for numerical computations at least. A better implementation would invoke `solve_left` for matrices and vectors (`_backslash_` already calls `solve_right`).
     15#29257 For two square matrices, the default `__truediv__` implementation `left * ~right` computes the inverse of a matrix. This is unsuitable for numerical computations at least. A better implementation would invoke `solve_left` for matrices and vectors (`_backslash_` already calls `solve_right`).
    1616
    1717• #12406 `solve_left` and `solve_right` should use coercion to find compatible parents
    1818
    19 `solve_right` and `solve_left` over `RDF`/`CDF` only work for square matrices, even though generic matrices support non-square matrices:
     19#12406 `solve_right` and `solve_left` over `RDF`/`CDF` only work for square matrices, even though generic matrices support non-square matrices:
    2020  {{{
    2121  sage: set_random_seed(0)