Opened 22 months ago

Closed 21 months ago

Last modified 21 months ago

#29529 closed enhancement (fixed)

add FreeMagma as an example of a magma

Reported by: gh-mwageringel 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 22 months ago by gh-mwageringel

  • Authors set to Markus Wageringel
  • Branch set to u/gh-mwageringel/29529
  • Commit set to cad767826775eb72556a33cd9e489665c8ceca28
  • Status changed from new to needs_review

New commits:

cad767829529: add FreeMagma as an example of a magma

comment:2 Changed 22 months ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

LGTM.

Feel free to cc me on tickets like this too.

comment:3 Changed 22 months ago by gh-mwageringel

Thank you.

comment:4 Changed 21 months ago by vbraun

  • Branch changed from u/gh-mwageringel/29529 to cad767826775eb72556a33cd9e489665c8ceca28
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:5 Changed 21 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.1
Note: See TracTickets for help on using tickets.