Ask Your Question

John Palmieri's profile - activity

2026-04-30 20:33:46 +0200 commented question Generating all non-supersolvable groups of order less than 1600 in sage

Is this addressed by https://math.stackexchange.com/q/5134380/42781 ?

2026-02-25 21:36:28 +0200 answered a question mod(k, n) versus k.mod(n)

To answer your question about where to read about the difference, the live documentation might help. Compare the output

2026-02-24 06:52:34 +0200 commented question I am trying to draw graphs of the following type: W = Z . Z^0.5+3i in my Jupyter Notebook. I really don't see how to do it.

Why not just write z^(1.5 + 0.3i)?

2026-02-20 02:27:50 +0200 commented answer I am trying to draw graphs of the following type: W = Z . Z^0.5+3i in my Jupyter Notebook. I really don't see how to do it.

Do you mean lambda zz: ...?

2026-02-20 02:26:09 +0200 commented question I am trying to draw graphs of the following type: W = Z . Z^0.5+3i in my Jupyter Notebook. I really don't see how to do it.

What does the "." represent in your formula?

2026-02-12 19:50:45 +0200 edited answer How to enter a periodic function in Sagemath?

I tried this sample code which is working fine: sage: def periodic_function(x): ....: result1 = sin(x/2) ....:

2026-02-12 19:50:28 +0200 edited answer How to enter a periodic function in Sagemath?

I tried this sample code which is working fine: sage: def periodic_function(x): ....: result1 = sin(x/2) ....:

2025-12-07 02:42:47 +0200 commented question In dealing with non-square matrices, I find that I am unable to swap 2 columns or 2 rows

Can you provide more details? Please tell us exactly what commands you used and what error messages you got. (m.swap_row

2025-11-29 07:37:31 +0200 received badge  Nice Answer (source)
2025-11-26 18:18:56 +0200 answered a question Set of lists behaves badly

I think that in general, if you create a Set with elements that are not hashable, it will not behave perfectly. If you u

2025-11-03 19:12:02 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 received badge  Nice Answer (source)
2025-10-09 23:05:27 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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 +0200 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