Commits · ParseMorphism · Software / CoPaR

Jul 28, 2020
- refactor printFactor · a0f70d2d
  Bastian Kauschke authored 4 years ago
  
  a0f70d2d
- update tests · b1d2a7f1
  Bastian Kauschke authored 4 years ago
  
  b1d2a7f1
- add minimize command · 80ad7fed
  Bastian Kauschke authored 4 years ago
  
  80ad7fed
- implement PrintMorphism for all functors · 47afebfd
  Bastian Kauschke authored 4 years ago
  
  47afebfd
- introduce PrintMorphism · 8d95f59a
  Bastian Kauschke authored 4 years ago
  
  8d95f59a
- add example · 804c2989
  Bastian Kauschke authored 4 years ago
  
  804c2989
Jun 25, 2020
- remove printMorphismPoint from ParseMorphism · a45aaa41
  Bastian Kauschke authored 4 years ago
  
  a45aaa41
Jun 23, 2020
- remove Printable · 92a63e1b
  Bastian Kauschke authored 4 years ago
  
  92a63e1b
- update tests · 6760be29
  Bastian Kauschke authored 4 years ago and Bastian Kauschke committed 4 years ago
  
  6760be29
- use FunctorDescription precedence · 89199390
  Bastian Kauschke authored 4 years ago and Bastian Kauschke committed 4 years ago
  
  89199390
Jun 03, 2020
- update benchmarks · a5d8af4a
  Bastian Kauschke authored 4 years ago
  
  a5d8af4a
- update tests · f45a0ba5
  Bastian Kauschke authored 4 years ago
  
  f45a0ba5
- use single list in `parseFunctorExpression` · 5e8a310c
  Bastian Kauschke authored 4 years ago
  
  5e8a310c
- add type alias for group values functor · 2bba8185
  Bastian Kauschke authored 4 years ago
  
  2bba8185
- add type alias for monoid valued · e1ae6bbf
  Bastian Kauschke authored 4 years ago
  
  e1ae6bbf
- change FunctorDescription to a type class · e5e572ff
  Bastian Kauschke authored 4 years ago
  
  e5e572ff
- Merge branch 'rigrag' · 5aa9b0c5
  Hans-Peter Deifel authored 4 years ago
  
  5aa9b0c5
Jun 02, 2020
- Use Z in zigzag · 2ce5245f
  Thorsten Wißmann authored 4 years ago
  2ce5245f
May 26, 2020
- Merge branch 'remove-pretty' [#25] · 23e62cf2
  Hans-Peter Deifel authored 4 years ago
  
  23e62cf2
- remove showSorts, rename sortAsScope · 27e54c1e
  Bastian Kauschke authored 4 years ago
  
  27e54c1e
May 25, 2020
- update PrettyTests · 0480c31a
  Bastian Kauschke authored 4 years ago
  
  0480c31a
- prettyImpl · 7beb23c9
  Bastian Kauschke authored 4 years ago
  
  7beb23c9
- fix typos · 8cf7bf2d
  Bastian Kauschke authored 4 years ago
  
  8cf7bf2d
May 20, 2020
- Merge branch 'omit-braces' [#24] · bc724890
  Hans-Peter Deifel authored 4 years ago
  
  bc724890
- omit braces in AbsorbingPolynomial · 886da5c9
  Bastian Kauschke authored 4 years ago
  
  886da5c9
May 18, 2020
- printParseableFunctor: omit unnecessary braces · f757c731
  Bastian Kauschke authored 4 years ago
  
  f757c731
- Merge branch 'print-functor' [#23] · f80b10c8
  Hans-Peter Deifel authored 4 years ago
  
  f80b10c8
- add tests for printParseableFunctor · 3c59ac8e
  Bastian Kauschke authored 5 years ago
  
  3c59ac8e
May 15, 2020
- implement Eq1 for all functors · beb6a13d
  Bastian Kauschke authored 5 years ago
  
  beb6a13d
May 13, 2020
- Merge branch 'group-valued-int' into 'master' · 88ad3ed0
  Hans-Peter Deifel authored 5 years ago
  88ad3ed0
- add test for int-valued · fe31375c
  Bastian Kauschke authored 5 years ago
  
  fe31375c
- typo · a60c45e2
  Bastian Kauschke authored 5 years ago
  
  a60c45e2
- correctly parse `Z^X` as int-valued · 77b34556
  Bastian Kauschke authored 5 years ago
  
  77b34556
May 12, 2020
- add tests for Lexer.name · ec4013e5
  Bastian Kauschke authored 5 years ago
  
  ec4013e5
May 11, 2020
- update functors · ab6f7674
  Bastian Kauschke authored 5 years ago
  
  ab6f7674
- add config argument to `Printable.printMe` · 0f864c7a
  Bastian Kauschke authored 5 years ago
  
  0f864c7a
- add an example for weird names · 42b6b693
  Bastian Kauschke authored 5 years ago
  
  42b6b693
May 10, 2020
- allow names starting with digits · 9f2fc80c
  Bastian Kauschke authored 5 years ago
  
  9f2fc80c
May 06, 2020
- Merge branch 'print-functor' into 'master' · 22c05629
  Hans-Peter Deifel authored 5 years ago
  22c05629
- use custom print-functor impl · 6e30c68a
  Bastian Kauschke authored 5 years ago
  
  6e30c68a