PS: On 2012-03-26, Simon King <simon.k...@uni-jena.de> wrote: > Also note that by some recent patch, the recommended way of testing properties > is not only better from a mathematical point of view, but it is also > **faster** (at least if we are talking about a category without a base > ring): > > (with sage-5.0.beta8) > ... > sage: %timeit > isinstance(X,sage.rings.principal_ideal_domain.PrincipalIdealDomain) > 625 loops, best of 3: 984 ns per loop > sage: %timeit X in PID > 625 loops, best of 3: 816 ns per loop > sage: %timeit > isinstance(Y,sage.rings.principal_ideal_domain.PrincipalIdealDomain) > 625 loops, best of 3: 1.97 µs per loop > sage: %timeit Y in PID > 625 loops, best of 3: 1.02 µs per loop
And I forgot to add the comparison with the deprecated function is_PrincipalIdealDomain, which is of course even slower than calling isinstance directly. Note that I explicitly import the function, in order to avoid the deprecation warning: sage: from sage.rings.principal_ideal_domain import is_PrincipalIdealDomain sage: %timeit is_PrincipalIdealDomain(X) 625 loops, best of 3: 1.03 µs per loop sage: %timeit is_PrincipalIdealDomain(Y) 625 loops, best of 3: 1.9 µs per loop Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
