Open
Description
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)
Metadata
Assignees
Labels
No labels
Activity