summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix bug when uptolevel is NoneNao Pross2023-11-161-2/+5
* Remove unused Morph and Obj, use equationsNao Pross2023-11-162-29/+43
* Pass TestSemiCategoryRepresentationNao Pross2023-11-161-94/+69
* Mostly pass TestSemiCategoryRepresentationNao Pross2023-11-151-0/+166
* Update Homeworks.mdNao Pross2023-11-051-4/+4
* Fix MyFiniteSetDisjointUnionNao Pross2023-11-051-3/+3
* Fix MyFiniteSetDisjointUnion and pass more testsNao Pross2023-11-053-15/+45
* Pass TestFiniteMakeSetDisjointUnionNao Pross2023-11-051-2/+42
* Pass TestFinitePosetConstructionProductNao Pross2023-11-052-2/+6
* Pass TestFiniteMonotoneMapPropertiesNao Pross2023-11-053-5/+22
* Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentationNao Pross2023-11-051-18/+2
* Fix MyFinitePosetNao Pross2023-11-044-17/+158
* Pass TestFinitePosetConstructionPowerNao Pross2023-10-294-8/+82
* Pass TestFiniteMakePowerSetNao Pross2023-10-293-5/+65
* Pass TestFiniteSemigroupMorphismsChecksNao Pross2023-10-223-14/+150
* Pass Semigroups and Groups representationsNao Pross2023-10-201-6/+108
* Update Homeworks.mdNao Pross2023-10-171-5/+45
* Pass TestFiniteRelationOperationsNao Pross2023-10-171-2/+12
* Fix bug to pass TestFiniteMapRepresentationNao Pross2023-10-171-16/+20
* Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR...Nao Pross2023-10-172-8/+102
* Pass TestFiniteMapRepresentation and TestFiniteMapOperationsNao Pross2023-10-172-16/+48
* Sketch TestFiniteMapRepresentationNao Pross2023-10-104-9/+70
* Implement loading of set products in SolFiniteSetRepresentationNao Pross2023-10-102-8/+28
* Pass TestFiniteMakeSetProductNao Pross2023-10-102-5/+75
* Setup file to keep track of homeworks and create shorthand in makefileNao Pross2023-10-052-1/+23
* Pass TestFiniteSetPropertiesNao Pross2023-10-041-1/+7
* Pass TestFiniteSetRepresentationNao Pross2023-10-041-3/+36
* Pass TestSimpleIntroNao Pross2023-10-041-1/+1
* Change Makefile to not use fat VS Code docker imageNao Pross2023-10-041-1/+2
* add online IDE urlgithub-classroom[bot]2023-10-041-0/+1
* Setting up GitHub Classroom Feedbackgithub-classroom[bot]2023-10-040-0/+0
* GitHub Classroom Feedbackgithub-classroom[bot]2023-10-041-0/+0
* GitHub Classroom Autograding Workflowgithub-classroom[bot]2023-10-041-0/+19
* GitHub Classroom Autogradinggithub-classroom[bot]2023-10-041-0/+14
* Initial commitgithub-classroom[bot]2023-10-0439-0/+689
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-21 20:15:18 +0100