# Tagged Questions

10 views

### Changing the “Type” of an object in Magma

The computer algebra system Magma can store groups as one of many different types. For example, using AbelianGroup([2,2]) we obtain the Klein $4$-group stored as type GrpAb. However, we can also ...
47 views

### Adjoint action of a Lie algebra in MAGMA

Let's say I have a Lie algebra $L$ and an element $x$ in $L$. I need to compute $(\mathrm{ad} \ x)^n(y)$ for several values of $y$ and a particular value of $n$. I thought the best way to do this ...
29 views

### Printing long lines in MAGMA without line break

In MAGMA, how do I print a long list of items to a file without automatic line breaks? It seems to me that there is an internal length limit and anything longer than it will result in a automatic ...
104 views

### Galois group command for Magma online calculator?

I need to test if a family of 7th deg and 13 deg equations are solvable. I'm new to Magma, so my apologies, but what would I type in, http://magma.maths.usyd.edu.au/calc/ to determine the Galois ...
28 views

### Coercing a vector into a module in MAGMA.

Given a $1\times n$ row vector $v$ over a ring $R$, and an $n$-dimensional $R$-module $M$, is there any way to coerce the vector $v$ into $M$ (the obvious $M!v$ does not work).
29 views

### Revealing output slowly in Magma

When working in Magma, is there a command to gradually reveal the output. For example, if you have a finite group $G$ and you want to calculate SubgroupLattice(G), then the output may be thousands of ...
38 views

### Evaluating polynomials at elements of algebras in Magma

I've defined a $2$ dimensional algebra, $A$ in Magma as follows: R:=FieldOfFractions(PolynomialRing(GF(2),10)); A:=Algebra< R,2|[1,0,0,1,0,1,1,1]>; The sequence of $1$'s and $0$'s just ...
37 views

### Picking out Vector Coefficients in Magma

Suppose $K/k$ is a finite field extension, with fixed basis $e_1,\ldots,e_d$, and $f\in K[x_1,\ldots,x_n]$. Using our basis, $f$ has a unique expression as a sum of polynomials in ...
57 views

### Producing a set of matrices in MAGMA

As part of my work I need to define the set of all $n\times n$ matrices with entries in $\{0,1,\ldots,n\}$ (considered as a subset of $\mathbb{Z}$), such that each row and column of the matrix sums to ...
127 views

### Character table in MAGMA

Below is a character table created using the MAGMA computer algebra system. What is the meaning of the rows starting with $p=2$, $p=3$, etc.? I've tried looking in the documentation, but couldn't ...
212 views

### MAGMA question: SemidirectProduct using a homomorphism $f:G \rightarrow GL_n(\mathbb{F}_p)$.

Suppose I have a homomorphism $f:G\rightarrow GL_n(\mathbb{F}_p)$ and I wish to form the semidirect product $E\rtimes_f G$ with $E$ being the elementary abelian group of order $p^n$. The Semidirect ...
88 views

### Coercion in MAGMA

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and ...
239 views

### How do I break MAGMA? [closed]

Is there any way I can break and get back to the prompt in MAGMA when MAGMA is spending forever doing some computation? I don't wan't to Ctrl-D, because then I will lose all sorts of stored variables, ...
98 views

### How to iterate over power set in MAGMA?

I want do something for all subsets J of a certain cardinality of {1,2,...,n}, for a (previously declared) number n. It seems magma is not happy with: for J in PowerSet([1..n]) do To which MAGMA ...
94 views

### Picking out columns from a matrix using MAGMA

How do I form a new matrix from a given one by picking out some of its columns, using MAGMA?