#10963: Axioms and more functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues: To be merged
public/ticket/10963-doc- | simultaneously with #15801
distributive | Commit:
Dependencies: #11224, #8327, | 70e7b323cbdd928b9b05182e950bcdc90d2182bc
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506, |
#15757, #15759, #16244 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
The point is that it is going through our coercion system, it has to as
they are different types; whereas the comparison of machine ints does not
(well, at least they are the same type [and w/o parents] and their
equality test is directly in the ALU -- IDK if they completely avoid the
coercion system). Although if this was written in a `.py` file, the actual
speed should be the `len(p) == a`. Actually...there might also be some
overhead from the secret `Integer(0)` after doing the preparsing... In any
case, it's an unfair test. If you want to know more, you'll have to ask
someone much more knowledgeable about this core functionality than I.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:710>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
