summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions
ModeNameSize
-rw-r--r--__init__.py0logstatsplain
-rw-r--r--intro.py131logstatsplain
-rw-r--r--maps.py385logstatsplain
-rw-r--r--maps_representation.py391logstatsplain
-rw-r--r--posets.py0logstatsplain
-rw-r--r--posets_bounds.py2149logstatsplain
-rw-r--r--posets_construction.py274logstatsplain
-rw-r--r--posets_interval.py521logstatsplain
-rw-r--r--posets_map.py455logstatsplain
-rw-r--r--posets_monoidal.py294logstatsplain
-rw-r--r--posets_product.py290logstatsplain
-rw-r--r--posets_representation.py353logstatsplain
-rw-r--r--posets_sum.py323logstatsplain
-rw-r--r--py.typed0logstatsplain
-rw-r--r--relations.py2117logstatsplain
-rw-r--r--relations_representation.py415logstatsplain
-rw-r--r--semigroups.py253logstatsplain
-rw-r--r--semigroups_morphisms_representation.py1166logstatsplain
-rw-r--r--semigroups_representation.py1006logstatsplain
-rw-r--r--sets.py450logstatsplain
-rw-r--r--sets_power.py278logstatsplain
-rw-r--r--sets_product.py2416logstatsplain
-rw-r--r--sets_properties.py937logstatsplain
-rw-r--r--sets_representation.py1308logstatsplain
-rw-r--r--sets_sum.py317logstatsplain
-rw-r--r--sets_union_inter.py607logstatsplain