summaryrefslogtreecommitdiffstats
path: root/Homeworks.md
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-10-29 19:04:41 +0100
committerNao Pross <np@0hm.ch>2023-10-29 19:04:41 +0100
commit54c087a997cd8408a69f6d46307de7651a6f8264 (patch)
treeb5e8b8c3f0cf38f21bfd588ec614fd86ec684a71 /Homeworks.md
parentPass TestFiniteMakePowerSet (diff)
downloadact4e-54c087a997cd8408a69f6d46307de7651a6f8264.tar.gz
act4e-54c087a997cd8408a69f6d46307de7651a6f8264.zip
Pass TestFinitePosetConstructionPower
also fix name in sets_power
Diffstat (limited to 'Homeworks.md')
-rw-r--r--Homeworks.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/Homeworks.md b/Homeworks.md
index e74ac23..faec500 100644
--- a/Homeworks.md
+++ b/Homeworks.md
@@ -38,8 +38,8 @@ $ make docker-check
- [X] TestFiniteGroupMorphismRepresentation
- [X] TestFiniteSemigroupMorphismsChecks
-- [ ] TestFinitePosetRepresentation
-- [ ] TestFinitePosetConstructionPower
+- [>] TestFinitePosetRepresentation
+- [X] TestFinitePosetConstructionPower
- [ ] TestFinitePosetSubsetProperties
- [ ] TestFinitePosetMeasurement
- [ ] TestFinitePosetConstructionProduct