Ask Your Question

John Palmieri's profile - activity

2025-11-03 19:12:02 +0100 commented question Bug in solve?

I think it's just a sign that it can't find a solution. There are similar examples in the documentation given by solve?,

2025-10-31 21:15:12 +0100 commented answer installing msolve on a binary release of SageMath-10.7 for macOS

What happens if you do: import subprocess; subprocess.run(["msolve", "-h"]) ?

2025-10-27 18:11:48 +0100 commented question What is the computational cost of the Cornacchia's algorithm?

Are any of the benchmarking tools helpful? https://doc.sagemath.org/html/en/reference/misc/index.html#benchmarking-and-p

2025-10-25 00:26:14 +0100 commented question find_root() in 10.4 vs 10.7

As long as homebrew is available for the machine, the build process might not be too bad.

2025-10-23 19:02:19 +0100 commented question find_root() in 10.4 vs 10.7

I'm guessing that with such old hardware, you are probably better off trying to build Sage yourself. The appropriate pla

2025-10-22 21:38:59 +0100 commented question installing msolve on a binary release of SageMath-10.7 for macOS

For what it's worth, I installed the binary version of Sage, built and installed msolve as you describe, and it works on

2025-10-22 18:23:13 +0100 commented question installing msolve on a binary release of SageMath-10.7 for macOS

Within Sage on the Mac, what happens if you evaluate !echo $PATH? Is /usr/local/bin included, because I think that's whe

2025-10-22 18:22:48 +0100 commented question installing msolve on a binary release of SageMath-10.7 for macOS

Within Sage on the Mac, what happens if you evaluate !echo $PATH? Is /usr/local/bin included, because I think that's whe

2025-10-22 18:21:20 +0100 answered a question installing msolve on a binary release of SageMath-10.7 for macOS

My guess is that /usr/local/bin is not in the user's PATH, but that's where msolve was installed. To repair this: Wit

2025-10-22 18:10:44 +0100 commented question installing msolve on a binary release of SageMath-10.7 for macOS

(Or equivalently, evaluate os.environ['PATH'].)

2025-10-22 18:09:05 +0100 commented question installing msolve on a binary release of SageMath-10.7 for macOS

Within Sage on the Mac, what happens if you evaluate !echo $PATH? Is /usr/local/bin included, because I think that's whe

2025-10-11 13:56:21 +0100 received badge  Nice Answer (source)
2025-10-09 23:05:27 +0100 answered a question Constructing an algebra from combinatorial objects

When you initialize a CombinatorialFreeModule, you can specify a category, and if you specify a category of algebras, th

2025-09-25 23:02:31 +0100 commented answer import tetrahedron error

Perhaps better than search_src('def tetrahedron') would be search_def('tetrahedron'): search_def is designed to search f

2025-08-30 01:28:44 +0100 commented question Error in building Sage from source

What happens when you use ./bootstrap && ./configure && make instead of ./sage -br?

2025-08-26 06:49:25 +0100 answered a question How to check if a cycle in a simplicial complex is non-trivial?

With the example you started with: K = SimplicialComplex([[0, 1], [1, 2], [2, 0]]) C1 = K.n_chains(1) Then C1 is Fre

2025-08-25 18:07:28 +0100 commented question Trying to install Sage on Mac OS, make stage failed

