Un servidor Sage para tiempos de penuria

Francisco BotanaJesús Escribano

U. Vigo - U. Complutense

1 Junio 2014

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 1 / 8

IntroducciónSage en entornos educativos

¿Cómo podemos utilizar Sage en entornos educativos?de una manera sencilla y accesiblesin mucho costecon seguridadproporcionando autonomía a los estudiantes

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 2 / 8

Cómo hacer Sage accesible?

La instalación de Sage en sistemas bajo Linux o Mac es sencilla,pero no puede obviarse que la inmensa mayoría de estudiantes (yprofesores) en las universidades son usuarios únicos deWindows.Esta situación y las dificultades para una instalación de Sage eneste sistema constituyen un cuello de botella para la difusión delprograma.Solución: Utilizar servidores Sage.Problema: Existen riesgos si se confía en servidores externos(caso del canónico sagenb.org) o ingratas tareas de mantenimientosi el servidor es propio.

Nuestra propuesta: explorar la vía del hardware libre → Montar unservidor Sage en una Rasberry Pi, utilizando una red local.

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 3 / 8

Raspberry Pi

Raspberry Pi es un ordenador de placa reducida de bajo costo,desarrollado en Reino Unido por la Fundación Raspberry Pi, conel objetivo de estimular la enseñanza de ciencias de lacomputación en las escuelas.El diseño incluye un System-on-a-chip Broadcom BCM2835, quecontiene un procesador central (CPU) ARM1176JZF-S a 700MHz, un procesador gráfico (GPU) VideoCore IV, y 512 MiB dememoria RAM.El diseño no incluye un disco duro ni unidad de estado sólido, yaque usa una tarjeta SD para el almacenamiento permanente;tampoco incluye fuente de alimentación ni carcasa.Inicio de venta: principios de 2012.Multiples sistemas operativos (la gran mayoría basados en linux)

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 4 / 8

Ingredientes: Hardware

Los dispositivos empleados son:ordenador Raspberry Pi Mod B 512 Mbfuente de alimentación para Raspberry Pitarjeta SD 8 Gbrouter portátil TP-LINK TL-MR3020 3G 150n 3G/WANcable de red router-Raspberry

Coste: unos 60 euros.

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 5 / 8

Ingredientes: Software

Es necesario instalar un sistema operativo en la tarjeta(recomendamos Raspbian).Para descargar y configurar Sage hay que seguir lasinstrucciones enhttps://github.com/ArchimedesPi/SageMathematics-raspi/

Dificultad: Compilación de las versiones 5.8 y 6.0 de Sage para laarquitectura ARM. La tarea ha sido realizada por Liam M (?)

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 6 / 8

Cómo funciona

Creamos nuestra red local con el router.Conectamos la Raspberry Pi y nuestro portátil al router.Nos conectamos a la Raspberry Pi mediante ssh, utilizando ladirección IP dada por el router.Lanzamos Sage!

Veamos una demostración ...

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 7 / 8

Gracias!!

Botana, Escribano (UVigo-UCM) Sage en tiempos de penuria 1 Junio 2014 8 / 8