sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.2k stars 413 forks source link

Creating multivariate polynomial rings change singular's global state #13059

Open roed314 opened 12 years ago

roed314 commented 12 years ago

The following seems bad. It was revealed by the change in doctest framework at #12415. That ticket introduces a workaround (just resetting opt['red_tail'] to True).

sage: from sage.libs.singular.option import opt
sage: opt['red_tail']
True
sage: Rlocal.<x,y,z> = PolynomialRing(QQ, order='ds')
sage: opt['red_tail']
False

CC: @jpflori @sagetrac-jakobkroeker

Component: commutative algebra

Issue created by migration from https://trac.sagemath.org/ticket/13059

roed314 commented 12 years ago
comment:1

J.groebner_basis(mult_bound=100) also resets opt['red_tail'], but J.groebner_basis() doesn't.