Questions tagged [magma-cas]

Magma is a computer algebra system distributed by the University of Sydney, and designed for solving problems in algebra, number theory, geometry and combinatorics.

186 questions
Filter by
Sorted by
Tagged with
0 votes
0 answers
32 views

Why does magma give a cubic as the second coordinate of a Mumford representation for genus 2 curves?

I'm working with Magma to do computations with Jacobians of genus 2 hyperelliptic curves, and I find some behavior for elements that I don't understand. Specifically, let us take the prime $p = 431$ ...
• 1,935
0 votes
1 answer
27 views

Alternating Frobenius form in Sage

Given an alternating, non-degenerate matrix $A$ over the integers, I need to compute the matrix "closest" to the standard symplectic form that can be obtained from $A$ by an integer change ...
1 vote
0 answers
41 views

Magma - Differential field extension over a differential field

I want to construct the differential field $\mathbb{Q}(x,\,\log x,\,\log(\log x))$ in Magma. I have tried the following: ...
0 votes
1 answer
51 views

Iterate through the finite groups in MAGMA

How may I iterate over the finite groups in MAGMA of orders between $1$ and $N$ (where possible), and compute a given property of them?
• 3,185
0 votes
0 answers
38 views

• 2,805
1 vote
1 answer
152 views

Checking whether two algebras are isomorphic with MAGMA

I want to use MAGMA to check whether to given finite dimensional algebras over a field are isomorphic. Here my attempt: ...
• 2,322
1 vote
0 answers
44 views

Is it possible to describe extension of places of a function field in MAGMA?

I would like to describe, for example, the unramified places of an extension $F'/F$ of function field (in one variable) in MAGMA calculator. More specifically, given $F'/F$ an extension of function ...
0 votes
0 answers
26 views

Constructing a graph in Magma

I am trying to construct a simple graph in MAGMA and can't figure out how to get the syntax right. My code is below: ...
• 1,761
2 votes
1 answer
36 views

1 vote
0 answers
51 views

Magma Isogeny Polynomials Coercion

This is bordering the wrong stack exchange but I have the following problem: I have the code; ...
• 896
0 votes
0 answers
145 views

• 433
2 votes
0 answers
196 views

Wrong use of minimal polynomial function in MAGMA?

I wrote the following MAGMA code ...
• 433
-1 votes
1 answer
158 views

Difference between exclamation mark (!) and point (.) in MAGMA [closed]

In this MAGMA handbook, I found the following code: K := FiniteField(2, 160); // finite field of size 2^160 E := EllipticCurve([K!1, 0, 0, 0, K.1]); There, I noted ...
• 433
1 vote
1 answer
111 views

Splitting up a conjugacy class with respect to a subgroup

Suppose we have a conjugacy class $\mathcal{K}$ of elements of a group $G$, and a subgroup $H \leq G$. How can we efficiently (computationally) partition the elements of $\mathcal{K}$ according to ...
• 13.3k
0 votes
1 answer
359 views

Implementation in MAGMA: Field extension over the p-adics with a polynomial which is neither inertial nor Eisenstein

Let $K = Q_3$ and $L = K(a)$ be the extension of $K$ defined by the polynomial $f = x^6+3x^5-2$ (i.e. this is the minimal polynomial of $a$ over $K$). Now I would like to obtain this field $L$ in ...
• 433