summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions
ModeNameSize
-rw-r--r--__init__.py0logstatsplain
-rw-r--r--intro.py131logstatsplain
-rw-r--r--maps.py646logstatsplain
-rw-r--r--maps_representation.py2793logstatsplain
-rw-r--r--posets.py0logstatsplain
-rw-r--r--posets_bounds.py2808logstatsplain
-rw-r--r--posets_construction.py1214logstatsplain
-rw-r--r--posets_interval.py521logstatsplain
-rw-r--r--posets_map.py455logstatsplain
-rw-r--r--posets_monoidal.py294logstatsplain
-rw-r--r--posets_product.py1475logstatsplain
-rw-r--r--posets_representation.py4965logstatsplain
-rw-r--r--posets_sum.py323logstatsplain
-rw-r--r--py.typed0logstatsplain
-rw-r--r--relations.py4185logstatsplain
-rw-r--r--relations_representation.py2016logstatsplain
-rw-r--r--semigroups.py253logstatsplain
-rw-r--r--semigroups_morphisms.py1799logstatsplain
-rw-r--r--semigroups_morphisms_representation.py4078logstatsplain
-rw-r--r--semigroups_representation.py4293logstatsplain
-rw-r--r--sets.py450logstatsplain
-rw-r--r--sets_power.py2201logstatsplain
-rw-r--r--sets_product.py2422logstatsplain
-rw-r--r--sets_properties.py974logstatsplain
-rw-r--r--sets_representation.py1957logstatsplain
-rw-r--r--sets_sum.py317logstatsplain
-rw-r--r--sets_union_inter.py607logstatsplain