Ticket #4324: pbori_bugfix.patch

File pbori_bugfix.patch, 1.0 KB (added by malb, 17 months ago)

  • sage/rings/polynomial/pbori.pyx 

    # HG changeset patch
# User Martin Albrecht <malb@informatik.uni-bremen.de>
# Date 1224431382 -7200
# Node ID 353b296e54215cba2bf43746b0f5a24b4f80903f
# Parent  fefa05dce980e7c0cffefb1ba62c9e07dad540f0
fix GroebnerStrategy storage when computingh PolyBoRi GB

diff -r fefa05dce980 -r 353b296e5421 sage/rings/polynomial/pbori.pyx
    a b  
    32543254            I = I.gens() 
    32553255        g = GroebnerStrategy() 
    32563256        for p in I: 
    3257             g.addGenerator(p) 
     3257            g.addAsYouWish(p) 
    32583258        return red_tail(g, g.nf(self)) 
    32593259 
    32603260cdef class BooleanPolynomialIterator: 
    … …  
    33903390        if kwds.get("deg_bound", False) is False: 
    33913391            g = GroebnerStrategy() 
    33923392            for p in gb: 
    3393                 g.addGenerator(p) 
     3393                g.addAsYouWish(p) 
    33943394            g.optRedTail=True 
    33953395            self.__gb = g 
    33963396        return Sequence(gb, self.ring(), check=False, immutable=True)