Magma - 5

Practica n. 11 basada sobre el programa:

“Magma”

Sitio web con el Magma Calculator:

http://magma.maths.usyd.edu.au/calc

1/8
Magma - 5
Problemas. Resolver los siguientes y escribir las respuestas en
LATEX.

1. Un cuadrado mágico es una ta- 2. Escribir una función magma

bla de numeros enteros positi-
vos distintos
a1 a2 a3
a4 a5 a6
a7 a8 a9
tales que la suma de las fi-
las, columnas y diagonales sea
una constante n. Ocupar mag-
ma para encontrar un cuadrado
mágico con n = 15.
cuyo input es un par (a, b), con
a ∈ Zn y b ∈ Z y cuyo output
es true si la ecuación
a1 x1 + · · · + an xn = b
tiene soluciones en Z y false
en caso contrario. Además, si la
ecuación tiene solución, el pro-
grama restituye una solución.

2/8
Magma - 5

Problemas.
1. Respuesta. Por definición los numeros a1 , . . . , a9 cumplen
con las siguientes ecuaciones



 a1 + a2 + a3 = 15




 a4 + a5 + a6 = 15




 a7 + a8 + a9 = 15

a + a + a = 15
1 4 7


 a2 + a5 + a8 = 15




 a3 + a6 + a9 = 15




 a1 + a5 + a9 = 15

a + a + a = 15
3 5 7

3/8
Magma - 5
Problemas.
Escribimos las ecuaciones anteriores de la forma a · M = b,
donde a = (a1 , . . . , a9 ), b = (15, 15, 15, 15, 15, 15, 15, 15) y
M es la matriz de los coeficientes.
> M := Matrix(
[
[ 1, 0, 0, 1, 0, 0, 1, 0 ],
[ 1, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 0, 0, 0, 0, 1, 0, 1 ],
[ 0, 1, 0, 1, 0, 0, 0, 0 ],
[ 0, 1, 0, 0, 1, 0, 1, 1 ],
[ 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 1, 1, 0, 0, 0, 1 ],
[ 0, 0, 1, 0, 1, 0, 0, 0 ],
[ 0, 0, 1, 0, 0, 1, 1, 0 ]
]);
> b := Vector([15 : i in [1..8]]);

4/8
Magma - 5

Problemas.
Encontramos las soluciones del sistema con magma.

> _,a,K:=IsConsistent(M,b);
> a;
( 0 0 15 20 5 -10 -5 10 10)
> K;
RSpace of degree 9, dimension 2 over Integer Ring
Echelonized basis:
( 1 0 -1 -2 0 2 1 0 -1)
( 0 1 -1 -1 0 1 1 -1 0)

5/8
Magma - 5
Problemas.
Encontramos los cuadrados mágicos con magma.

> [a+n*K.1+m*K.2 : n,m in [1..9] |

&and[p gt 0 : p in Eltseq(a+n*K.1+m*K.2)]
and #Set(Eltseq(a+n*K.1+m*K.2)) eq 9];
[
(2 7 6 9 5 1 4 3 8),
(2 9 4 7 5 3 6 1 8),
(4 3 8 9 5 1 2 7 6),
(4 9 2 3 5 7 8 1 6),
(6 1 8 7 5 3 2 9 4),
(6 7 2 1 5 9 8 3 4),
(8 1 6 3 5 7 4 9 2),
(8 3 4 1 5 9 6 7 2)
]

6/8
Magma - 5

Problemas.
Las soluciones nos dan los siguientes cuadrados mágicos.

2 7 6 2 9 4 4 3 8 4 9 2
9 5 1 7 5 3 9 5 1 3 5 7
4 3 8 6 1 8 2 7 6 8 1 6

6 1 8 6 7 2 8 1 6 8 3 4
7 5 3 1 5 9 3 5 7 1 5 9
2 9 4 8 3 4 4 9 2 6 7 2

7/8
Magma - 5

Problemas.
2. Respuesta. El programa pedido es el siguiente.

sol := function(a,b)
return IsConsistent(Matrix(#a,1,a),Vector([b]));
end function;

8/8