On Jun 09, Matthias Koeppe wrote:
See [1]https://trac.sagemath.org/ticket/19448
With the patch in this ticket I find this:
sage: V = CombinatorialFreeModule(QQ, Partitions())
sage: M = V.submodule([V.an_element()])
sage: M.reduce(V.an_element())
0
so far so good.
sage: v = V([3,2,1]); v
B[
On June 9, 2020 7:35:51 PM GMT-03:00, Matthias Koeppe
wrote:
>See https://trac.sagemath.org/ticket/19448
>
Ohh wow! That's been active really recently! Thanks, I'll merge the ticket into
my branch.
R.
>On Tuesday, June 9, 2020 at 2:43:04 PM UTC-7, Reimundo Heluani wrote:
>>
>> I am trying
See https://trac.sagemath.org/ticket/19448
On Tuesday, June 9, 2020 at 2:43:04 PM UTC-7, Reimundo Heluani wrote:
>
> I am trying to reuse the code already in place in combinat/freemodule and
> modules/with_basis/subquotients to construct a finite dimensional
> submodule of
> an infinite dimensi
