Opened 14 months ago

Last modified 4 months ago

#32118 new defect

AlgebraicForm checks invariance with random matrix that can be the identity

Reported by: gh-kliem Owned by:
Priority: major Milestone: sage-9.7
Component: algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by gh-mwageringel) 

sage -t --long --warn-long 62.5 --random-seed=3017 src/sage/rings/invariants/invariant_theory.py
**********************************************************************
File "src/sage/rings/invariants/invariant_theory.py", line 605, in sage.rings.invariants.invariant_theory.AlgebraicForm._check_covariant
Failed example:
    quartic._check_covariant('h_covariant', invariant=True)
Expected:
    Traceback (most recent call last):
    ...
    AssertionError: not invariant
Got:
    <BLANKLINE>
**********************************************************************
1 item had failures:
   1 of   7 in sage.rings.invariants.invariant_theory.AlgebraicForm._check_covariant
    [890 tests, 1 failure, 4.77 s]

This is because invariance is checked with a random matrix. This is not deterministic, but the doctest claims it is.

In #29979, a doctest was marked not tested because of this.

Change History (4)

comment:1 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:2 Changed 12 months ago by gh-mwageringel

  • Description modified (diff)

comment:3 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:4 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.