You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Dec 1, 2020. It is now read-only.
In sage 9.2 "sage-brial" will indeed be part of sage itself. At this stage fixing the warnings may be work for sage-9.3 if they are still there in 9.2.
I can include a fix in the 1.2.x series of brial if that is useful to you to maintain sage 9.1 in debian. I will remove the sage-brial folder in brial-1.3.x which will depend on fixing issues with cudd.
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The error in the title is what happens on Debian with the tentative update of the brial package to version 1.2.10.
The problem is that in ./sage-brial/brial/PyPolyBoRi.py, line 72, there is:
and order_dict isn't really a dict, but a sage lazy import.
I can get around the issue by casting order_dict to a dict explicitly, but then I get deprecation warnings and pointers to this sage ticket.
I guess that problem will be gone when sage-brial won't be in brial anymore?
The text was updated successfully, but these errors were encountered: