On Thursday, September 1, 2016 at 4:53:00 PM UTC+2, Daniel Krenn wrote:
>
> On 2016-09-01 01:47, Kwankyu Lee wrote:
> > I am playing with an experimental implementation of "enumerated" axiom.
>
> From what I guess is, that this axiom implies an implementation of
> __getitem__, correct?
>
If yo
On 2016-09-01 01:47, Kwankyu Lee wrote:
> I am playing with an experimental implementation of "enumerated" axiom.
>From what I guess is, that this axiom implies an implementation of
__getitem__, correct?
Does it also imply something on the index set (e.g. natural numbers) of
this object? Or does i
One more nice example.
sage -t src/sage/combinat/integer_vector_weighted.py
**
File "src/sage/combinat/integer_vector_weighted.py", line 125, in
sage.combinat.integer_vector_weighted.WeightedIntegerVectors_all.__init__
Failed exa
I am playing with an experimental implementation of "enumerated" axiom. The
results are interesting.
sage -t src/sage/combinat/posets/posets.py
**
File "src/sage/combinat/posets/posets.py", line 755, in
sage.combinat.posets.pose
On Fri, Aug 26, 2016 at 09:46:40AM -0700, Kwankyu Lee wrote:
> A first improvement could be to use:
> Category of X an enumerated sets.
Oops, I just noticed a typo which may have been confusing. I really
meant:
Category of X and enumerated sets.
It's easy to implement,
>
> Output of join categories definitely could use some love.
:-)
> A first improvement could be to use:
>
> Category of X an enumerated sets.
>
Alternatively:
Category of enumerable X
> should be trivial to implement.
Good news. But I have to study more of the internals of
On Tue, Aug 23, 2016 at 12:38:35PM -0700, Kwankyu Lee wrote:
>Right. Perhaps I was just thinking of "cosmetics". Lots of parents in
>Sage should be finite enumerated sets. If their category is a join of
>some category X and the category of finite enumerated sets, then it is
>printed
