Opened 13 months ago

Last modified 4 months ago

#31997 new enhancement

Topological tensor spaces (modules)

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

Status badges

Description

Looking at Falcó, Hackbusch, Nouy, Tree-based tensor formats, ​https://arxiv.org/abs/1810.01262 (#31991), section 3, we may want to implement normed tensor modules.

Currently, our tensor modules are not equipped with a norm:

sage: FiniteRankFreeModule(QQ, 2)
2-dimensional vector space over the Rational Field
sage: v = _.an_element()
sage: v.norm()
AttributeError: 'FiniteRankFreeModule_with_category.element_class' object has no attribute 'norm'

See #30092 (Categories of normed additive monoids/groups, normed modules/rings/fields, ...)

Change History (3)

comment:1 Changed 11 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:2 Changed 7 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:3 Changed 4 months ago by mkoeppe

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