Changes between Version 5 and Version 31 of Ticket #18002


Ignore:
Timestamp:
03/24/15 00:20:18 (5 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18002

    • Property Status changed from new to needs_review
    • Property Authors changed from to Nicolas M. Thiéry, Aladin Virmaux
    • Property Cc days64 added
    • Property Branch changed from u/virmaux/automaticmonoid to public/automatic-monoid/18002
    • Property Reviewers changed from to Anne Schilling
    • Property Commit changed from bd807f4ccea8565feb8e2984476ee7cb4f18b404 to 230a6bbb65dbe2386834060ee6214c702bee8f1b
  • Ticket #18002 – Description

    v5 v31  
    1 Implement the `AutomaticMonoid` class. It is a rewrite of the sage-combinat patch by Nicolas M. Thiéry.
    2 AutomaticMonoid construct (lazily) a monoid from a set of concrete generators living in an ambient monoid.
     1Implement subsemigroups generated by elements of an ambient
     2semigroups, lazily constructing all the elements and their Cayley
     3graph relations.
    34
    45Here is a quick exemple from the documentation:
    56{{{
    67sage: R = IntegerModRing(12)
    7 sage: M = AutomaticMonoid(Family({1: R(3), 2: R(5)}), one = R.one())
     8sage: R.semigroup([R(3), R(5)], one = R.one())
    89sage: M.cardinality()
    9104
    1011}}}
     12
     13This builds on and supersedes the old patch
     14``automatic_monoid-nt.patch`` from the Sage-Combinat mercurial queue.