On Tue, 12 May 2015, Simon King wrote:
- - sometimes one needs to formulate preconditions that self needs to provide, or one needs to fix a notation involving self. I believe that preconditions should be formulated in an ASSUMPTIONS section, and notations should belong to an ALGORITHM or THEORY section.
How explicit should this be? For example see http://www.sagemath.org/doc/reference/combinat/sage/combinat/posets/posets.html Is it enought to say "Return the flag f-polynomial of a bounded and ranked poset self." just rephrased as "Return the flag f-polynomial of the poset, which is assumed to be bounded and ranked."?
There is also a difference between something not defined mathematically and something not (yet) implemented in Sage.
-- Jori Mäntysalo
