CAPTULO1:HERRAMIENTAS

"(a,b, ... ]" define la lista (o matriz fila) (a, b, . .. ).

Maxima no entiende la expresin "(a,b,. .. )" como puede verse al evaluar, "( 1 ,2)".
"matrix(fila 1 , ... ,fila m)" donde cada fila es una lista de orden n define una matriz de
orden m x n, p.e. "matrix((1 ,2],(3,4])".
"genmatrix(A,m,n)" define una matriz A de orden m x n de forma general (vase tambin
sus variantes). "ident(n)" devuelve la matriz identidad de orden n .
" zeromatrix(m, n)"devuelve la matriz nula de orden m x n .
Para asignar una etiqueta a una expresin se utiliza el smbolo ":", p.e ."A:matrix([1 ,2],
[2,4])".
Para sumar matrices, se utiliza el operador "+".
El operador "*" multiplica un escala r por una matriz, p.e, "2*A".
"A[ij]" devuelve el elemento a ,j de la matriz A.
El operador producto de matrices es ",", p,e, ,"A,B"
"A/\1\n" calcula la potencia n-sima de la matriz A, es decir, A n . Sin embargo"A/\n"
calcula la matriz que resulta al elevar a n cada elemento de la matriz A.
"transpose(A)" calcula la matriz traspuesta de A. "invert(A)" o"A/\/\ ( - 1 )" calcula la matriz
inversa de A (si existe).
Si ha sido evaluado previamente "load(functs)","tracematrix(A)" devuelve la traza de A.
"row(A,i)" devuelve la fila Fi de A y "coi(A,i)" devuelve la columna Ci de A.
"is(expresin)" devuelve si es cierta o no la expresin. Para ello, Maxima utiliza los
resultados almacenados.Puede servir para comparar si es cierta alguna expresin sin
necesidad de hacer los clculos. p.e."is(B=E.A)".
La matriz inversa de A tambin se calcula evaluando "Al\/\ ( - 1) ."
"echelon(A)" calcula una matriz escalonada de A con los pivotes normalizados.
"triangularize(A)" calcula una matriz triangular superior realizando operaciones
elementales por filas en A.
"rank(A)" calcula el rango de la matriz A .
"determinant(A)" calcula el determinante de la matriz A .
"minor(A,i,j)" devuelve la matriz A una vez eliminadas Fi, y la Cj . En general , submatrix
(i 1 , , im,A, j 1, .. . , jn, ) devuelve la matriz A una vez eliminadas F1 , . .. ,F1m y Cj
1 , Cjn,.
El smbolo del operador factorial es "!". " n! " devuelve el factorial n .
"adjoint (A)" devuelve la traspuesta de la matriz adjunta de A, es decir,( Adj(A)) t .
No hay que confundir menor con el comando "minor(A,i,j)" que devuelve la submatriz de
A tras eliminar Fi, y cj .
El men " Ecuaciones", permite resolver un sistema de ecuaciones lineales.
"linsolve([eq1, ... ,eqm],[x 1 , ... ,xn])" resuelve el sistema de ecuaciones lineales definido
por eq1, ... , eqm en las variables x1 , .. . ,xn, ,p.e.,"linsolve([x+y=2,x-2*y=4], [x,y])".
"coefmatrix([ eq1 , ... , eqm], (X1, ... ,Xn])" devuelve la matriz de coeficientes para las
variables X1, ... ,Xn del sistema de ecuaciones lineales definido por eq1, ... , eq.m.
" augcoefmatrix[ eq1, . . . , eqm],[x1 , ... ,xn])" devuelve la matriz ampliada con los trminos
independientes cambiados de signo para las variables x1, ... ,Xn del sistema de
ecuaciones lineales definido por eq1, ... , eqm.
"float(x)" o "x,numer'' devuelven la representacin decimal del nmero real x . Por defecto,
Maxima redondea a 16 dgitos pero se puede cambiar desde el men "Numrico" o con la
funcin "fpprec: valor'' y "bfloat(expresin)".
Maxima utiliza el mtodo de eliminacin Gaussiana cuando evala los comandos
"echelon" (normaliza los pivotes) o "triangularize"(no normaliza los pivotes).
" luJactor (A,generalring)" obtiene la factorizacin LU de A de forma empaquetada como
la lista [LU, perm , fld] .
"inverLbyJu(A,(rng,generalring))" invierte la matriz A mediante la factorizacin LU.
Tras ejecutar "M:Iu_factor(A,field)", el comando "lu_backsub(M,B)" resuelve el sistema
AX = B.
Tras evaluar "M :Iu_Factor(A) ","get_lu_factors(M)" devuelve una lista de la forma [P,
L,U] tal que A=PLU. Donde P es una matriz permutacin,L es triangular inferior con unos
en la diagonal y U es triangular superior.
CAPTULO2:ESPACIOSVECTORIALES.

Un vector se define como una lista con las coordenadas separadas por comas y
encerradas entre corchetes (p .e. el vector ( 2, 3) se define como "[2 ,3]") .
Una matriz se define escribiendo sus filas como listas con la instruccin "matrix([fila 1] ,
... ,[f ilan])".
Un vector tambin se define como una matriz fila (p.e. "matrix([2,3)) ") o una matriz
columna (p.e. "matrix([2],[3))").
Se suman matrices o listas mediante el smbolo "+ " (p . e. "[1 ,2]+[3, 1 ]").
Multiplica un escalar por una matriz o una lista mediante el smbolo "*" (p.e. "2* [1 ,2]").
El smbolo"." est reservado para multiplicar matrices (p.e. "A.B") .
No hay ninguna instruccin que indique si un conjunto y unas operaciones definen un
espacio vectorial.
Un vector en forma de columna se define con la instruccin "matrix([fila1]. ... , [fila n])"
(p. e. "matrix([2]. [3])").

