IntegerListsLex has finite issues

[tscrim]

IntegerListsLex has some issues with finiteness:

sage: L = IntegerListsLex(NonNegativeIntegers(), max_length=3, ceiling=lambda i: 3)
sage: L
Integer lists of sum in <class 'sage.sets.non_negative_integers.NonNegativeIntegers'> satisfying certain constraints
sage: for x in L:
....:
[]
[1]
[0, 1]
[0, 0, 1]
...
[3, 3, 2]
[3, 2, 3]
[2, 3, 3]
[3, 3, 3]
# Continues looping for forever (which I guess is okay)
sage: L.is_finite()
True
sage: L.category()
Category of finite enumerated sets

sage: L2 = IntegerListsLex(NonNegativeIntegers(), max_length=3)                   
sage: L2.is_finite()
True
sage: L2.category()
Category of finite enumerated sets

The last two are not correct, and this would likely need moderate checking of combinations of the input arguments.

Depends on #13605

Component: combinatorics

Keywords: finite sets, integer lists

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

[tscrim]

Dependencies: #13605

[tscrim]

comment:2

Without #13605 applied, the is_finite() loops for forever and the category is just Category of sets.

[sagetrac-jakobkroeker]

comment:8

is this issue fixed meanwhile?

L.is_finite()  # is false with recent sage
L2.is_finite() # is false with recent sage

[tscrim]

comment:9

Now the first answer is wrong.

[mantepse]

It seems to me that this issue is outdated: IntegersListsLex does not take NonNegativeIntegers as first argument anymore.