TrivialFamily: Accept start index

[mkoeppe]

sage.tensor.modules has a feature start_index. By setting start_index=1 (default: 0), a basis is indexed starting at 1.

We add this feature to TrivialFamily (and the factory Family).

This is another small step to improve compatibility with CombinatorialFreeModule.

Depends on #30300

CC: @egourgoulhon @tscrim @mjungmath

Component: combinatorics

Branch/Commit: u/mkoeppe/trivialfamily__accept_start_index @ f4f1a60

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

[mkoeppe]

comment:2

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

[mkoeppe]

Branch: u/mkoeppe/trivialfamily__accept_start_index

[mkoeppe]

comment:7

easier to just do what is needed in #30300

---

New commits:

f4f1a60

src/sage/sets/family.py: WIP start_index

[mkoeppe]

Commit: f4f1a60

[mkoeppe]

Dependencies: #30300

[tscrim]

comment:8

I am confused. Is this a wontfix or a regular review?

[mkoeppe]

comment:9

wontfix

[tscrim]

comment:10

But #30300 is unrelated to this ticket and the feature request.

[mkoeppe]

comment:11

I thought I would implement #30300 by going through this ticket here.
But it turned out not to be useful.

[tscrim]

comment:12

I see. Do you think this might still be a useful feature for some to have?

[jhpalmieri]

Closing as "won't fix" since that is the branch author's preference.