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
Closing this in favour of #2. @JeffreySarnoff Any suggestions are of course appreciated. FYI we are doing Integers + Infinity as InfExtendedInteger as well as extended real lines, complex's, etc.
I know people have wanted Integer with Infinity.
The text was updated successfully, but these errors were encountered: