Re: [sage-devel] Re: Help with matroids (and more generally?), PR #36492

2023-11-22 Thread Dima Pasechnik
On Wed, Nov 22, 2023 at 8:29 AM Aram Dermenjian wrote: > > There is currently a project that is in progress for getting (usual) oriented > matroids into sage. It's still a work in progress, but an initial version is > close to done. (See https://github.com/thecaligarmo/oriented_matroids for the

[sage-devel] Re: Workaround for converting variables into the InfinitePolynomialRing

2023-11-22 Thread 'Martin R' via sage-devel
from sage.rings.polynomial.infinite_polynomial_element import InfinitePolynomial_dense is my friend! On Wednesday, 22 November 2023 at 11:40:12 UTC+1 Martin R wrote: > I need the variables of a polynomial c in InfinitePolynomialRing(SR) as an > element of that ring (rather than as an element o

[sage-devel] Workaround for converting variables into the InfinitePolynomialRing

2023-11-22 Thread 'Martin R' via sage-devel
I need the variables of a polynomial c in InfinitePolynomialRing(SR) as an element of that ring (rather than as an element of the PolynomialRing). I understand that polynomials are hard, but does anybody see a workaround? Martin sage: R. = InfinitePolynomialRing(SR) sage: c = 3*a[0] sage: c.var

Re: [sage-devel] Re: Help with matroids (and more generally?), PR #36492

2023-11-22 Thread Aram Dermenjian
There is currently a project that is in progress for getting (usual) oriented matroids into sage. It's still a work in progress, but an initial version is close to done. (See https://github.com/thecaligarmo/oriented_matroids for the project) Due to external time commitments, it hasn't finished as f

[sage-devel] Re: sage-10.2.rc4 does not build on opensuse tumbleweed

2023-11-22 Thread Christian Bär
Installation of the system package readline-devel solved the problem. Now sage-10.1 and sage-10.2.rc4 compile and run on my tumbleweed without problems. Maybe, this package is contained in the "standard" tumbleweed configuration but not in the "minimal" one. It is strange though that it used to