# 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
|
|
| 344 | 344 | """ |
| 345 | 345 | Decorator to force a reduced Singular groebner basis. |
| 346 | 346 | |
| | 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 | |
| 347 | 355 | .. note:: |
| 348 | 356 | |
| 349 | 357 | This decorator is used automatically internally so the user |
| … |
… |
|
| 355 | 363 | """ |
| 356 | 364 | with RedSBContext(): |
| 357 | 365 | return func(*args, **kwds) |
| | 366 | |
| | 367 | from sage.misc.sageinspect import sage_getsource |
| | 368 | wrapper._sage_src_ = lambda: sage_getsource(func) |
| 358 | 369 | wrapper.__doc__=func.__doc__ |
| 359 | 370 | return wrapper |
| 360 | 371 | |