Ticket #11019: trac_11019.patch

File trac_11019.patch, 1.1 KB (added by malb, 8 years ago)
  • sage/rings/polynomial/pbori.pyx

    # HG changeset patch
    # User Martin Albrecht <martinralbrecht@googlemail.com>
    # Date 1301002923 -3600
    # Node ID 4ad587aa968693a153d8f0728988220e282c423f
    # Parent  cac580a6fa97a328167df596b7cdeefe61fb5605
    B(0).lex_lead() shouldn't crash for B a Boolean polynomial (#11019)
    
    diff -r cac580a6fa97 -r 4ad587aa9686 sage/rings/polynomial/pbori.pyx
    a b  
    37383738            sage: (x+y+y*z).lex_lead()
    37393739            x
    37403740       
    3741         ::
    3742        
    37433741            sage: P.<x,y,z> = BooleanPolynomialRing(3, order='deglex')
    37443742            sage: (x+y+y*z).lex_lead()
    37453743            x
    37463744
     3745            sage: P(0).lex_lead()
     3746            0
     3747
    37473748        .. note::
    37483749
    37493750           This function is part of the upstream PolyBoRi interface.
    37503751        """
     3752        if self._pbpoly.isZero():
     3753            return self._parent._zero_element
     3754
    37513755        return new_BM_from_PBMonom(self._parent._monom_monoid, self._parent,
    37523756                                                self._pbpoly.lexLead())
    37533757    def lex_lead_deg(self):