[sage-devel] Re: multi-polynomial substitution consistency

2021-05-09 Thread Nils Bruin
I'd say that for a "full" evaluation at a list of images V for all variables, a guide would be that f(*V) should be roughly: sum(c*prod(m^e for e,m in zip(es,V)) for es,c in f.dict().items()) Only roughly, though, because for, for instance, if f==0, then this code evaluates to an empty sum, so

Re: [sage-devel] [abi:cxx11] in givaro prevents linking to system givaro on Fedora 32

2021-05-09 Thread Volker Braun
PS: Fedora 32 EOL is imminent (= 4 weeks after the just-released fedora 34), so I wouldn't worry too much about it On Sunday, May 9, 2021 at 12:24:23 PM UTC+2 Volker Braun wrote: > This is c++11 dual abi, see > https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html > > IMHO we just

Re: [sage-devel] [abi:cxx11] in givaro prevents linking to system givaro on Fedora 32

2021-05-09 Thread Volker Braun
This is c++11 dual abi, see https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html IMHO we just shouldn't use the system version then, but building Sage with -D_GLIBCXX_USE_CXX11_ABI=0 should allow you to link with old-style abi libraries. The default value of _GLIBCXX_USE_CXX11_A

[sage-devel] multi-polynomial substitution consistency

2021-05-09 Thread Vincent Delecroix
Dear all, Sage currently supports in a weird way partial substitution of multivariate polynomials sage: R. = QQ[] sage: S. = QQ[] sage: p = x sage: p.subs(x=q) q sage: p.subs(x=q).parent() Univariate Polynomial Ring in q over Rational Field What is annoying in the above scenario is that it brea