On Tue, Apr 29, 2014 at 03:48:37PM +0200, Nathann Cohen wrote:
> > Do you have the code on some branch? I guess the issue is some typo,
> > like a missing s to CartesianProducts. Similarly,
> > CommutativeAdditiveGroups.
>
> A typo ? But I would get some meaningful error in this case, not this,
> would I ?
Not necessarily. As a lousy analogy, imagine I want to implement a
special class of graphs, and want to override, say,
is_vertex_transitive with my super great algorithm; but I
inadvertently spell it as is_vertices_transitive. I won't get a
specific error about it. If the user calls is_vertex_transitive, my
great implementation is going to be silently ignored.
Of course, in some cases there can be tricks to catch such typos and
report them. For example the code could possibly complain if you
implement, and then call, a construction in a category where it has
not been defined (that's done for axioms, but maybe not yet for
constructions like CartesianProducts).
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
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/d/optout.
