Opened 2 years ago

Last modified 6 months ago

#30218 new enhancement

Category InnerProductSpaces

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.7
Component: linear algebra Keywords:
Cc: tscrim, mjo, egourgoulhon, gh-mjungmath, kcrisman Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mkoeppe)

(follow-up from #30092)

We define a category InnerProductSpaces with element methods inner_product.

A complication for complex vector spaces: FreeModule defines:

  • dot_product - which ignores inner_product_matrix and does not conjugate
  • hermitian_inner_product - which ignores inner_product_matrix but conjugates the left factor (self)
  • inner_product - which uses inner_product_matrix but does not conjugate.

Perhaps we need to add an extra parameter inner_product_hermitian to FreeModule. For a complex base ring, the module would only be added to the category of InnerProductSpaces if this is True.

MatrixSpace elements currently do not have inner_product.

References:

Change History (10)

comment:1 Changed 2 years ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 2 years ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 18 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:4 Changed 18 months ago by mjo

  • Cc mjo added

comment:5 follow-up: Changed 18 months ago by mjo

This is half of #2711, and probably obsoletes #29437.

comment:6 Changed 14 months ago by mkoeppe

  • Cc egourgoulhon gh-mjungmath kcrisman added
  • Description modified (diff)

comment:7 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:8 in reply to: ↑ 5 Changed 12 months ago by slelievre

Replying to mjo:

This is half of #2711, and probably obsoletes #29437.

On the other hand #29437 has a commit. I don't see one here.

comment:9 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:10 Changed 6 months ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.