> > It certainly will change Sage positively completely independently from > > find_stat. We definitely need to tag combinatorial maps to know for example > > whether they are injective surjective of bijective.. > > You do, and I said in a previous email that something like that could be achieved by adding information to the docstrings. Zero cost, and it even adds the information to the documentation. I NEVER F******** claimed that this information was useless. I said that it should be rewritten in such a way that we never have to pay for it when we run computations, as it seems possible.
And I can also add to this comment that you can actually implement this feature using decorators at no cost, because you can do this without changing the function at all. If you want a decorator that does that @find_stat_properties(surjective = True, from=whatever, to=whatever2) and registers the method in some database in Sage, then the decorator can return the very function it has been given and there is nothing wrong with that. Right now there is a class in the middle, though. Nathann -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
