Oh dear, I should have taken a break. Thank you.
On Saturday 24 February 2024 at 22:47:49 UTC+1 dmo...@deductivepress.ca
wrote:
> Yes. Elements of F are linear combinations of the basis vectors a and b.
> Since 5/3 is not such a linear combination, it is certainly not in F.
>
> On Saturday, February 24, 2024 at 4:35:56 PM UTC-5 Martin R wrote:
>
>> In combinat/free_module.py, CombinatorialFreeModule, I find the doctest
>> below.
>>
>> Do we *really* want that 5/3 is not in CombinatorialFreeModule(QQ,["a",
>> "b"])???
>>
>> Martin
>>
>> def __contains__(self, x):
>> """
>> TESTS::
>>
>> sage: F = CombinatorialFreeModule(QQ,["a", "b"])
>> sage: G = CombinatorialFreeModule(ZZ,["a", "b"])
>> sage: F.monomial("a") in F
>> True
>> sage: G.monomial("a") in F
>> False
>> sage: "a" in F
>> False
>> sage: 5/3 in F
>> False
>> """
>> return parent(x) == self # is self?
>>
>>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/6a70c86d-da4f-4769-a6d5-b7637eb8f509n%40googlegroups.com.
