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
Part of the problem is that BooleanMonomialMonoid is a monoid and not a ring.
So there cannot be a coercion from ZZ to the BooleanMonomialMonoid. There could be a coercion to the common parent P but that requires a pushout construction...
Retarging tickets optimistically to the next milestone. If you are responsible for this ticket (either its reporter or owner) and don't believe you are likely to complete this ticket before the next release (8.7) please retarget this ticket's milestone to sage-pending or sage-wishlist.
As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).
Demonstration:
Note that this behavior is inconsistent with the behavior for polynomial rings over finite fields:
In the context of converting polynomials to lists, this has understandably caused confusion for at least one user on Ask SageMath.
Component: algebra
Keywords: BooleanMonomial, monomial, equality
Issue created by migration from https://trac.sagemath.org/ticket/27019
The text was updated successfully, but these errors were encountered: