ethz/act4e - Applied Category Theory for Engineering 1 Maker Track @ ETHZ

	Commit message (Expand)	Author	Files	Lines
2023-11-16	Fix bug when uptolevel is None	Nao Pross	1	-2/+5
2023-11-16	Remove unused Morph and Obj, use equations	Nao Pross	1	-28/+42
2023-11-16	Pass TestSemiCategoryRepresentation	Nao Pross	1	-94/+69
2023-11-15	Mostly pass TestSemiCategoryRepresentation	Nao Pross	1	-0/+166
2023-11-05	Fix MyFiniteSetDisjointUnion	Nao Pross	1	-3/+3
2023-11-05	Fix MyFiniteSetDisjointUnion and pass more tests	Nao Pross	3	-15/+45
2023-11-05	Pass TestFiniteMakeSetDisjointUnion	Nao Pross	1	-2/+42
2023-11-05	Pass TestFinitePosetConstructionProduct	Nao Pross	2	-2/+6
2023-11-05	Pass TestFiniteMonotoneMapProperties	Nao Pross	2	-3/+20
2023-11-05	Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentation	Nao Pross	1	-18/+2
2023-11-04	Fix MyFinitePoset	Nao Pross	3	-10/+151
2023-10-29	Pass TestFinitePosetConstructionPower	Nao Pross	3	-6/+80
2023-10-29	Pass TestFiniteMakePowerSet	Nao Pross	2	-3/+63
2023-10-22	Pass TestFiniteSemigroupMorphismsChecks	Nao Pross	2	-6/+142
2023-10-20	Pass Semigroups and Groups representations	Nao Pross	1	-6/+108
2023-10-17	Pass TestFiniteRelationOperations	Nao Pross	1	-2/+12
2023-10-17	Fix bug to pass TestFiniteMapRepresentation	Nao Pross	1	-16/+20
2023-10-17	Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR...	Nao Pross	2	-8/+102
2023-10-17	Pass TestFiniteMapRepresentation and TestFiniteMapOperations	Nao Pross	2	-16/+48
2023-10-10	Sketch TestFiniteMapRepresentation	Nao Pross	3	-8/+69
2023-10-10	Implement loading of set products in SolFiniteSetRepresentation	Nao Pross	1	-7/+27
2023-10-10	Pass TestFiniteMakeSetProduct	Nao Pross	1	-4/+74
2023-10-04	Pass TestFiniteSetProperties	Nao Pross	1	-1/+7
2023-10-04	Pass TestFiniteSetRepresentation	Nao Pross	1	-3/+36
2023-10-04	Pass TestSimpleIntro	Nao Pross	1	-1/+1