#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
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:
public/ticket/10963-doc- | Commit:
distributive | 16d530dfc1838a6b497afac03e1e2b13be24795d
Dependencies: #11224, #8327, | Stopgaps:
#10193, #12895, #14516, #14722, |
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506, |
#15757, #15759 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:576 nthiery]:
> > If this is indeed the case, you should proudly point this out in the
documentation, because "heuristic" and "guesses" are words that make
people like myself very scared. (Also, maybe add some instructions for
users of categories on how to add doctests that verify that it is
successful at guessing?)
>
> Good point. I'll do that now!
Actually you are really really right. The term "guess" was a terrible
choice, as it wrongly suggests that the result might be incorrect,
when in fact it's either correct or an explicit error is raised. I
should have called this from the beginning a "deduction attempt".
This would probably have saved on a lot of discussions above.
I updated the code and documentation accordingly, and pushed (together
with the other little change I had mentioned yesterday).
Thanks much for pointing this out!
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:579>
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.
