IncidenceStructure.__contains__

[ncohen]

Right now it is obtained through .__iter__, and it does not do the job

sage: [1,2,3,4] in IncidenceStructure([[1,2,3,4]])
True
sage: [4,3,2,1] in IncidenceStructure([[1,2,3,4]])
False

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​1dd244a

trac #16727: IncidenceStructure.__contains__

[dimpase]

at least some tests should use some "real" incidence structures, not just 1-element examples...

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​e7ef8c0

trac #16727: Moloch! Time Eater!

[dimpase]

Replying to git:

Branch pushed to git repo; I updated commit sha1. New commits:

​e7ef8c0

trac #16727: Moloch! Time Eater!

Well, test on non-degenerate examples, please! Your favourite STS on 15 points will do for sure...

[ncohen]

Well, test on non-degenerate examples, please! Your favourite STS on 15 points will do for sure...

Hey Dima I have no idea what doctest you want me to write but I am not going to lose 10 minutes per try until I find out. Add a commit to the branch if you don't like my doctests.

Nathann

[dimpase]

Replying to ncohen:

Well, test on non-degenerate examples, please! Your favourite STS on 15 points will do for sure...

Hey Dima I have no idea what doctest you want me to write but I am not going to lose 10 minutes per try until I find out. Add a commit to the branch if you don't like my doctests.

A degenerate input is a corner case: one-element hypergraphs and complete uniform hypergraphs are surely degenerate inputs. Such tests don't stress much of the implementation, as you can imagine. Test on, say, ProjectiveGeometryDesign(3,1,GF(2)) as well.

[ncohen]

A degenerate input is a corner case: one-element hypergraphs and complete uniform hypergraphs are surely degenerate inputs. Such tests don't stress much of the implementation, as you can imagine.

Dima, are you aware that the only thing we are testing here is whether an element belongs to a LIST ? Python does not care at all what the elements are, it is all pointers as far as it is concerned.

Test on, say, ProjectiveGeometryDesign(3,1,GF(2)) as well.

Add your commit.

Nathann

[dimpase]

Replying to ncohen:

A degenerate input is a corner case: one-element hypergraphs and complete uniform hypergraphs are surely degenerate inputs. Such tests don't stress much of the implementation, as you can imagine.

Dima, are you aware that the only thing we are testing here is whether an element belongs to a LIST ?

Good doctests should test the function as if it were a blackbox. The underlying implementation might change, might become more sophisticated, and the doctests should catch bugs in such future changes. Unless you prefer bug-driven development model to the test-driven one ;-)

[ncohen]

Good doctests should test the function as if it were a blackbox.

Religion does not work on me.

Unless you prefer bug-driven development model to the test-driven one ;-)

I am not against doctests, I am against your spending my time on this. I believe that this function is sufficiently doctested, and I already added tests because you asked. If they don't satisfy you for some reason, I do not mind it but you will have to write your own and add it to the branch.

Nathann

[dimpase]

Replying to ncohen:

Good doctests should test the function as if it were a blackbox.

Religion does not work on me.

It has nothing to do with religion, this is just common sense, sorry.

Unless you prefer bug-driven development model to the test-driven one ;-)

I am not against doctests, I am against your spending my time on this. I believe that this function is sufficiently doctested, and I already added tests because you asked. If they don't satisfy you for some reason, I do not mind it but you will have to write your own and add it to the branch.

I believe that I explained sufficiently clear that testing only corner cases does not work, yet you added another corner case test, for a complete uniform hypergraph is a corner case, AFAIK.

And I have elected to be a reviewer, sorry. It is my job to decide what a sufficient doctest is, not yours. Well, if you cannot add the doctests I ask for, I can surely do this too, only then you will be spending my time on this, not the other way around.

[ncohen]

Yo !

I believe that I explained sufficiently clear that testing only corner cases does not work, yet you added another corner case test, for a complete uniform hypergraph is a corner case, AFAIK.

A uniform hypergraph is a "corner case" in hypergraph theory. Not as an example of Python list. I mixed integers and strings, and order. That's how I tested non-corner cases that made sense from the point of view of what this function does. It is also a doctest of the bug I reported in this ticket's description.

And I have elected to be a reviewer, sorry. It is my job to decide what a sufficient doctest is, not yours.

Indeed, but when you see that you cannot explain what you want without making lose the other guy's time because he apparently does not get it, you can save everybody by writing the 4 lines yourself.

Nathann

[dimpase]

Replying to ncohen:

Yo !

I believe that I explained sufficiently clear that testing only corner cases does not work, yet you added another corner case test, for a complete uniform hypergraph is a corner case, AFAIK.

A uniform hypergraph is a "corner case" in hypergraph theory. Not as an example of Python list. I mixed integers and strings, and order. That's how I tested non-corner cases that made sense from the point of view of what this function does. It is also a doctest of the bug I reported in this ticket's description.

And I have elected to be a reviewer, sorry. It is my job to decide what a sufficient doctest is, not yours.

Indeed, but when you see that you cannot explain what you want without making lose the other guy's time because he apparently does not get it, you can save everybody by writing the 4 lines yourself.

OK, will do...

Nathann

[dimpase]

Replying to dimpase:

OK, will do...

after I'm done building 6.3.beta7, that is...

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​c69307c

added a non-generic examples, and some minor changes

[ncohen]

Yoooooooooooooooo !

The tests pass, so if that's okay for you... :-)

Nathann