Commits · 7cbe4dbc5831e1c7e523a4a2fcff93ee6e27e823 · Software / CoPaR

Jul 02, 2020
- Fix markdown link · 7cbe4dbc
  Thorsten Wißmann authored 4 years ago
  
  7cbe4dbc
- More documentation mentioning literature · caaf71e5
  Thorsten Wißmann authored 4 years ago
  
  caaf71e5
Jun 23, 2020
- Merge branch 'FunctorDescription' [#28] · 632f9f24
  Hans-Peter Deifel authored 4 years ago
  
  632f9f24
- 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
- Merge branch 'FunctorDescription' [#26] · cabf9b4c
  Hans-Peter Deifel authored 4 years ago
  
  cabf9b4c
- 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 5 years ago
  
  bc724890
- omit braces in AbsorbingPolynomial · 886da5c9
  Bastian Kauschke authored 5 years ago
  
  886da5c9
May 18, 2020
- printParseableFunctor: omit unnecessary braces · f757c731
  Bastian Kauschke authored 5 years ago
  
  f757c731
- Merge branch 'print-functor' [#23] · f80b10c8
  Hans-Peter Deifel authored 5 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
- impl Printable for FunctorExpressions · d13f8db4
  Bastian Kauschke authored 5 years ago
  
  d13f8db4
- introduce custom architecture for print-functor · dc74bd5b
  Bastian Kauschke authored 5 years ago
  
  dc74bd5b
- fix Pair docs · 21191f8c
  Bastian Kauschke authored 5 years ago
  
  21191f8c