poly icon indicating copy to clipboard operation
poly copied to clipboard

Fix tests against QuickCheck-2.14.3

Open Bodigrim opened this issue 2 years ago • 0 comments

All
  Orthogonal
    differential equations
      jacobi:                                           FAIL (0.01s)
        *** Failed! Exception: 'Ratio has zero denominator' (after 8 tests and 1 shrink):
        (-16) % 3
        4 % 3
        Exception thrown while showing test case: 'Ratio has zero denominator'
        Use --quickcheck-replay=431599 to reproduce.
        Use -p '/differential equations.jacobi/' to rerun this test only.
      gegenbauer:                                       FAIL
        *** Failed! Exception: 'Ratio has zero denominator' (after 2 tests):
        (-1) % 1
        Exception thrown while showing test case: 'Ratio has zero denominator'
        Use --quickcheck-replay=143703 to reproduce.
        Use -p '/differential equations.gegenbauer/' to rerun this test only.
    normalization
      jacobi:                                           FAIL
        *** Failed! Exception: 'Ratio has zero denominator' (after 4 tests):
        (-2) % 1
        0 % 1
        Exception thrown while showing test case: 'Ratio has zero denominator'
        Use --quickcheck-replay=550024 to reproduce.
        Use -p '/normalization.jacobi/' to rerun this test only.
      gegenbauer:                                       FAIL
        *** Failed! Exception: 'Ratio has zero denominator' (after 2 tests):
        (-1) % 1
        Exception thrown while showing test case: 'Ratio has zero denominator'
        Use --quickcheck-replay=16628 to reproduce.
        Use -p '/normalization.gegenbauer/' to rerun this test only.
  MultiLaurent
    eval
      eval (p + q) r = eval p r + eval q r:             FAIL
        *** Failed! Exception: 'Ratio has zero denominator' (after 6 tests and 16 shrinks):
        ShortPoly {unShortPoly = 0}
        ShortPoly {unShortPoly = 1 % 1 * X^-1}
        Vector [0 % 1,0 % 1,0 % 1]
        Exception thrown while showing test case: 'Ratio has zero denominator'
        Use --quickcheck-replay=671565 to reproduce.
        Use -p '/MultiLaurent.eval.eval (p + q) r = eval p r + eval q r/' to rerun this test only.

5 out of 1164 tests failed (19.68s)

Bodigrim avatar Jun 08 '23 21:06 Bodigrim