Opened 11 years ago

Closed 10 months ago

#10671 closed enhancement (invalid)

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

Reported by: nthiery Owned by: jason, was
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: linear algebra Keywords:
Cc: Merged in:
Authors: Reviewers: Matthias Koeppe, Samuel Lelièvre
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #19448 Stopgaps:

Status badges

Description


Attachments (1)

trac_10671-free_module_infinity-ts.patch​ (4.5 KB) - added by tscrim 9 years ago.

Download all attachments as: .zip

Change History (10)

Changed 9 years ago by tscrim

comment:1 Changed 9 years ago by tscrim

  • Authors set to Travis Scrimshaw
  • Milestone changed from sage-wishlist to sage-5.12
  • Status changed from new to needs_review

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).

comment:2 Changed 9 years ago by nthiery

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

comment:3 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:6 Changed 7 years ago by chapoton

  • Milestone changed from sage-6.4 to sage-6.8
  • Status changed from needs_review to needs_work

needs a git branch, if this has still any pertinence

comment:7 Changed 2 years ago by mkoeppe

  • Authors Travis Scrimshaw deleted
  • Dependencies set to #19448
  • Milestone changed from sage-6.8 to sage-duplicate/invalid/wontfix
  • Status changed from needs_work to needs_review

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.

comment:8 Changed 10 months ago by slelievre

  • Reviewers set to Matthias Koeppe, Samuel Lelièvre
  • Status changed from needs_review to positive_review

comment:9 Changed 10 months ago by mkoeppe

  • Resolution set to invalid
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.