From 31b2589cdfc2ff1a83fbc97d0882c493980fa14c Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sun, 29 Oct 2023 17:50:14 +0100 Subject: Pass TestFiniteMakePowerSet --- Homeworks.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Homeworks.md') diff --git a/Homeworks.md b/Homeworks.md index fc0c091..e74ac23 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -12,8 +12,8 @@ $ make docker-check - [X] TestFiniteSetRepresentation - [X] TestFiniteSetProperties -- [?] TestFiniteMakePowerSet - [X] TestFiniteMakeSetProduct +- [X] TestFiniteMakePowerSet - [X] TestFiniteSetRepresentationProduct - [?] TestFiniteMakeSetDisjointUnion @@ -36,7 +36,7 @@ $ make docker-check - [X] TestFiniteSemigroupMorphismRepresentation - [X] TestFiniteMonoidMorphismRepresentation - [X] TestFiniteGroupMorphismRepresentation -- [ ] TestFiniteSemigroupMorphismsChecks +- [X] TestFiniteSemigroupMorphismsChecks - [ ] TestFinitePosetRepresentation - [ ] TestFinitePosetConstructionPower -- cgit v1.2.1