Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
11187: Fixed heisenbug caused by temporarily breaking the implementat…
Browse files Browse the repository at this point in the history
…ion of (co)degrees for testing without restoring it after
  • Loading branch information
nthiery committed Apr 12, 2016
1 parent 82ff288 commit c09cd4d
Showing 1 changed file with 17 additions and 4 deletions.
21 changes: 17 additions & 4 deletions src/sage/categories/finite_complex_reflection_groups.py
Original file line number Diff line number Diff line change
Expand Up @@ -195,10 +195,11 @@ def _test_degrees(self, **options):
Reducible real reflection group of rank 4 and type A2 x B2
sage: W._test_degrees()
sage: SymmetricGroup(3)._test_degrees()
sage: W = SymmetricGroup(5)
sage: W._test_degrees()
We now break the implementation of W.degrees and check that this is caught::
sage: W = SymmetricGroup(5)
sage: W.degrees = lambda: (1/1,5)
sage: W._test_degrees()
Traceback (most recent call last):
Expand All @@ -211,6 +212,11 @@ def _test_degrees(self, **options):
...
AssertionError: the degrees should be larger than 2
We restore W to its normal state::
sage: del W.degrees
sage: W._test_degrees()
See the documentation for :class:`TestSuite` for more information.
"""
from sage.structure.element import parent
Expand Down Expand Up @@ -244,9 +250,11 @@ def _test_codegrees(self, **options):
Reducible real reflection group of rank 4 and type A2 x B2
sage: W._test_codegrees()
sage: SymmetricGroup(3)._test_codegrees()
sage: W = SymmetricGroup(5)
sage: W._test_codegrees()
We now break the implementation of W.degrees and check that this is caught::
sage: W.codegrees = lambda: (1/1,5)
sage: W._test_codegrees()
Traceback (most recent call last):
Expand All @@ -259,6 +267,11 @@ def _test_codegrees(self, **options):
...
AssertionError: the codegrees should be nonnegative
We restore W to its normal state::
sage: del W.codegrees
sage: W._test_codegrees()
See the documentation for :class:`TestSuite` for more information.
"""
from sage.structure.element import parent
Expand Down

0 comments on commit c09cd4d

Please sign in to comment.