diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-29 17:50:14 +0100 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-29 17:50:14 +0100 |
| commit | 31b2589cdfc2ff1a83fbc97d0882c493980fa14c (patch) | |
| tree | 7195ff662295fb942f48d41985b53dafce817920 /Homeworks.md | |
| parent | Pass TestFiniteSemigroupMorphismsChecks (diff) | |
| download | act4e-31b2589cdfc2ff1a83fbc97d0882c493980fa14c.tar.gz act4e-31b2589cdfc2ff1a83fbc97d0882c493980fa14c.zip | |
Pass TestFiniteMakePowerSet
Diffstat (limited to '')
| -rw-r--r-- | Homeworks.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 |