Ask Your Question

slelievre's profile - activity

2021-07-23 08:37:54 +0200 commented question Generate dnf and cnf with Sage possible?

Related question asked at: Stack Overflow question 68483922: Creating Dnf and Cnf in Python out of a logictable (sympy

2021-07-22 07:09:27 +0200 answered a question Elliptic curves over function fields

Adding this to Sage is the object of Sage Trac ticket 9057: Supporting elliptic curves over function fields and their

2021-07-22 07:03:46 +0200 edited question Express a vector field in terms of a frame

Express a vector field in terms of a frame I have a set of 4 vector fields that form a frame, I have defined them as N

2021-07-22 06:58:42 +0200 edited question Express a vector field in terms of a frame

Express a vector field in terms of a frame I have a set of 4 vector fields that form a frame, I have defined them as N

2021-07-18 10:48:10 +0200 commented question How to compute an ideal of specific norm?

This related question might help: Ask Sage question 51803: Prime ideals up to a specific norm

2021-07-18 10:44:46 +0200 edited answer Sage refuses to evaluate summations...

There are two ways to get the value you want. One is to define a Python function rather than a symbolic function. Defi

2021-07-18 10:41:13 +0200 edited answer Sage refuses to evaluate summations...

Define a Python function rather than a symbolic function. Define p and q: p, q = 33, 21 Define the function: def g(

2021-07-18 10:37:21 +0200 answered a question Sage refuses to evaluate summations...

Define a Python function rather than a symbolic function. def g(x): return sum(frac(j*p/q), j, 0, x)

2021-07-18 10:36:40 +0200 edited question Sage refuses to evaluate summations...

Sage refuses to evaluate summations... I'm trying to define a function g(x) = sum(frac(j*p/q), j, 0, x) where p, q ar

2021-07-17 23:50:22 +0200 commented answer I want to find a generator set of the $l$-torsion points of an elliptic curve defined over a finite field $F_q$

To display blocks of code or error messages in Ask Sage, skip a line above and below, and do one of the following (all g

2021-07-17 23:48:47 +0200 edited question How to compute an ideal of specific norm?

How to compute an ideal of specific norm? So I was wondering if there was a way to compute ideals of a certain norm some

2021-07-17 23:46:56 +0200 edited question I want to display the origin on the graph.

I want to display the origin on the graph. I'm displaying the graph of a function as follows: d = 2 n = 1 psi(x) = sqr

2021-07-13 23:18:13 +0200 commented question I want to find a generator set of the $l$-torsion points of an elliptic curve defined over a finite field $F_q$

Ideally, provide a minimal concrete example, with code to define the objects, that can be copied and pasted in a fresh S

2021-07-13 23:17:03 +0200 commented question I want to find a generator set of the $l$-torsion points of an elliptic curve defined over a finite field $F_q$

Welcome to Ask Sage. Thank you for your question.

2021-07-12 11:24:28 +0200 edited question GP compiler problem

GP compiler problem When I do individual calculations the algorithm seems to be fine but when I do multiple iterations i

2021-07-10 12:18:05 +0200 edited question Solve cannot get algebraic answer without taking logarithm

Solve cannot get algebraic answer without taking logarithm I'm trying to solve the simple, one variable equation: 8^(3*x

2021-07-09 15:53:36 +0200 answered a question Why does `all_graph_colorings` not generate all possible colorings?

The reason is simple. A graph coloring is a dictionary whose keys are colours and values are lists of vertices of that

2021-07-09 08:25:09 +0200 received badge  Nice Answer (source)
2021-07-08 22:20:03 +0200 answered a question Why am I getting a different solution on SageMath for an ODE compared to when I work it by hand?

There is not really a difference. Both answers involve an arbitrary constant. Your C is the opposite of Sage's _C.

2021-07-06 21:20:08 +0200 commented question Salve potrei ricevere un aiuto con questo esercizio in SageMath? Grazie

English version Please can I get help with this exercise in SageMath? Given as input a symmetric bilinear form b: R^n

2021-07-06 21:19:20 +0200 commented question Salve potrei ricevere un aiuto con questo esercizio in SageMath? Grazie

Given as input a symmetric bilinear form b: R^n x R^n--> R and a subspace W, determine the radical / kernel of the bi

2021-07-06 21:19:17 +0200 commented question Salve potrei ricevere un aiuto con questo esercizio in SageMath? Grazie

Welcome to Ask Sage! Thank you for your question.

2021-07-06 15:47:37 +0200 commented question How to load stl files into sage math

Welcome to Ask Sage! Thank you for your question!

2021-07-05 19:20:16 +0200 commented question multiplicative inverse from irreducible polynomial

Not completely clear to me what you are asking.

2021-07-05 19:20:12 +0200 commented question multiplicative inverse from irreducible polynomial

Welcome to Ask Sage!

2021-07-05 19:18:25 +0200 edited answer how can I manipulate a multiplicative group of Zmod(n)

Going through the group of units This implementation suffers from the defect that elements of H have G as their paren

2021-07-05 19:03:50 +0200 answered a question fixed subfield of cyclotomic field

This is a long comment rather than an answer. It provides some code to define the objects in the question, in the hope

2021-07-05 11:08:22 +0200 commented question Numerical approximation error involving cosh and sinh

If we accept that exp(12*pi*i*i) is transformed into cosh(12*pi) - sinh(12*pi), then the observed behaviour is not a bug

2021-07-05 01:38:41 +0200 commented answer How to construct the set of all symmetric invertible $\{0,1\}$ matrices of order 5 in sagemath

Not sure what you mean by "compile". Maybe you can say more on how you are using Sage.

2021-07-04 21:07:05 +0200 commented answer How to construct the set of all symmetric invertible $\{0,1\}$ matrices of order 5 in sagemath

To only get those, change two things in the function: change M = MatrixSpace(QQ, d) to M = MatrixSpace(ZZ, d) change i

2021-07-04 17:40:42 +0200 answered a question How to construct the set of all symmetric invertible $\{0,1\}$ matrices of order 5 in sagemath

One way is to define a generator that goes through symmetric zero-one matrices and yields those that are invertible. Th

2021-07-04 14:06:28 +0200 answered a question Implicit_plot with degenerate conics

This has to do with how implicit_plot works. In order to decide where the desired expression is zero, it samples values

2021-07-01 15:27:56 +0200 commented answer Reusing output of QEPCAD

Well done. You can accept your own answer to mark the question as solved.

2021-07-01 03:37:49 +0200 received badge  Nice Answer (source)
2021-07-01 00:41:24 +0200 received badge  Good Answer (source)
2021-06-30 19:05:13 +0200 commented answer numpy cube root 'not callable'

For certified error bounds use Arb via RealBallField and ComplexBallField.

2021-06-30 17:44:53 +0200 answered a question numpy cube root 'not callable'

Some functions in Sage or NumPy do not support symbolic arguments. Plotting using such functions requires using them as

2021-06-30 01:06:36 +0200 edited answer Define matrix indexed by partitions

Potential alternatives: Install pandas in your Sage installation, and use a pandas DataFrame (https://fr.wikipedia.org

2021-06-29 18:47:28 +0200 commented question Representing subsets of a set as arrays of bits for quick comparison

Duplicate of Ask Sage question 57810.

2021-06-29 17:26:42 +0200 commented question I am trying to change the ring in sage.

Welcome to Ask Sage! Thank you for your question. Please give an example of something working, and of something not wo

2021-06-29 17:26:20 +0200 commented question I am trying to change the ring in sage.

Please give an example of something working, and of something not working but you would hope to work.

2021-06-29 15:14:14 +0200 edited answer differential equation

As observed in the question, the solution contains a parameter _C. That parameter does not get declared globally, so we

2021-06-29 15:10:32 +0200 answered a question differential equation

As observed in the question, the solution contains a parameter _C. That parameter does not get declared globally, so we

2021-06-29 09:16:06 +0200 received badge  Nice Answer (source)
2021-06-29 00:00:03 +0200 edited answer cannot convert log(x)/log(2) to int

Many such plotting problems are solved by using a callable function or a lambda function instead of a symbolic expressio

2021-06-28 23:53:23 +0200 edited answer cannot convert log(x)/log(2) to int

Many such plotting problems are solved by using a callable function or a lambda function instead of a symbolic expressio

2021-06-28 23:50:38 +0200 answered a question cannot convert log(x)/log(2) to int

Many such plotting problems are solved by using lambda functions. In this case: p = plot(lambda x: J(x), (1, 20)) p

2021-06-28 23:49:46 +0200 edited question cannot convert log(x)/log(2) to int

cannot convert log(x)/log(2) to int If I define J(x) function as: def J(x): sum = 0 print(int(log(x)/log(2)))

2021-06-27 23:51:15 +0200 commented answer i doesn't belong to QQbar ? Why ?

Until Sage 9.3.rc4 I in QQbar returns False. Starting with Sage 9.3.rc5 it returns True. It must have been solved by Sa

2021-06-27 16:10:36 +0200 commented answer Google sign-in broken

I got a report that Google sign-in to Ask Sage still fails from Safari, which I confirm.