Extend FreeModule(K,n,sparse=True) to accept n=infinity

[nthiery]

Depends on #19448

Component: linear algebra

Reviewer: Matthias Koeppe, Samuel Lelièvre

Issue created by migration from https://trac.sagemath.org/ticket/10671

[tscrim]

comment:1

Attachment: trac_10671-free_module_infinity-ts.patch.gz

I made FreeModule(K, oo) return CombinatorialFreeModule indexed by NonNegativeIntegers, as well as made FreeModule be able to take an indexing set (which also redirects to CombintorialFreeModule).

[tscrim]

Author: Travis Scrimshaw

[nthiery]

comment:2

Sorry, my description was incomplete: this ticket is not about the user interface, but the implementation. The purpose is to adapt the implementation of Sage's plain sparse free modules so that it also handles the infinite dimensional case (little needs to be changed). This is a step toward providing an alternative implementation of CombinatorialFreeModule using FreeModule as backend.

On the other hand, thanks for making FreeModule take an indexing set and delegate to CombinatorialFreeModule; we probably want to make this a separate ticket though.

Cheers,
Nicolas

[fchapoton]

comment:6

needs a git branch, if this has still any pertinence

[mkoeppe]

comment:7

With #19448, some functionality for infinite-dimensional free modules is already available. More work needs to be done, but more specific tickets should outline this work. I propose to close this ancient ticket.

[mkoeppe]

Changed author from Travis Scrimshaw to none

[mkoeppe]

Dependencies: #19448

[slel]

Reviewer: Matthias Koeppe, Samuel Lelièvre