summaryrefslogtreecommitdiffstats
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-16Pass TestSemiCategoryRepresentationNao Pross1-94/+69
2023-11-15Mostly pass TestSemiCategoryRepresentationNao Pross1-0/+166
2023-11-05 Fix MyFiniteSetDisjointUnionNao Pross1-3/+3
2023-11-05Fix MyFiniteSetDisjointUnion and pass more testsNao Pross3-15/+45
2023-11-05Pass TestFiniteMakeSetDisjointUnionNao Pross1-2/+42
2023-11-05Pass TestFinitePosetConstructionProductNao Pross2-2/+6
2023-11-05Pass TestFiniteMonotoneMapPropertiesNao Pross2-3/+20
2023-11-05Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentationNao Pross1-18/+2
2023-11-04Fix MyFinitePosetNao Pross3-10/+151
2023-10-29Pass TestFinitePosetConstructionPowerNao Pross3-6/+80
2023-10-29Pass TestFiniteMakePowerSetNao Pross2-3/+63
2023-10-22Pass TestFiniteSemigroupMorphismsChecksNao Pross2-6/+142
2023-10-20Pass Semigroups and Groups representationsNao Pross1-6/+108
2023-10-17Pass TestFiniteRelationOperationsNao Pross1-2/+12
2023-10-17Fix bug to pass TestFiniteMapRepresentationNao Pross1-16/+20
2023-10-17Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR...Nao Pross2-8/+102
2023-10-17Pass TestFiniteMapRepresentation and TestFiniteMapOperationsNao Pross2-16/+48
2023-10-10Sketch TestFiniteMapRepresentationNao Pross3-8/+69
2023-10-10Implement loading of set products in SolFiniteSetRepresentationNao Pross1-7/+27
2023-10-10Pass TestFiniteMakeSetProductNao Pross1-4/+74
2023-10-04Pass TestFiniteSetPropertiesNao Pross1-1/+7
2023-10-04Pass TestFiniteSetRepresentationNao Pross1-3/+36
2023-10-04Pass TestSimpleIntroNao Pross1-1/+1
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-29 06:12:16 +0100