Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Random test failure in simplicial_sets #38888

Open
2 tasks done
tobiasdiez opened this issue Oct 30, 2024 · 3 comments · May be fixed by #38940
Open
2 tasks done

Random test failure in simplicial_sets #38888

tobiasdiez opened this issue Oct 30, 2024 · 3 comments · May be fixed by #38940
Labels

Comments

@tobiasdiez
Copy link
Contributor

Steps To Reproduce

No response

Expected Behavior

Tests pass

Actual Behavior

sage -t --warn-long 5.0 --random-seed=52078804102925852962925524043712901488 src/sage/categories/simplicial_sets.py
**********************************************************************
File "src/sage/categories/simplicial_sets.py", line 538, in sage.categories.simplicial_sets.SimplicialSets.Pointed.ParentMethods.cover
Failed example:
    C.face_data()
Expected:
    {(*, ()): None,
     (*, (1,2,3)): None,
     (*, (1,3,2)): None,
     (sigma_1, ()): ((*, (1,2,3)), (*, ())),
     (sigma_1, ()): ((*, (1,3,2)), (*, ())),
     (sigma_1, (1,2,3)): ((*, (1,3,2)), (*, (1,2,3))),
     (sigma_1, (1,2,3)): ((*, ()), (*, (1,2,3))),
     (sigma_1, (1,3,2)): ((*, ()), (*, (1,3,2))),
     (sigma_1, (1,3,2)): ((*, (1,2,3)), (*, (1,3,2)))}
Got:
    {(*, ()): None,
     (*, (1,2,3)): None,
     (*, (1,3,2)): None,
     (sigma_1, ()): ((*, (1,3,2)), (*, ())),
     (sigma_1, ()): ((*, (1,2,3)), (*, ())),
     (sigma_1, (1,2,3)): ((*, ()), (*, (1,2,3))),
     (sigma_1, (1,2,3)): ((*, (1,3,2)), (*, (1,2,3))),
     (sigma_1, (1,3,2)): ((*, (1,2,3)), (*, (1,3,2))),
     (sigma_1, (1,3,2)): ((*, ()), (*, (1,3,2)))}

Additional Information

No response

Environment

Linux: https://github.com/sagemath/sage/actions/runs/11589629492/job/32265510963

Checklist

  • I have searched the existing issues for a bug report that matches the one I want to file, without success.
  • I have read the documentation and troubleshoot guide
@miguelmarco
Copy link
Contributor

It seems to be the same dictionary, but presented in different order. Maybe some change in the python version?

@tobiasdiez
Copy link
Contributor Author

It happens across multiple python versions.

@dcoudert
Copy link
Contributor

dcoudert commented Nov 6, 2024

May be we should use something like that to make the test more robust ?

sage: res = C.domain().face_data()
sage: type(res)
<class 'dict'>
sage: sorted(res.items())
[((*, ()), None),
 ((*, (1,2,3)), None),
 ((*, (1,3,2)), None),
 ((sigma_1, ()), ((*, (1,2,3)), (*, ()))),
 ((sigma_1, ()), ((*, ()), (*, ()))),
 ((sigma_1, (1,2,3)), ((*, (1,3,2)), (*, (1,2,3)))),
 ((sigma_1, (1,2,3)), ((*, (1,2,3)), (*, (1,2,3)))),
 ((sigma_1, (1,3,2)), ((*, ()), (*, (1,3,2)))),
 ((sigma_1, (1,3,2)), ((*, (1,3,2)), (*, (1,3,2))))]

or

sage: {k: res[k] for k in sorted(res)}
{(*, ()): None,
 (*, (1,2,3)): None,
 (*, (1,3,2)): None,
 (sigma_1, ()): ((*, (1,2,3)), (*, ())),
 (sigma_1, ()): ((*, ()), (*, ())),
 (sigma_1, (1,2,3)): ((*, (1,3,2)), (*, (1,2,3))),
 (sigma_1, (1,2,3)): ((*, (1,2,3)), (*, (1,2,3))),
 (sigma_1, (1,3,2)): ((*, ()), (*, (1,3,2))),
 (sigma_1, (1,3,2)): ((*, (1,3,2)), (*, (1,3,2)))}

@user202729 user202729 linked a pull request Nov 8, 2024 that will close this issue
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants