#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, | 96fa89eaefdbb020d748e42ab23b9a7545621a14
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506, |
#15757, #15759, #16244 |
-------------------------------------+-------------------------------------
Comment (by darij):
WTF we still have the fucking double inheritance landmine and we haven't
even figured out how to make it fail in obvious ways? How do we ever want
Sage to scale?
@SimonKing: about magmatic algebras vs. magma algebras -- the former are
algebras minus the associativity and unitality axioms (thus a
generalization of algebras), whereas the latter are free modules over
magmas equipped with a magmatic algebra structure induced by the magma's
multiplication (thus a generalization of group algebras). So the
difference is not just in the existence of a basis; it is in the existence
of a (distinguished) *multiplicative* basis.
About git pushing, just to give my 5 cents: I usually don't hesitate to
force-push over a branch in which I made a merging mistake if said mistake
is just a few hours old. The probability of anyone basing on that branch
is rather low. Generally dependent branches seem to be a rarity around
here.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:735>
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.