What version of Sage are you trying to install? When installing Xcode, did you install the command-line tools (I don't r

2025-08-11 07:22:34 +0100 answered a question Multiplication in Polynomial Rings

One approach is to do this: R.<x> = QQ[x] I = R.ideal(cyclotomic_polynomial(27)(x)) R27.<a> = R.quotient(I)

2025-08-11 07:16:47 +0100 edited question Multiplication in Polynomial Rings

Multiplication in Polynomial Rings I am attempting to use substitute elements in a quotient ring into a formula and then

2025-07-23 23:46:31 +0100 commented question Bug report: non-unit differential yields wrong homology when using generators=True and base_ring=QQ

I've created https://github.com/sagemath/sage/issues/40469 along with a proposed fix at https://github.com/sagemath/sage

2025-07-23 04:01:38 +0100 answered a question Bug report: non-unit differential yields wrong homology when using generators=True and base_ring=QQ

I think the problem is the line https://github.com/sagemath/sage/blob/develop/src/sage/homology/chain_complex.py#L1368:

2025-07-22 19:29:24 +0100 answered a question How to extract coordinate tuples of homology generators from a simplicial complex?

If you just want homology generators, this works for me: sage: K = SimplicialComplex([[0, 1], [1, 2], [2, 0]]) sage: K.

2025-07-15 00:32:29 +0100 commented question frac is negative when argument is less than zero

@MaxAlekseyev: the question was about plotting, not about this particular evaluation of the frac function. Sage does not

2025-07-15 00:31:06 +0100 answered a question frac is negative when argument is less than zero

Here is what I see with sage-10.7.beta8: (For what it's worth, frac(-2.3) outputs -0.300000000000000.)

2025-07-14 22:18:01 +0100 commented question frac is negative when argument is less than zero

It works for me with the latest version of Sage (the two functions you provide have different plots, and frac is never n

2025-06-07 22:24:23 +0100 commented question total_space dimension?

I would also expect it to be the sum of the dimensions. @eric_g: what do you think?

2025-06-05 20:19:49 +0100 commented question Restricted matchings in simplicial complexes or graphs

For simplicial complexes, searching the source code for "matching" yields only one thing that might be related: simplici

2025-05-21 01:48:50 +0100 commented question Is multiplication cached?

I'm curious: might it be faster to compute everything in the polynomial ring, and then at the end convert the result to

2025-04-23 17:50:09 +0100 commented question Exterior face ring via Sage

How does this relate to stanley_reisner_ring? Is it just that the base ring is exterior rather than polynomial? The code

2025-04-18 19:06:12 +0100 edited question Testing if an object is a Matrix or a Vector

Testing if an object is a Matrix or a Vector For a long time I used : is_Matrix(A) is_Vector(B) but it is now depreca

2025-04-18 19:05:50 +0100 edited question Testing if an object is a Matrix or a Vector

Testing if an object is a Matrix or a Vector For a long time I used : is_Matrx(A) is_Vector(B) but it is now deprecat

2025-04-15 19:25:29 +0100 edited question Having trouble latex the crystal graph using sage, KeyError: 'node_1'?

Having trouble latex the crystal graph using sage, KeyError: 'node_1'? The inputs: K = crystals.KirillovReshetikhin(['A

2025-04-12 00:15:18 +0100 commented answer sage coercing subclass instance to superclass instance?

You could define a new _add_ method for your class which calls the method for the superclass and then converts it to you

2025-04-11 20:58:08 +0100 answered a question sage coercing subclass instance to superclass instance?

I'm guessing that the _add_ method, inherited from the superclass, returns something lying in that superclass. I think t

2025-03-11 17:47:06 +0100 commented answer If it possible to specify a factoring method?

Actually, their code uses both n and N; I think it's the use of N in valuation(N,p) which causes the problem. Anyway, us

2025-03-11 17:44:40 +0100 edited answer If it possible to specify a factoring method?

The factor method takes an algorithm keyword; have you looked at the documentation? In your case, since you know that t

2025-03-11 17:43:03 +0100 commented answer If it possible to specify a factoring method?

First, I suggested first checking whether p.divides(a) before dividing. Second, I've provided some untested code to keep

2025-03-11 17:41:48 +0100 edited answer If it possible to specify a factoring method?

The factor method takes an algorithm keyword; have you looked at the documentation? In your case, since you know that t

2025-03-10 01:10:32 +0100 commented question Inquiry About GSOC 2025: SageMath Project on Paths and Cycles Enumeration Methods

I think that you should ask questions about GSOC projects on the sage-gsoc Google group — see link at https://wiki.sagem

2025-03-08 19:35:38 +0100 answered a question If it possible to specify a factoring method?

The factor method takes an algorithm keyword; have you looked at the documentation? In your case, since you know that t

2025-03-07 18:19:59 +0100 commented question Is This A limitation of my Processing Power

Does it work if your file instead contains a smaller integer, say 5 digits?

2025-03-07 18:19:10 +0100 commented question Is This A limitation of my Processing Power

You should add f.close() after writing to the file; otherwise, the write operation may not complete.

2025-03-07 18:14:50 +0100 edited question Is This A limitation of my Processing Power

Is This A limitation of my Processing Power I'm trying to load a large number into Sage for factoring. I believe with t

2025-03-07 18:14:29 +0100 commented question Is This A limitation of my Processing Power

Does it work if your file instead contains a smaller integer, something easily factorable, say 5 digits?

2025-03-03 18:22:24 +0100 commented question plotting graphs, vertices on some graphs are very small

Also, what happens if you remove/modify the xmin and xmax arguments? Can you get the pictures you want?

2025-03-03 18:19:16 +0100 commented question plotting graphs, vertices on some graphs are very small

These graphs looks fine when I look at them separately, so it looks more like an issue with graphics_array than the indi

2025-03-02 18:29:08 +0100 received badge  Famous Question (source)
2025-02-28 19:40:45 +0100 commented question Loading an integer from .txt file to SageMath for factoring

Can you provide a toy example? Does your .txt file just contain something like "1023", or is there more in it than just

2025-02-27 19:57:52 +0100 answered a question How to print variables order of a polynomial ring?

Term order is not defined for single-variable polynomial rings, just for multivariable rings: sage: R2 = PolynomialRing

2025-02-27 19:52:01 +0100 edited question How to print variables order of a polynomial ring?

How to print variables order of a polynomial ring? Hello, I've a generic multivariate polynomial ring, for which I need