Why are IsElementsOfIncidenceStructure and IsAllElementsOfIncidenceStructure restricted to be finite?
Issue #15
new
I noticed these implications in FinInG and wondered why they are there:
InstallTrueMethod( IsFinite, IsElementsOfIncidenceStructure );
InstallTrueMethod( IsFinite, IsAllElementsOfIncidenceStructure );
Sure, in FinInG, right now only finite incidence structures are supported. But what if somebody want to write code for infinite ones? They could not reuse your infrastructure, but would instead have to start from scratch, because of these implications.