Maxima es un programa que opera con aritmética racional.
Si estamos trabajando con frac-
ciones, por defecto, nos dará como resultado también una fracción. Si lo que se quiere es un
valor númerico de dicha fracción se puede conseguir añadiendo , numer o utilizando el menú
Numérico → Conmutar salida numérica (“float” en otra versiones). Si alguno de los números
de una determinada expresión está en representación decimal el resultado se obtendrá au-
tomáticamente en este formato. Los valores se obtendrán, por defecto, con 16 cifras decimales.
Esta precisión se puede cambiar en el menú Numérico → Establecer precisión, en la que
se indicará el número de cifras, y en Numérico → A real grande (bigfloat), que convierte
todos los números y funciones numéricas a números decimales de punto flotante con el número
de dı́gitos significativos establecidos en la precisión. En este caso los números terminarán con
bN, donde N es la correspondiente potencia de 10 por la que hay que multiplicar el número.
Maxima trabaja con números enteros de cualquier tamaño. Si el resultado es demasiado largo se
eliminan, aparentemente, parte de los dı́gitos. Utilice la opción Maxima → Cambiar pantalla
2D eligiendo algoritmo ascii para salidas numéricas y compruebe qué ocurre ahora.
Algunas de las constantes matemáticas de uso frecuente tienen un sı́mbolo especial en Maxima:
el número π, el número e (base de los logaritmos naturales), la unidad imaginaria i (raı́z
cuadrada de -1) y la razón aúrea φ se representan por %e, %pi, %i, %phi respectivamente.
1.1. Cuerpos
Sabemos que en cada uno de los conjuntos anteriores existen dos operaciones, una suma y un producto,
que satisfacen algunas propiedades comunes en todos ellos (asociatividad y conmutatividad por ejemplo)
y otras particulares (existencia de determinados elementos como opuestos e inversos). La existencia de
una o más operaciones en un determinado conjunto satisfaciendo ciertas propiedades hace que podamos
hablar de la existencia en dicho conjunto de una determinada “estructura algebraica”. Empecemos
viendo algunas de estas estructuras.
Definición 1.1 Un cuerpo es un conjunto K con dos operaciones, denominadas suma y producto y
que se denotan por “+” y “·” respectivamente, que satisfacen las siguientes propiedades:
C1) Para cualesquiera elementos a, b, c de K, se tiene que a + (b + c) = (a + b) + c (propiedad asociativa
de la suma).
C2) Para cualesquiera elementos a, b de K, se tiene que a + b = b + a (propiedad conmutativa de la
suma).
C3) Existe un elemento en K, que representaremos por 0, tal que, para cualquier a de K, se tiene que
0 + a = a (= a + 0) (existe elemento neutro para la suma). A este elemento, que es único5 , se le
denomina cero o elemento nulo de K .
C4) Para cada elemento a ∈ K existe un elemento a0 ∈ K tal que a + a0 = 0(= a0 + a), (es decir, todo
elemento de K tiene un inverso para la operación suma). A este elemento, que está unı́vocamente
determinado6 por a, se le denomina opuesto de a y se denotará por −a.
C5) Para cualesquiera elementos a, b, c de K, se tiene que a · (b · c) = (a · b) · c (propiedad asociativa del
producto).
5
) Si 0 y 00 son elementos tales que, para cualquier a de K, se tiene que 0 + a = a y también 00 + a = a, entonces se
tendrı́a que 0 + 00 = 00 y también que 0 + 00 = 00 + 0 = 0; por lo que 0 = 00 .
6
) Si dado un elemento a ∈ K existen elementos a0 , a00 ∈ K tales que a + a0 = 0(= a0 + a) y a + a00 = 0(= a00 + a),
entonces se tendrı́a que
a0 = 0 + a0 = (a00 + a) + a0 = a00 + (a + a0 ) = a00 + 0 = a00 .