Stack Overflow
Stack Overflow

Questions tagged [magma-ca]

Use this tag for questions concerning the MAGMA Computer Algebra system.

Magma is a Computer Algebra system designed to solve problems in algebra, number theory, geometry and combinatorics, presently distributed by the University of Sydney.

13 questions
2
votes
0 answers

Runtime error in ideal Coefficient ring of LHS must be a field

I am trying the following code in magma z:=Integers(); P:=PolynomialRing(z); ideal; I tried also : z:=GR(2,2,1); P:=PolynomialRing(z); ideal; both are shown the same erreur "Runtime error in ideal< ... >: Coefficient…
Youssef Maouche
  • 175
  • 1
  • 2
  • 10
1
vote
1 answer

Access elements of group given by finite presentation in Magma Calculator

I have been trying to use the Magma Calculator: http://magma.maths.usyd.edu.au/calc/ Given a word u, in a finitely presented group, how do I declare g to be the group element represented by u? Context: I can define a group via a finite presentation.…
tkf
  • 11
  • 4
1
vote
1 answer

How do I create new intrinsics in MAGMA (computer algebra system)?

I am having trouble creating intrinsics in MAGMA. For example, the following code in MAGMA: intrinsic Square(x::FldComElt) -> FldComElt {Returns the square of x (x^2).} return x^2; end intrinsic; produced the following error: User error: Illegal…
Jovan Radenkovic
  • 113
  • 5
1
vote
1 answer

In CGAL, can one convert a triangulation in more than three dimensions to a polytope?

If this question would be more appropriate on a related site, let me know, and I'd be happy to move it. I have 165 vertices in ℤ11, all of which are at a distance of √8 from the origin and are extreme points on their corresponding convex hull. …
OzoneNerd
  • 21
  • 2
1
vote
0 answers

Create Generation matrix from Function to check CCZ

Here is an example of checking CCZ-equivalence. How to rewrite the following function CF from Magma to GAP-system? p=2;n=6; function CF(f) M:=Matrix( 2*n+1, p^n, [1: x in GF] cat [Trace(a^i * x): x in GF, i in…
Konstantin
  • 11
  • 1
1
vote
0 answers

Trouble with Magma -- "Internal error in ff_degree()"

I have a question for the Magma users out there. Occasionally I will write a program that will run for a little while before it is terminated with the following message: Internal error in ff_degree() at ff/access.c, line 1021 What does this…
727
  • 111
  • 2
0
votes
1 answer

How to pick a random polynomial in a polynomial ring which is invertible in MAGMA?

I've just begun to use Magma and i was testing some features in Magma. I would like to know if it is possible to make a loop which provides me an invertible polynomial (in a polynomial ring). Can someone help me ? Thx. A french dude (sorry for my…
Chaka_Sobek
  • 1
0
votes
0 answers

MAGMA: RelativeField(K,E) where K and E are isomorphic

Consider the following MAGMA-Code: R := PolynomialRing(Rationals()); F := NumberField(x^2 + 1); E := ext; f := DefiningPolynomial(AbsoluteField(E)); K := NumberField(f); a := Roots(f, E)[1][1]; Embed(K, E, a); IsSubfield(K, E); M :=…
mathnathan
  • 1
  • 1
0
votes
1 answer

Intrinsic definition in magma

I have been using Magma for a few weeks now, and all is well except one thing : I can't define my own intrinsics. I have not find that many ressources to learn the language (maybe I can't search...), so I try a lot of things, and right now, I'm…
Assombrance Andreson
  • 41
  • 4
0
votes
1 answer

Load and run a script in Magma;

I am using Magma in Windows (C:\program files\magma). I have some scripts xyz.m in the D:\scripts directory. I can't figure out how to load the scripts and run them. Thank you for your help. Regards
Rick
  • 361
  • 5
  • 17
0
votes
1 answer

Calculating a recursive sequence iteratively - code optimization

I have to calculate first 3000 items of a sequence given as follows: a_1=1, a_n+1 = smallest integer > a_n, for which for every (not necessarily different) 1<= i,j,k <= n+1 applies (a_i+a_j not equal 3*a_k) I have written code (in Magma) that works…
Sara
  • 9
  • 5
0
votes
1 answer

MAGMA NilpotencyClass being miscalculated

We devised a function in class to test if the nilpotency class of a group is or not the sum of those of its p-Sylows. The original was the first one below, without the n:=NilpotencyClass(G) line. I got a strange result, as you will see below. The…
MickG
  • 3,216
  • 2
  • 14
  • 22
0
votes
1 answer

Log files in MAGMA

At Uni, we are using MAGMA. I'd like to create a log file. That should be done with SetLogFile('FileName'). The result of that, however, is User error: Identifier '20.10.txt' has not been declared or assigned (FileName being 20.10.txt). Also, load…
MickG
  • 3,216
  • 2
  • 14
  • 22