[sage-support] `solve_left` for sparse matrices extremely slow

2024-06-08 Thread 'Peter Mueller' via sage-support
Set: n = 10 A = matrix(QQ, n, 1, range(n)) B = A.sparse_matrix() v = vector((0,)) The trivial calculation sol = A.solve_left(v) instantly yields a solution (the all 0 vector), while sol = B.solve_left(v) takes forever ... !!! I haven't looked at the implementation, but it seems to me th

[sage-support] Failure to compile Sage 10.3.rc0

2024-02-26 Thread 'Peter Mueller' via sage-support
Installation of Sage 10.3.rc0 from source on an up-to-date Arch Linux machine fails. I'm not sure if the following snippet of the log file hints to the problem: [sagelib-10.3.rc0] In file included from sage/symbolic/ginac/pseries.cpp:26: [sagelib-10.3.rc0] sage/symbolic/ginac/useries-fl

[sage-support] Build errors for sage_numerical_backends_[coin, gurobi]

2023-11-08 Thread 'Peter Mueller' via sage-support
On up-to-date Archlinux and Manjaro machines, I get build errors of the packages sage_numerical_backends_coin-9.0b12 and sage_numerical_backends_gurobi-9.3.1 in SageMath version 10.2.rc0. For both packages the error logs look similar. I don't know if the following is the relevant part of the

Re: [sage-support] Bug in GAP installation provided by SageMath?

