summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-10-17 19:55:12 +0200
committerNao Pross <np@0hm.ch>2023-10-17 19:55:12 +0200
commitd6788202d19eb958a4263025128d524fe4d51cea (patch)
tree3659930b3f38df7865814ea38172a8a85d78b0e8
parentPass TestFiniteRelationOperations (diff)
downloadact4e-d6788202d19eb958a4263025128d524fe4d51cea.tar.gz
act4e-d6788202d19eb958a4263025128d524fe4d51cea.zip
Update Homeworks.md
-rw-r--r--Homeworks.md50
1 files changed, 45 insertions, 5 deletions
diff --git a/Homeworks.md b/Homeworks.md
index 79eb7b2..c0eaacc 100644
--- a/Homeworks.md
+++ b/Homeworks.md
@@ -6,12 +6,52 @@ $ colima start
$ make docker-check
```
-## Week 1
+## Exercises for Oct. 30
+
+- [X] TestSimpleIntro
- [X] TestFiniteSetRepresentation
- [X] TestFiniteSetProperties
+- [?] TestFiniteMakePowerSet
- [X] TestFiniteMakeSetProduct
-- [ ] TestFiniteMapRepresentation
-- [ ] TestFiniteMapOperations
-- [ ] TestFiniteSetRepresentation
-- [ ] TestFiniteRelationProperties
+- [X] TestFiniteSetRepresentationProduct
+- [?] TestFiniteMakeSetDisjointUnion
+
+- [X] TestFiniteMapRepresentation
+- [X] TestFiniteMapOperations
+
+- [X] TestFiniteRelationRepresentation
+- [X] TestFiniteRelationCompose
+- [X] TestFiniteRelationProperties
+- [X] TestFiniteRelationOperations
+
+- [?] TestFiniteEndorelationProperties
+- [?] TestFiniteEndorelationOperations
+
+- [ ] TestFiniteSemigroupRepresentation
+- [ ] TestFiniteSemigroupConstruct
+- [ ] TestFiniteMonoidRepresentation
+- [ ] TestFiniteGroupRepresentation
+
+- [ ] TestFiniteSemigroupMorphismRepresentation
+- [ ] TestFiniteMonoidMorphismRepresentation
+- [ ] TestFiniteGroupMorphismRepresentation
+- [ ] TestFiniteSemigroupMorphismsChecks
+
+- [ ] TestFinitePosetRepresentation
+- [ ] TestFinitePosetConstructionPower
+- [ ] TestFinitePosetSubsetProperties
+- [ ] TestFinitePosetMeasurement
+- [ ] TestFinitePosetConstructionProduct
+- [ ] TestFinitePosetConstructionSum
+- [ ] TestFinitePosetConstructionOpposite
+- [ ] TestFinitePosetConstructionTwisted
+- [ ] TestFinitePosetConstructionArrow
+
+- [ ] TestFiniteMonotoneMapProperties
+
+## Exercises for Nov. 20
+
+- [ ] TestSemiCategoryRepresentation
+- [ ] TestCurrencyOptimization
+- [ ] TestFinitePosetMinMax