diff options
| author | Nao Pross <np@0hm.ch> | 2023-11-05 16:10:02 +0100 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-11-05 16:10:02 +0100 |
| commit | 398cc877b2ae642114299c55c87e660290c046a0 (patch) | |
| tree | a23b34dde5aa8bf14c514e75727af564e63fdf9b | |
| parent | Fix MyFiniteSetDisjointUnion (diff) | |
| download | act4e-398cc877b2ae642114299c55c87e660290c046a0.tar.gz act4e-398cc877b2ae642114299c55c87e660290c046a0.zip | |
Update Homeworks.md
| -rw-r--r-- | Homeworks.md | 8 |
1 files changed, 4 insertions, 4 deletions
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 |