Splitting of the review of the categories

---

Franco Saliola:

semigroups                       (positive review)
examples/semigroups              (positive review)
examples/semigroups_cythonx      (needs review)
monoids                          (positive review)
examples/monoids                 (positive review)
examples/finite_semigroups       (positive review)
finite_semigroups                (positive review)
finite_monoids                   (miss 1 doctest)

---

Nicolas (code by Florent)

examples/sets_cat                 (positive review)

enumerated_sets                   (positive review)
finite_enumerated_sets            (positive review)
examples/finite_enumerated_sets   (positive review)
infinite_enumerated_sets          (positive review)
examples/infinite_enumerated_sets (positive review)

---

Jason Bandlow:

modules_with_basis

---

Florent:

sets_cat
algebras                                    (100% doctest)
algebras_with_basis
examples/algebras_with_basis

hopf_algebras                               (100% doctest)
hopf_algebras_with_basis                    (100% doctest)
examples/hopf_algebras_with_basis

coalgebras                                  (100% doctest)   (Florent: Positive review)
coalgebras_with_basis                       (100% doctest)   (Florent: Positive review)

bialgebras                                  (100% doctest)   (Florent: Positive review -- Essentially empty)
bialgebras_with_basis                       (100% doctest)   (Florent: Positive review -- Essentially empty)

finite_dimensional_algebras_with_basis      (100% doctest)   (Florent: Positive review)
finite_dimensional_bialgebras_with_basis    (100% doctest)   (Florent: Positive review -- Essentially empty)
finite_dimensional_coalgebras_with_basis    (100% doctest)   (Florent: Positive review -- Essentially empty)
finite_dimensional_hopf_algebras_with_basis (100% doctest)   (Florent: Positive review -- Essentially empty)
finite_dimensional_modules_with_basis       (100% doctest)   (Florent: Positive review -- Essentially empty)

graded_algebras                 (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_algebras_with_basis      (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_bialgebras               (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_bialgebras_with_basis    (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_coalgebras               (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_coalgebras_with_basis    (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_hopf_algebras            (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_hopf_algebras_with_basis (100% doctest)
graded_modules                  (100% doctest)   (Florent: Positive review -- Essentially empty)
graded_modules_with_basis       (100% doctest)   (Florent: Positive review -- Essentially empty)

The two following aims to define operad over some ring. I marked them to be discussed since they 
are essentially empty and that if we want to have operads say in the category of sets then we will 
run into trouble with the naming convention... The proper setting would maybe to define operads 
as functorial constructions like tensor product...
operads                       (100% doctest)     (Florent: Essentially empty -- To be discussed)
operads_with_basis            (100% doctest)     (Florent: Essentially empty -- To be discussed)


group_algebras                (100% doctest)     (Florent: Positive review -- Essentially empty)

---

David Kohel, or whoever wants to take some of those.

Note: there are lots of them, but they are all essentially empty, so the review should be super quick. They also should be readily 100% doctested up to adding a TestSuite?(C).run()

commutative_additive_groups
commutative_additive_monoids
commutative_additive_semigroups


algebra_ideals
algebra_modules
all
basic
bimodules
commutative_algebra_ideals
commutative_algebras
commutative_ring_ideals
commutative_rings
division_rings
entire_rings
euclidean_domains
examples/__init__
fields
finite_fields
functorx
g_sets
gcd_domains
groupoid
hecke_modules
integral_domains
left_modules
matrix_algebras
modular_abelian_varieties
modules
monoid_algebras
number_fields
objects
ordered_monoids
ordered_sets
pointed_sets
principal_ideal_domains
quotient_fields
right_modules
ring_ideals
rings
rngs
schemes
sets_with_partial_maps
unique_factorization_domains
vector_space