2023-04-18 Thread 'Peter Mueller' via sage-support
Thanks, the following line resolves the issue in Sage 10.0.beta6 (but not in 9.8, but I don't care): `libgap.SetUserPreference("AtlasRep", "AtlasRepAccessRemoteFiles", true )` Dima Pasechnik schrieb am Dienstag, 18. April 2023 um 12:50:49 UTC+2: [...] So you can either go and edit the file abov

[sage-support] Bug in GAP installation provided by SageMath?

2023-04-18 Thread 'Peter Mueller' via sage-support
While `libgap.SimpleGroup("J2")` yields the expected result, `libgap.SimpleGroup("J3")` raises a `GAPError: Error, The AtlasRep package could not load a group with parameters [ "J3" ]`. Calling `libgap.LoadPackage("AtlasRep")` returns without errors, but the problem persists. The same happens

Re: [sage-support] How to use Gap interface for permutation groups?

2023-03-31 Thread 'Peter Mueller' via sage-support
ar 2023, 18:25 'Peter Mueller' via sage-support, < > sage-s...@googlegroups.com> wrote: > >> When working with finite permutation groups, it seems to me that one has >> the choice to either use the groups as sage objects like >> `SymmetricGroup(4)`,

[sage-support] How to use Gap interface for permutation groups?

2023-03-30 Thread &#x27;Peter Mueller&#x27; via sage-support
When working with finite permutation groups, it seems to me that one has the choice to either use the groups as sage objects like `SymmetricGroup(4)`, or as a Gap object via `libgap.SymmetricGroup(4)`. The former has rather limited functionality (and quite a few bugs as reported earlier), so th

[sage-support] Set(L) == L and Set(L) != L are True at the same time?!

2023-02-23 Thread &#x27;Peter Mueller&#x27; via sage-support
Secundum non datur ...: sage: L = {0} sage: L == Set(L) True sage: L != Set(L) True How can this happen?! With the python bulltin `set` instead of `Set` I get the expected behavior though. (I'm using Sage version 9.8.) -- Peter Mueller -- You received this message because you are subscribed

[sage-support] Backends for SemidefiniteProgram()

2023-02-17 Thread &#x27;Peter Mueller&#x27; via sage-support
Even though I installed the optional packages csdp and dsdp in Sage 9.8, they do not seem to be available as backends for `SemidefiniteProgram()`. At any rate, calling it with `solver='csdp'` or `solver='dsdp'` results in the error message *ValueError: 'solver' should be set to 'CVXOPT', 'Matri

[sage-support] Strange bug connected to GAP as a backend

2022-11-20 Thread &#x27;Peter Mueller&#x27; via sage-support
Start with g = SymmetricGroup(3) chi = g.trivial_character() u = g.subgroup([]) Next reg = u.trivial_character().induct(g) print(chi.scalar_product(reg)) yields as expected the answer 1. Now repeat the very same two lines, but before doing so compute the representatives of conjugacy classes

Re: [sage-support] Bug in qepcad?

2022-07-12 Thread &#x27;Peter Mueller&#x27; via sage-support
2022 um 14:06:50 UTC+2: > On Mon, Jul 11, 2022 at 8:24 PM 'Peter Mueller' via sage-support > wrote: > > > > OK, calling "sage -sh" and setting "export qe="~/local/sage/local" > allows to start qepcad without relocating files. However, qepcad

Re: [sage-support] Bug in qepcad?

2022-07-11 Thread &#x27;Peter Mueller&#x27; via sage-support
g, 11. Juli 2022 um 19:11:08 UTC+2: > > > On Mon, 11 Jul 2022, 17:04 'Peter Mueller' via sage-support, < > sage-s...@googlegroups.com> wrote: > >> Thanks for the suggestion, I wasn't aware of this feature. However, here >> it results in "Error

Re: [sage-support] Bug in qepcad?

2022-07-11 Thread &#x27;Peter Mueller&#x27; via sage-support
e existing help page (at ~/local/sage/local/share/qepcad/qepcad.help) to the place where qepcad is looking for it. dim...@gmail.com schrieb am Montag, 11. Juli 2022 um 17:40:11 UTC+2: > > > On Mon, 11 Jul 2022, 16:33 'Peter Mueller' via sage-support, < > sage-s...@go

[sage-support] Bug in qepcad?

2022-07-11 Thread &#x27;Peter Mueller&#x27; via sage-support
When running var('p1', 'p2', 'p3', 'q1', 'q2', 'q3') qf = qepcad_formula # q1 = p1 l = [p1+q1 == 1, 0 < p1, p1 < 1, 0 <= p2, p2 <= 1, 0 <= q2, q2 <= 1, p2 + p1*q1 + q2 == 1, 0 <= p3, p3 <= 1, 0 <= q3, q3 <= 1, p3 + p2*q1 + p1*q2 + q3 == 1] F = qepcad_formula.and_(l) qepcad(F, s

[sage-support] Re: Multivariate polynomial ring with total degree no larger than n

2022-03-12 Thread &#x27;Peter Mueller&#x27; via sage-support
I would do something like this (example for n=5): ``` n = 5 R = PolynomialRing(QQ, 'x', n) x0 = R.gen(0) # A shorter alternative is R.0 f = sum((i+1)*x0^i for i in range(n+1)) # sample polynomial p = 1 for xi in R.gens(): p *= f.substitute({x0:xi}) p = sum(coeff*mono for coeff, mono in list

[sage-support] memory leak in trivial calculation?

2021-05-27 Thread &#x27;Peter Mueller&#x27; via sage-support
The following trivial code eats up all the memory and crashes with an Unhandled SIGSEGV on my Linux machine and sage version 9.3. But it does not work either on the sage cell! var('z y') f = -(15*z/(17*y + 11) + 1)*(5*z/(4*y + 1) - 1)*(15*z/(3*y - 4) + 1) f(y=I) -- Peter Mueller -- You receiv

[sage-support] Subgroups of subgroups aren't subgroups?

2020-08-16 Thread &#x27;Peter Mueller&#x27; via sage-support
I had a hard to track down error which eventually relied on sage permutation groups behave odd in regard to subgroups. A subgroup y of a subgroup x of g isn't always considered as a subgroup of g. Compare sage: g = SymmetricGroup(2) : x = g.subgroup([]) : y = x.subgroup([]) : x == y

[sage-support] Weird bug in libgap?

2020-08-14 Thread &#x27;Peter Mueller&#x27; via sage-support
The following code yields a Traceback for no (to me) obvious reason. The same happens on sagecell too. It seems to be a minimal case. For instance removing the line "P = ..." or having less deeply nested loops does not display this problem: for A in PrimitiveGroups(3): for G in A.normal_sub

[sage-support] Bug in scalar products of characters coming from restrictions

2020-08-14 Thread &#x27;Peter Mueller&#x27; via sage-support
In the code below g1 and g2 are the same group, where g2 is produced as a subgroup of g1, and c is the principal character of g1. Still, when it comes to scalar products, somehow g1 is not considered as a subgroup of itself: sage: g1 = SymmetricGroup(2) : g2 = g1.conjugacy_classes_subgroups

[sage-support] Directly saving html file of Three.js graphic

2020-07-30 Thread &#x27;Peter Mueller&#x27; via sage-support
If G is a 3d graphics object, then displaying it via G.show(viewer='threejs') the web browser allows to save the corresponding html code. However, for computing a large number of graphics on a server, it would be more convenient to save the html code directly. I would have expected something li

Re: [sage-support] Optional package cunningham_tables unavailable (version 9.0)

2020-03-12 Thread &#x27;Peter Mueller&#x27; via sage-support
x27;Peter Mueller' via sage-support a écrit : > > Calling the example > > from sage.rings.factorint import factor_cunningham > > factor_cunningham(2^257-1) > > from the docs yields the message that the Cunningham tables should be > > installed via ``sage -i

[sage-support] Optional package cunningham_tables unavailable (version 9.0)

2020-03-12 Thread &#x27;Peter Mueller&#x27; via sage-support
Calling the example from sage.rings.factorint import factor_cunningham factor_cunningham(2^257-1) from the docs yields the message that the Cunningham tables should be installed via ``sage -i cunningham_tables``. Trying this, however, yields a `not found' message, and suggests to try the option

[sage-support] Bug in rational_parameterization?

2019-07-05 Thread &#x27;Peter Mueller&#x27; via sage-support
A slight modification of the example which documents the use of the method `rational_parameterization' yields a rather long Traceback: A. = AffineSpace(QQ, 2) C = Curve([10*x^2 + 2*y^2 - 3], A) C.rational_parameterization()

[sage-support] Re: True/False function about the solvability of linear programming

2019-04-28 Thread &#x27;Peter Mueller&#x27; via sage-support
You can use an exception, something as follows: def is_lp_solvable(P): try: P.solve() return True except: return False Am Sonntag, 28. April 2019 14:31:31 UTC+2 schrieb husi...@gmail.com: > > Hello everyone! I would like to ask a question about the solvability of a

[sage-support] Do several sage processes in background interact and disturb each other?

2018-06-16 Thread &#x27;Peter Mueller&#x27; via sage-support
Computing on a machine with 54 cpus, I parallelized a sage computation, running 40 sage scripts in the background at the same time. The strange thing (with narrowed down test examples) is: While each script for itself would need about 1s to finish, running these scripts in parallel do not finis

[sage-support] Bug in polynomial ring over quotient ring of multivariate polynomial ring?

2017-11-30 Thread &#x27;Peter Mueller&#x27; via sage-support
Is it a bug, or is there a reasonable explanation of the following? kk. = GF(2)[] k. = kk.quo(a^2+a+1) K. = k[] for n in [10..32]: print n, (T*y)^n 0 y*T^10 11 (y + 1)*T^11 12 T^12 13 y*T^13 14 (y + 1)*T^14 15 T^15 16 y*T^16 17 (y + 1)*T^17 18 T^18 19 y*T^19 20 (y + 1)*T^20 21

[sage-support] Powers of polynomials in positive characteristic extremely slow

2017-11-28 Thread &#x27;Peter Mueller&#x27; via sage-support
In Sage 8.0 I find the following unexpected behavior: sage: k. = GF(2)[] sage: K. = k[] sage: f = x^1000 + a*x^500 + b sage: time f^16 CPU times: user 7.61 s, sys: 8 ms, total: 7.62 s Wall time: 7.62 s x^16000 + a^16*x^8000 + b^16 Is it really the case that the exponentiation does not make use of

Re: [sage-support] phc interface not working in Sage version 8.0

2017-07-26 Thread &#x27;Peter Mueller&#x27; via sage-support
Thanks, that solved the problem. (I wasn't aware that the actual phc binary isn't included in sage while the interface to it is.) Am Mittwoch, 26. Juli 2017 19:19:10 UTC+2 schrieb vdelecroix: > > Do you have phc installed on your computer? The error message says that > there is no 'phc' command

[sage-support] phc interface not working in Sage version 8.0

2017-07-26 Thread &#x27;Peter Mueller&#x27; via sage-support
Trying the example from the doc of phc results in: sage: from sage.interfaces.phc import phc sage: R. = PolynomialRing(CDF,2) sage: testsys = [x^2 + 1, x*y - 1] sage: phc.mixed_volume(testsys) --- ExceptionPexpect

[sage-support] Bounds in coding theory are still a mess

2017-05-08 Thread &#x27;Peter Mueller&#x27; via sage-support
The functions and their docs in codes.bounds.* still seem to be a mess (as they have been since many years now). Here a few findings from a recent attempt to use them in class: (1) If the code parameters are n = length, d = minimum distance, and q = size of the alphabet, there seems to be no sy

[sage-support] Bug in g.character_table()

2016-04-27 Thread &#x27;Peter Mueller&#x27; via sage-support
sage: AlternatingGroup(12).character_table() File "", line 2 -zeta35**Integer(27)-zeta35**Integer(29)-zeta35**Integer(33) ^ IndentationError: unexpected indent Looking into the function character_table, there seems to be a problem in converting the Gap cyclotomic integer to Sage cycloto