CAPTULO3:APLICACIONESLINEALESYMATRICES.

No tiene ninguna instruccin que determine si una aplicacin es lineal.

Con el men Algebra>Introducir matriz, da nombre a A y memoriza sus elementos.
Utiliza el operador "+" para sumar. "A+B;" suma la matriz A y la matriz B.
Utiliza "*" para multiplicar escalar por matriz.
Utiliza "." para multiplicar matrices.

CAPITULO4:DIAGONALIZACINDEMATRICES.

El polinomio caracterstico de A se calcula con "charpoly(A, .);".

Los valores propios de A se calculan con "eigenvalues(A) ;".
Los vectores propios de A se calculan con "eigenvectors ( A);".
"jordan(A)" devuelve la matriz de Jordan de A en forma de lista. Para obtener la matriz
de Jordan, se ejecuta "dispJordan(argumento);" utilizando como argumento la salida de
jordan(A) . p.e."jordan(A); dispJordan( %) ;"
Calcula valores y vectores propios con "eigenvectors(A) ;" .
Comprobar el resultado obtenido, evaluando"load("diag") $ jordan(A)$dispJordan(%);".
"float( expresion)" devuelve la representacin decimal de expresin. p.e.''float( %pi) ;". Por
defecto, Maxima obtiene 15 decimales exactos.
"fpprec :precision;" establece una precisin fija para la representacin decimal de "bfloat(
expresion )".Los nmeros obtenidos terminan en "bN " siendo N un nmero entero que
indica que los nmeros anteriores se deben multiplicar por 10n . Vase ,
"fpprec:40$bfloat( %pi)".

CAPTULO5:ORTOGONALIDAD.

El comando "dotproduct(x ,y)" devuelve el producto escalar estndar de las listas o

matrices columnas x, y de igual longitud.
"integrate (expr,x ,a,b) " calcula la integral definida de la expresin expr respecto de x
con lmites de integracin a y b. "inprod (x,y)" o "innerproduct (x , y)" devuelve el
producto escalar estndar de las listas o matrices columnas x, y de igual longitud .
Antes es necesario evaluar "load(eigen)".
El nmero se representa mediante "%pi",el sen x por "sin (x)" y el cos(x) por "cos
(x)" respectivamente.
"gschmit(A)" o "gramschmidt (A)" aplican al sistema formado por los vectores filas de la
matriz A el mtodo de Gram-Schmidt sin normalizar con el producto escalar estndar.
Es necesario evaluar previamente"load (eigen)".
No tiene un comando que calcule la proyeccin ortogonal de un vector sobre un
subespacio.
 "lsquares_ _estimates (A,[x ,y] , Y= m*x+n , [m ,n]) ;" calcula los valores m y n de la
recta de mnimos cuadrados y = m x + n para los datos (x, y) que determinan las filas
de la matriz A. Es necesario evaluar primero, "load(lsquares)".
Si a:[1 ,2,5] y b:[3,4,6] el comando"wxplot2d ([discrete,a,b],[style ,[points]]) ;"representa
los puntos (1 ,3) ,(2,4) y (5,6). Si en el comando anterior, se omite [style ,[points]]
entonces se representan la lnea poligonal que definen dichos puntos.
Si M es la matriz de datos, "lsquares_ estimates (M, [x,y,z], z= a*x+b*y+c,[a,b,c]);"
devuelve los valores de a,b,c tales que el plano z = ax + by + c es el obtenido mediante
el mtodo de mnimos cuadrados. Es necesario evaluar primero, "load(lsquares}".

CAPTULO6:FORMASBILINEALESYCUADRTICAS.

No posee un comando que compruebe si una aplicacin es bilineal.

Se puede utilizar el producto de matrices para calcular f (ei , ej ).
"transpose(X);" calcula la traspuesta de X.
Se puede utilizar el producto de matrices para calcular la imagen de un vector por una
forma cuadrtica.
"rank( A); " devuelve el rango de A .
No dispone de un comando que clasifique una forma cuadrtica.
"plot2d (funcin(x), [x,xmin ,xmax]); "y "plot3d(funcin(x,y),[x,xmin,xmax],
[y,ymin,ymax]); " representan la funcin (explcita) entre esos lmites en dos y tres
dimensiones respectivamente. Es posible eliminar los intervalos de representacin.
"eigenvalues(A) "calcula las races caractersticas de A.
"submatrix( i1, ... ,im.A, j1 , ... , Jn)" devuelve la submatriz de A que resulta al eliminar
la filas i1, ... , im y columnas j1, ... , Jn
"draw2d(implicit(funcin , x,xmin ,xmax,y,ymin,ymax))" representa la funcin implcita
(funcin). Es necesario evaluar previamente "load(draw)$".
"draw3d(implicit(funcin ,x,xmin,xmax, y,ymin ,ymax,z ,zmin,zmax))" representa la
funcin implcita (funcin)para dichos valores. Para ello es necesario evaluar
previamente "load(draw)$".
" realroots(expresin)'calcula las races reales distintas de la expresin , p.e"real
roots(p^3-32* p-44) ;"pero no da la multiplicidad.
''factor(expresin) ;"factoriza la expresin si las races son nmeros enteros y por lo
tanto da informacin acerca de la multiplicidad de la raz.
"allroots(expresin)" calcula de forma aproximada las races reales de la expresin. Es
interesante comparar lo que devuelve "realroots(p^3-3*p^2+3* P-1 );" y "realroots(p^ 3-
3*p^2+3*p-1 );"