summaryrefslogtreecommitdiffstats
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix bug when uptolevel is NoneNao Pross2023-11-161-2/+5
* Remove unused Morph and Obj, use equationsNao Pross2023-11-161-28/+42
* Pass TestSemiCategoryRepresentationNao Pross2023-11-161-94/+69
* Mostly pass TestSemiCategoryRepresentationNao Pross2023-11-151-0/+166
* 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-052-3/+20
* Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentationNao Pross2023-11-051-18/+2
* Fix MyFinitePosetNao Pross2023-11-043-10/+151
* Pass TestFinitePosetConstructionPowerNao Pross2023-10-293-6/+80
* Pass TestFiniteMakePowerSetNao Pross2023-10-292-3/+63
* Pass TestFiniteSemigroupMorphismsChecksNao Pross2023-10-222-6/+142
* Pass Semigroups and Groups representationsNao Pross2023-10-201-6/+108
* 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-103-8/+69
* Implement loading of set products in SolFiniteSetRepresentationNao Pross2023-10-101-7/+27
* Pass TestFiniteMakeSetProductNao Pross2023-10-101-4/+74
* Pass TestFiniteSetPropertiesNao Pross2023-10-041-1/+7
* Pass TestFiniteSetRepresentationNao Pross2023-10-041-3/+36
* Pass TestSimpleIntroNao Pross2023-10-041-1/+1
* Initial commitgithub-classroom[bot]2023-10-0426-0/+428
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-24 03:10:45 +0100