Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
# -*- coding: utf-8 -*- R-trivial semigroups """ #***************************************************************************** # Copyright (C) 2016 Nicolas M. Thiéry <nthiery at users.sf.net> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 2 of the License, or # (at your option) any later version. # http://www.gnu.org/licenses/ #*****************************************************************************
r""" Implement the fact that a `R`-trivial semigroup is `H`-trivial.
EXAMPLES::
sage: Semigroups().RTrivial().extra_super_categories() [Category of h trivial semigroups] """
r""" Implement the fact that a commutative `R`-trivial semigroup is `J`-trivial.
EXAMPLES::
sage: Semigroups().RTrivial().Commutative_extra_super_categories() [Category of j trivial semigroups]
TESTS::
sage: Semigroups().RTrivial().Commutative() is Semigroups().JTrivial().Commutative() True """ |