Ticket #4958: redsb_context_source.patch

File redsb_context_source.patch, 1.2 KB (added by malb, 4 years ago)
  • sage/rings/polynomial/multi_polynomial_ideal.py

    # HG changeset patch
    # User Martin Albrecht <malb@informatik.uni-bremen.de>
    # Date 1240837206 -3600
    # Node ID 2ff8222cb296a630aa5fd01079f3b4dfededeed6
    # Parent  f6e9710e2245a5014052e6e2e914105ffee1f051
    MPolynomialIdeal.reduced_basis?? returns correct source now
    
    diff -r f6e9710e2245 -r 2ff8222cb296 sage/rings/polynomial/multi_polynomial_ideal.py
    a b  
    344344    """ 
    345345    Decorator to force a reduced Singular groebner basis. 
    346346     
     347    TESTS:: 
     348 
     349        sage: P.<a,b,c,d,e> = PolynomialRing(GF(127)) 
     350        sage: J = sage.rings.ideal.Cyclic(P).homogenize() 
     351        sage: from sage.misc.sageinspect import sage_getsource 
     352        sage: "buchberger" in sage_getsource(J.interreduced_basis) 
     353        True 
     354 
    347355    .. note:: 
    348356 
    349357       This decorator is used automatically internally so the user 
     
    355363        """ 
    356364        with RedSBContext(): 
    357365            return func(*args, **kwds) 
     366 
     367    from sage.misc.sageinspect import sage_getsource  
     368    wrapper._sage_src_ = lambda: sage_getsource(func) 
    358369    wrapper.__doc__=func.__doc__ 
    359370    return wrapper 
    360371