Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#29529 closed enhancement (fixed)

add FreeMagma as an example of a magma

Reported by: Markus Wageringel Owned by:
Priority: minor Milestone: sage-9.1
Component: categories Keywords:
Cc: Merged in:
Authors: Markus Wageringel Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: cad7678 (Commits, GitHub, GitLab) Commit: cad767826775eb72556a33cd9e489665c8ceca28
Dependencies: Stopgaps:

Status badges

Description

This ticket adds an example of a magma.

sage: M = Magmas().example(); M
An example of a magma: the free magma generated by ('a', 'b', 'c', 'd')
sage: a, b, c, d = M.magma_generators()
sage: a * (b * c) * (d * a * b)
'((a*(b*c))*((d*a)*b))'

This is in part motivated by this ask-sagemath question and by the seeming lack of magmas in Sage.

Change History (5)

comment:1 Changed 3 years ago by Markus Wageringel

Authors: Markus Wageringel
Branch: u/gh-mwageringel/29529
Commit: cad767826775eb72556a33cd9e489665c8ceca28
Status: newneeds_review

New commits:

cad767829529: add FreeMagma as an example of a magma

comment:2 Changed 3 years ago by Travis Scrimshaw

Reviewers: Travis Scrimshaw
Status: needs_reviewpositive_review

LGTM.

Feel free to cc me on tickets like this too.

comment:3 Changed 3 years ago by Markus Wageringel

Thank you.

comment:4 Changed 3 years ago by Volker Braun

Branch: u/gh-mwageringel/29529cad767826775eb72556a33cd9e489665c8ceca28
Resolution: fixed
Status: positive_reviewclosed

comment:5 Changed 3 years ago by Matthias Köppe

Milestone: sage-9.2sage-9.1
Note: See TracTickets for help on using tickets.