From 398cc877b2ae642114299c55c87e660290c046a0 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sun, 5 Nov 2023 16:10:02 +0100 Subject: Update Homeworks.md --- Homeworks.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Homeworks.md') diff --git a/Homeworks.md b/Homeworks.md index f730c5f..e208388 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -15,7 +15,7 @@ $ make docker-check - [X] TestFiniteMakeSetProduct - [X] TestFiniteMakePowerSet - [X] TestFiniteSetRepresentationProduct -- [?] TestFiniteMakeSetDisjointUnion +- [X] TestFiniteMakeSetDisjointUnion - [X] TestFiniteMapRepresentation - [X] TestFiniteMapOperations @@ -38,12 +38,12 @@ $ make docker-check - [X] TestFiniteGroupMorphismRepresentation - [X] TestFiniteSemigroupMorphismsChecks -- [>] TestFinitePosetRepresentation +- [X] TestFinitePosetRepresentation - [X] TestFinitePosetConstructionPower -- [>] TestFinitePosetSubsetProperties +- [X] TestFinitePosetSubsetProperties - [?] TestFinitePosetMeasurement - [X] TestFinitePosetConstructionProduct -- [?] TestFinitePosetConstructionSum +- [X] TestFinitePosetConstructionSum - [X] TestFinitePosetConstructionOpposite - [?] TestFinitePosetConstructionTwisted - [?] TestFinitePosetConstructionArrow -- cgit v1.2.1