summaryrefslogtreecommitdiffstats
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'template/alphubel-prod' into alphubel-prodNao Pross2023-11-161-0/+12
|\
| * miscAndrea Censi2023-11-011-0/+12
| |
| * miscAndrea Censi2023-11-012-3/+44
| |
| * miscAndrea Censi2023-10-181-0/+16
| |
| * added templateAndrea Censi2022-03-151-0/+27
| |
| * more exercisesAndrea Censi2022-02-2610-107/+21
| |
| * more commentsAndrea Censi2022-02-232-3/+3
| |
| * mergeAndrea Censi2022-02-227-8/+2
| |\
| | * updatesAndrea Censi2022-02-227-9/+4
| | |
| * | more commentsAndrea Censi2022-02-229-31/+33
| |/
| * skeletonsAndrea Censi2022-02-2122-50/+42
| |
| * skeletonsAndrea Censi2022-02-2124-0/+499
| |
| * FirstAndrea Censi2021-02-201-0/+0
|
* 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
| | | | | TestFinitePosetRepresentation TestFinitePosetConstructionSum
* 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
| | | | Bug was caused by YAML bugfix
* Fix MyFinitePosetNao Pross2023-11-043-10/+151
| | | | | | | | Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct
* Pass TestFinitePosetConstructionPowerNao Pross2023-10-293-6/+80
| | | | also fix name in sets_power
* Pass TestFiniteMakePowerSetNao Pross2023-10-292-3/+63
|
* Pass TestFiniteSemigroupMorphismsChecksNao Pross2023-10-222-6/+142
|
* Pass Semigroups and Groups representationsNao Pross2023-10-201-6/+108
| | | | TestFiniteSemigroupRepresentation TestFiniteSemigroupConstruct TestFiniteMonoidRepresentation TestFiniteGroupRepresentation
* Pass TestFiniteRelationOperationsNao Pross2023-10-171-2/+12
|
* Fix bug to pass TestFiniteMapRepresentationNao Pross2023-10-171-16/+20
|
* Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, ↵Nao Pross2023-10-172-8/+102
| | | | TestFiniteRelationProperties
* 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-22 00:28:20 +0100