**9**

votes

**3**answers

602 views

### What CASes say about the analytic rank of rank 8 elliptic curve '457532830151317a1'

For the rank $8$ elliptic curve with a-invariants $(0, 0, 1, -23737, 960366)$
sage 5.3 reports analytic rank $4$ in about 2.4 hours.
Almost sure this a bug, so I am interested what other CAS say on ...

**7**

votes

**0**answers

167 views

### Genus of the graph $K_{4,2,2,2}$

I have ask this question in math.stackexchange, here. Since, there is no answer and apart from that i feel that the problem is difficult, i would like to ask it here. The problem is to find the genus ...

**6**

votes

**3**answers

329 views

### Torsion group of the following elliptic curve

Let $p_1=2, p_2 = 3,\ldots,$ be the prime numbers, and define $n_i = \prod_{j=1}^i p_j$. Moreover, let $E_i $ be the elliptic curve defined by $y^2 = x^3 + n_i$.
Can one compute the torsion group ...

**2**

votes

**0**answers

106 views

### Finding relations between invariant polynomials

Suppose I have an action of a linear reductive group ($GL(2,\mathbb{C})^2$ in this case) on a complex vector space (of dimension $16$) and I want to compute explicitly the ring of invariants of this ...

**0**

votes

**1**answer

49 views

### reducing an n-order differential equation to a first order system of equations using either sagemath or sympy

I want to reduce a n-order ordinary differential equation into a first order system of equations. This is in preparation for numerical analysis. I use both Sympy and Sagemath for Computer Algebra, but ...

**0**

votes

**2**answers

209 views

### Ihara zeta function (graph theory) coefficients using a line graph [closed]

I'VE COMPLETELY REVISED MY QUESTION
I wish to take a simple undirected graph (i.e. the complete graph K_4)
Arbitrarily direct said graph, and then create a line graph from the directed version of ...

**-1**

votes

**0**answers

17 views

### Representing ring localization in SAGE

Let $R$ be some commutative unital ring that can be represented in SAGE. Let $W$ be some multiplicative system in $R$. How, for a general (i.e. non-integral-domain) ring would one represent $W^{-1}R$ ...