software libre de aplicacin para la asignatura de matemtica 01- 2011

UNIVERSIDAD TECNOLOGICA DE EL SALVADOR FACULTAD DE INFORMATICA Y CIENCIAS APLICADAS ESCUELA DE CIENCIAS APLICADAS ING. JULIO CESAR ORANTES CATEDRA DE CIENCIAS Y MATEMTICA

Matemtica I Seccin: 06 Docente: Ing. Yanira Emperatriz Gmez Reyes Instructor: Germn A. Alvarado Software libre de aplicacin para la asignatura de matemticas

1) 25-3341-2011 Hafid Onofre Rivas Erazo

_________________

2) 25-2368-2011 Willian Alexander Magaa Carbajal ________________

3) 22-2530-2010 Jos Gustavo Miranda Prez

________________

4) 22-2817-2011 Salvador Antonio Rodrguez

________________

5) 25-1193-2010

Daniel Alfredo Gonzales Rosales

________________

15-02-2011

TE

S ft

PITULO I Pl mi i o d l probl m probl m i

1.1 Si u

E l i l ti i P t t L i l l
1.2 E u

li l

li .

l i

q li i t q i i h

ft

i do d l probl m

li

l l

j ti ll

1.3 us ifi

Si ti h q t t l

        
e e e c c s e e c 01- 2011

li

li

ti

i t

q l ti

l l

, q

l ti

lt

j l ll til l i

i i ll i t t j i i t i t l ti t l

f tili i t t i t t l t t l ti i ti

l i t t ,j lt j lt t l t it ( S t . : S ti i lt q . l f ili i h t q

i t

t l

E,

i j

i l i i

l t

l ti

t ?

tili

ft

d l probl m

h j if il i i

l t i t

fi i ti t

i i ill l l i t

t q i

f lt

til.

Debi

est

facilitan el entendi iento

on el avance de la tecnologa

matemticos que han facilitado en gran manera el estudio de las matemticas con solo tener acceso a un ordenador aprender fcilmente las mismas. En este trabajo les hablaremos de estas alternativas de estudio que son los soft are libres gratuitos de sus aplicaciones debidas funciones hablndoles ejecutar un simple programa pueden

en especial de uno llamado: SA E. on SA E se es capaz de realizar distintos ejercicios aritmticos, algebraicos, funciones ejercicios de anlisis ecuaciones como tambin este programa es capaz de graficar funciones en el plano cartesiano .
1.4 Obj ivos d i v s ig Obj ivo g r l i

Poder facilitar el aprendizaje mediante la utilizaci n de un soft are libre en la asignatura de matematicas facilitando la enseanza comprensi n de los temas ejercicios desarrollados en cada clase fortaleciendo asi el conocimiento de cada estudiante para poder obtener un mejor rendimiento acadmico mediante el uso apropiado consistente de la tecnologa en el aprendizaje.
fi os

Obj ivos sp

Facilitar el aprendizaje del estudiante mediante el uso de la tecnologa

Poder aportar una ayuda a los estudiantes que ms lo necesitan mediante

la presentaci n de este tipo de soft are educativo.

conocer cules son los beneficios de la utilizaci n de la tecnologa e n el

progreso de la educaci n superior.

" % 43 "3 ' "#2 "0 1% " "$ "#"( 0)% " %$(" ' #&%$ #" !  5 
e e e c c s e e c 01- 2011

surgi

uch s libros

todos que

racticndolos

comprensi n de ejercicios matemticos debido a esta problemtica han surgido soft are

1.5

limi

io

limi

Esp

Este trabajo se realizo en el campus de La Universidad Salvador.

limi i So i l

Los estudiantes del primer ciclo de matemticas I que tienen problemas con las matemticas y la aplicaci n de un soft are para ayudarlos en su aprendizaje.
limi i Tempor l

Se realizo durante el ciclo

1. l es

on este trabajo se pretende que la mayora de los estudiantes del primer ciclo de matemticas I conozcan matemticas. ms acerca de los soft are de

 Que los estudiantes puedan utilizar esta alternativa de estudio para superar sus dificultades en las matemticas.  onocer y explicar la utilizaci n de un soft are en especifico lla mado SA E y dar a conocer las ventajas de su utilizaci n.  Aplicar la tecnologa en nuestro aprendizaje.

1.7 Limi

io es

 La falta de aplicaci n de la tecnologa al estudio de las matemticas.

@ C RQ @Q E @AP @H IC @ @B @A@F HGC @ CBF@ E ADCB A@ 9 6 8 8 87 S 8

e e e c c s e e c 01- 2011

i l

Tecnol gica de El

CAPITULO II ARCO TEORICO:

SA E es el soft are libre, las matemticas de cdigo abierto que apoya la investigacin y la enseanza del lgebra, geometra, teora de nmeros, la criptografa, computacin numrica, y reas relacionadas. Tanto el Sabio modelo de desarrollo y la tecnologa en s misma Sabio se caracteriza por un nfasis muy fuerte en la apertura, la comunidad, la cooperacin y colaboracin: estamos construyendo el coche, no reinventar la rueda. El objetivo general de Sage es crear una alternativa viable y libre, de cdigo abie rto a agma, y ATLAB. aple, athematica,

La velocidad es fundamental en los clculos matemticos. Aunque Python es un lenguaje muy conveniente de alto nivel, ciertos clculos pueden ser varios rdenes de magnitud ms rpido que en Python si se aplican con tipos estticos en un lenguaje compilado. Algunos aspectos de Sage hubiera sido demasiado lento si hubiera sido escrito completamente en Python. Para hacer frente a esto, Sabio apoya un compilado "versin" de Python llamado ython es a la vez similares a las de Python y ython ([ yt] y [Pirineos] . . La mayora de las

construcciones de Python, incluyendo listas por comprensin, expresiones condicionales, un cdigo como + = se permiten, tambin puede importar cdigo que he escrito en otros mdulos de Python. Por otra parte, puede declarar variables arbitrarias y arbitrarias llamadas a las bibliotecas se puede hacer

directamente. El cdigo resultante se convierte en compilador de .

Python es un lenguaje de programacin que te permite trabajar con mayor rapidez e integrar sus sistemas con mayor eficacia. Usted puede aprender a usar Python y ver las ganancias casi inmediatas en la productividad y reducir los costos de mantenimiento. . Explicacion sobre su fuincionalidad.

abe destacar y aclarar el significado de SA E=SABI . eometra Algebraica

5

X a pi Xi c XYh Xf ga X X` XYXd fea X a`dX c Yba` YX W T V V VU q V

e e e c c s e e c 01- 2011

y compilado con un

Puede definir arbitraria variedades algebraicas en Sage, pero a veces no trivial funcionalidad se limita a los anillos de ms de \ QQ o campos finitos. Por ejemplo, podemos calcular la unin de dos curvas planas afines, a continuacin, recuperar las curvas como los componentes irreductibles de la unin.

sabio:. x, y = AffineSpace ( , QQ, 'XY' gens ( sabio: sabio: = urva (x ^ = urva (x ^ + +y +y

sabio: D = sabio: D

Afn curva ms racional del campo definido por x^ +x^ *y^ +x^ *y^ +y^ x^ y^ x^ y^ +

sabio: D.irreducible_components (

subesquema cerrado de espacio afn de dimen sin definido por: x^ +y^ ,

subesquema cerrado de espacio afn de dimensin definido por: x^ ] +y a

Tambin podemos encontrar todos los puntos de interseccin de las dos curvas se cruzan por ellas y la informtica los componentes irreductibles.

sabio: V =

.intersection (

sabio: V.irreducible_components (

subesquema cerrado de espacio afn de dimensin definido por: y x,

6

v y v vw v y v vx vwv y v yxv wyx wv u r t t ts t

e e e c c s e e c 01- 2011

sobre racional de campo

sobre racional de campo

sobre racional de campo

subesquema cerrado de espacio afn de dimensin definido por: y, x ,

subesquema cerrado de espacio afn de dimensin definido por: x+y+ , *y^ + + *y

As, por ejemplo, ( , .

como algunos (cuadrtica) puntos cuyas coordenadas satisfacen y ^

Sabio puede calcular el ideal trico del cbicos trenzado en el espacio proyectivo : sabio: . <a,b,c,d> = Polynomial ing (QQ, ) sabio: I = ideal (b ^ a, c *, c * ^ b d, a * b * d-c)

sabio: F = I.groebner_fan (), F roebner seguidores del ideal: Ideal (b ^ - a, c *, c ^ - * b * d, b, c + a * d) del anillo de polinomios

multivariados en a, b, c, d ms racional de campo sabio: F.reduced_groebner_bases () ^ [[-C [C ^ [C ^ [C ^ [C ^ [-C ^ [-C ^ + b * d,-b * c + a * d,-b ^ - b * d,-b * c + a * d,-b ^ - b * d *, b, c - a * d,-b ^ - b * d *, b, c - a * d, b ^ - b * d *, b, c - a * d, b ^ + b * d, b ^ + a * c], + a * c], + a * c,-b ^ -a^ - a * c], +a^ * d], * ^ d,-b + a * c],

+ b * d *, b, c - a * d, b ^

[C ^ 3 - a * d ^ -c ^

sabio: F.polyhedralfan ()
7

ji i h f g d fe d k
e e e c c s e e c 01- 2011

sobre racional de campo

sobre racional de campo

y( ,

estn en las dos curvas (visiblemente claro), as + y+ =

- c * a *, b, c + a * d], - ^ a * c, c-3 + a * d ^ ], - a * c]]

+ b * d *, b, c - a * d, b ^

Polidrica del ventilador en cuatro dimensiones de la dimensin

Las curvas elpticas

funcionalidad de curva elptica incluye la mayor parte de la funcionalidad de curva elptica de PA I, el acceso a los datos en tablas en lnea de Cremona (esto requiere un paquete de base de datos opcional), la funcionalidad de mwrank, es decir, de bajadas con el cmputo de todo el grupo ordell -Weil, el algoritmo de

EAE, el cmputo de todos los isogenies, nuevo cdigo tanto para las curvas ms \ QQ, y algunos de los software de ascendencia algebraica Denis Simon. El EllipticCurve comando para crear una curva elptica tiene muchas formas:

EllipticCurve ([a_1, a_2, a_3, a_4, a_6]): Devuel ve la curva elptica

Y ^ 2 + + a_1xy a_3y = x ^ 3 + 2 + a_2x a_4x + a_6,

donde el a_i son obligados a los padres de a_1. Si todos los padres han a_i \ ZZ, estn obligados a \ QQ.

EllipticCurve ([a_4, a_6]): Igual que el anterior, pero a_1 a_2 = = =

EllipticCurve (etiqueta): Devuelve la curva elptica sobre la base de datos de Cremona con el dado (nuevo!) Etiqueta de Cremona. La etiqueta es una cadena, como "11 bis" o "37b2". La carta debe ir en minsculas (para distinguirlo de las etiquetas de edad). EllipticCurve (j): Devuelve una curva elptica con j -invariante j. EllipticCurve ( , [a_1, a_2, a_3, a_4, a_6]): Crear la curva elptica sobre un anillo con a_i determinado que el anterior.

Se ilustra cada uno de estos constructores:

sabio: EllipticCurve ([ , ,1, -1, ])

8

p s |{ p{ u pqz px ys p pr pqpv xws p srvp u qtsr qp o l n n nm } n

e e e c c s e e c 01- 2011

a_3.

Curva elptica definida por y ^ 2 + y = x ^ 3 - x ms racional de campo

sabio: EllipticCurve ([ F ( ) ( ), ,1, -1, ]) Curva elptica definida por y ^ 2 + y = x ^ 3 + 4 * x sobre campo finito de tamao

sabio: EllipticCurve ([1,2]) Curva elptica definida por y ^ 2 = x ^ 3 + x + 2 ms racional de campo

sabio: EllipticCurve ('37a ') Curva elptica definida por y ^ 2 + y = x ^ 3 - x ms racional de campo sabio: EllipticCurve_from_j (1) Curva elptica definida por y ^ 2 + x * = x ^ 3 + 36 * x + 3,455 ms racional de campo

sabio: EllipticCurve ( F (5), [ , ,1, -1, ]) Curva elptica definida por y ^ 2 + y = x ^ 3 + 4 * x sobre campo finito de tamao 5

El par ( , ) es el punto de la curva elptica E definida por y ^ 2 + y = x ^ 3 - x. Para crear este punto en el tipo de Sage E ([ , ]). Sabio puede agregar puntos en esa curva elptica (recordemos las curvas elpticas soportar una estructura de grupo aditivo en el punto en el infinito es el elemento cero y tres puntos colineales en la curva de aadir a cero):

sabio: E = EllipticCurve ([ , ,1, -1, ]) sabio: E Curva elptica definida por y ^ 2 + y = x ^ 3 - x ms racional de campo sabio: P = E ([ , ]) sabio: P + P (1: : 1) sabio: 10 * P (161/16: -2065/64: 1) sabio: 20 * P
9

~ 
e e e c c s e e c 01- 2011

(683916417/264517696: -18784454671297/4302115807744: 1) sabio: E.conductor () 37

Las curvas elpticas sobre los nmeros complejos son parametrizados por el jinvariante. Sabio calcula j-invariante de la siguiente manera:

sabio: E = EllipticCurve ([0,0,0, -4,2]), E Curva elptica definida por y ^ 2 = x ^ 3 -4 * x + 2 ms racional de campo sabio: E.conductor () 2368 sabio: E.j_invariant () 110592/37

Si hacemos una curva con la misma j-invariante como la de E, no tiene que ser isomorfo a E. En el ejemplo siguiente, las curvas no son isomorfos porque sus conductores son diferentes.

sabio: F = EllipticCurve_from_j (110592/37) sabio: F.conductor () 37

Sin embargo, el giro de F por 2 da una curva isomorfos.

sabio:

= F.quadratic_twist (2),

Curva elptica definida por y ^ 2 = x ^ 3 -4 * x + 2 ms racional de campo sabio: 2368 sabio: .j_invariant () .conductor ()

110592/37

Podemos calcular la a_n coeficientes de la serie L o de forma modular \ sum_ {n = 0} n a_nq ^ ^ \ infty adjunta a la curva elptica. Este clculo se utiliza el PA I C 10

e e e c c s e e c 01- 2011

biblioteca:

sabio: E = EllipticCurve ([0,0,1, -1,0]) sabio: E.anlist de impresin (30) [0, 1, -2, -3, 2, -2, 6, -1, 0, 6, 4, -5, -6, -2, 2, 6, -4, 0, -12, 0, -4, 3, 10, 2, 0, -1, 4, -9, -2, 6, -12] sabio: v = E.anlist (10000)

Slo toma un segundo para calcular todos los a_n para n \ leq 10 ^ 5:

sabio:% de tiempo v = E.anlist (100000) tiempos de CPU: 0.98 s de usuario, los sistemas: 0,06 s, total: 1,04 s tiempo de pared: 1.06

Las curvas elpticas pueden ser construidos usando sus etiquetas de Cremona. Esta pre-carga la curva elptica con informacin sobre su rango, nmero de Tamagawa, regulador, etc

sabio: E = EllipticCurve ("37b2") sabio: E Curva elptica definida por y ^ 2 + y = x ^ 3 + x ^ 2 -1873 * x - 31.833 ms racional Campo sabio: E = EllipticCurve ("389a") sabio: E Curva elptica definida por y ^ 2 + y = x ^ 3 + x ^ 2 - 2 * x ms racional de campo sabio: E.rank () 2 sabio: E = EllipticCurve (5077a) sabio: E.rank () 3

Tambin podemos acceder a la base de datos de Cremona directamente.

e e e c c s e e c 01- 2011 11

sabio: db sage.databases.cremona.CremonaDatabase = () sabio: db.curves (37) {'A1': [[0, 0, 1, -1, 0], 1, 1], "B1": [[0, 1, 1, -23, -50], 0, 3]} sabio: db.allcurves (37) {'A1': [[0, 0, 1, -1, 0], 1, 1], "B1": [[0, 1, 1, -23, -50], 0, 3], 'B2': [[0, 1, 1, -1.873, -31.833], 0, 1], 'B3': [[0, 1, 1, -3, 1], 0, 3]}

Los objetos devueltos de la base de datos no son del tipo EllipticCurve. Son elementos de una base de datos y tener un par de campos, y eso es todo. ay una pequea versin de base de datos de Cremona, que se dist ribuye de forma predeterminada con Sage, y contiene informacin limitada sobre curvas elpticas del conductor \ leq 10000. Tambin hay una versin de mayor tamao opcional, que contiene amplia informacin sobre todas las curvas del conductor hasta 120.000 (a partir de octubre de 2005). Tambin hay un enorme (2GB) paquete de base de datos opcional para Sage que contiene los cientos de millones de curvas elpticas en la base de datos de Stein -Watkins. Caracteres de Dirichlet

Un carcter de Dirichlet es la extensin de un homomorfismo (\ ZZ / N \ ZZ) * ^ \ ^ a * , por algn anillo , en el mapa \ ZZ \ a la I obtenidos mediante el envo de los nmeros enteros x con \ mcd (N, x)> 1 a 0.

sabio: G = DirichletGroup (12) sabio: G.list () [Dirichlet modulo de 12 caracteres de conductor de una asignacin de 7 | -> 1, 5 | -> 1, Dirichlet modulo de 12 caracteres de conductor de 4 mapas 7 | -> -1, 5 | -> 1, Dirichlet modulo de 12 caracteres de conductor de tres mapas 7 | -> 1, 5 | -> -1, Dirichlet modulo de 12 caracteres de conductor de 12 mapas 7 | -> -1, 5 | -> 1] sabio: G.gens () ( dulo de Dirichlet de 12 caracteres del conductor cuatro mapas 7 | -> -1, 5 | ->
12

e e e c c s e e c 01- 2011

1, Dirichlet modulo de 12 caracteres de conductor de tres mapas 7 | -> 1, 5 | -> -1) sabio: len (G) 4 Despus de haber creado el grupo, pasamos a crear un elemento y calcular con l. sabio: G = DirichletGroup (21) sabio: Chi = G.1; chi Dirichlet modulo carcter 21 del conductor de 7 mapas 8 | -> 1, 10 | -> zeta6 sabio: chi.values () [0, 1, zeta6 - 1, 0,-zeta6,-zeta6 + 1, 0, 0, 1, 0, zeta6, -zeta6, 0, -1, 0, 0, zeta6 - 1, zeta6, 0,-zeta6 + 1, -1] sabio: chi.conductor () 7 sabio: chi.modulus () 21 sabio: chi.order () 6 sabio: chi (19) -Zeta6 + 1 sabio: chi (40) -Zeta6 + 1

Tambin es posible calcular la accin del grupo de Galois \ text {Ga} (\ QQ (\ zeta_N) / \ QQ) sobre estos personajes, as como la descomposicin de productos de particular que corresponde a la factorizacin del mdulo. sabio: chi.galois_orbit () [Dirichlet modulo carcter 21 del conductor de 7 mapas 8 | -> 1, 10 | -> zeta6, Dirichlet modulo carcter 21 del conductor de 7 mapas 8 | -> 1, 10 | ->-zeta6 + 1]

sabio: ir = G.galois_orbits () sabio: [len (rbita) para la rbita de ir]

13

e e e c c s e e c 01- 2011

[1, 2, 2, 1, 1, 2, 2, 1] sabio: G.decomposition () Grupo de los caracteres de Dirichlet del mdulo 3 sobre el campo ciclotmico de orden 6 y 2 grados, Grupo de los caracteres de Dirichlet del mdulo 7 sobre campo ciclotmico de orden 6 y 2 grados A continuacin, se construye el conjunto de caracteres de Dirichlet mod 20, pero con valores en \ QQ (i): sabio: K. <i> = NumberField (x ^ 2 +1) sabio: G = DirichletGroup (20 K) sabio: G Grupo de los caracteres de Dirichlet del mdulo 20 sobre el terr eno en nmero i con la definicin de polinomio x ^ 2 + 1

A continuacin calcular invariantes varios de G:

sabio: G.gens () ( dulo de Dirichlet de 20 caracteres del conductor 4 mapeo 11 | -> -1, 17 | - 1>, mdulo de Dirichlet de 20 caracteres del con ductor cinco mapas 11 | -> 1, 17 | -> sabio: G.unit_gens () [11, 17] sabio: G.zeta () i sabio: G.zeta_order () 4

En este ejemplo vamos a crear un carcter de Dirichlet con valores en un campo de nmero. Nos especificar explcitamente la eleccin de la raz de la unidad por el tercer argumento para DirichletGroup a continuacin. sabio: x = polygen (QQ, 'x')
14

e e e c c s e e c 01- 2011

sabio: K = NumberField (x ^ 4 + 1, 'a'), un K.0 = sabio: b = K.gen (); a == b Verdadero sabio: K Nmero de campo en una de definir polinomi o x ^ 4 + 1 sabio: G = DirichletGroup (5, K, a), G Grupo de los caracteres de Dirichlet del mdulo 5 en Nmero de campo en un con polinomio que define x ^ 4 + 1 sabio: G.0 ji =; chi mdulo de Dirichlet 5 caracteres de conductor 5 mapas 2 | -> a ^ 2 sabio: [(Chi ^ i) (2) for i in range (4)] [1, ^ 2, -1,-a ^ 2]

Aqu NumberField (x ^ 4 + 1 "a") dice sabio utilizar el smbolo "a" en la impresin de lo que K es (un campo en un nmero de definir polinomio x ^ 4 + 1). El nombre "a" es declarado en este pu nto. Una vez que un K.0 = (o equivalente a = K.gen ()) se evala, el smbolo "a" representa una raz del polinomio generador x ^ 4 +1. odular las formas

Sabio puede hacer algunos clculos relacionados con las formas modulares, incluyendo las dimensiones, espacios informticos de los smbolos modular, los operadores de ecke, y descomposiciones.

ay varias funciones disponibles para el clculo de las dime nsiones de los espacios de formas modulares. Por ejemplo,

sabio: dimension_cusp_forms (Gamma0 (11), 2) 1 sabio: dimension_cusp_forms (Gamma0 (1), 12) 1 sabio: dimension_cusp_forms (gamma1 (389), 2) 6112

e e e c c s e e c 01- 2011 15

A continuacin se ilustra el clculo de los operadores de ecke en un espacio de smbolos modular de nivel 1 y peso 12.

sabio: sabio:

odularSymbols (1,12)

.basis ()

([X ^ 8 * ^ Y 2, (0,0)], [^ X 9 Y *, (0,0)], [X ^ 10, (0,0)]) sabio: t2 = sabio: t2 ecke T_2 creador de modular e l espacio de dimensin 3 Smbolos de Gamma_0 (1) de peso 12 con seal de 0 sobre el campo racional sabio: t2.matrix () [-24 0 0] [0 -24 0] [4860 0 2049] sabio: f = t2.charpoly ('x'), f x ^ 3-2001 * x ^ 2-97776 * x - 1180224 sabio: Factor (f) (X - 2049) * (x + 24) ^ 2 sabio: .T (11) funcin charpoly ('x') factor ().. .T (2)

(X - 285 311 670 612) * (x - 534 612) ^ 2

Tambin puede crear espacios para \ Gamma_0 (N) y \ Gamma_1 (N).

sabio:

odularSymbols (11,2)

Smbolos modular el espacio de dimensin 3 para Gamma_0 (11) de 2 pesos con el signo 0 sobre el campo racional sabio: odularSymbols (gamma1 (11), 2)

Smbolos modular el espacio de dimensin 11 para Gamma_1 (11) de 2 pesos con 0 Signo y ms racional de campo

   

e e

c c

01- 2011

16

Vamos a calcular algunos polinomios caractersticos y q expansiones. sabio: sabio: = odularSymbols (gamma1 (11), 2)

.T (2) funcin charpoly ('x').

x ^ 11-8 * x ^ 10 + 20 * x ^ 9 + 10 * x ^ 8-145 * x ^ 7 + 229 * x ^ 6 + 58 * x ^ 5 a 360 *x^4 + 70 * x ^ 3-515 * x ^ 2 + 1,804 * x - 1452 sabio: .T (2) funcin charpoly ('x') factor ()..

(X - 3) * (x + 2) ^ 2 * (x ^ 4-7 * x ^ 3 + 19 * x ^ 2 - 23 * x + 11) * (X ^ 4-2 * x ^ 3 + 4 * x ^ 2 + 2 * x + 11) sabio: S = [-2 0] [0 -2] sabio: S.q_expansion_basis (10) .cuspidal_submodule ()

sabio:. S.T (2) de la matriz ()

q - 2 * q ^ 2 - ^ q 3 + 2 * q ^ q ^ 4 + 5 + 2 * q ^ 6 -2 * q ^ 7-2 * q ^ 9 +

Incluso podemos calcular los espacios de los smbolos de carcter modular.

sabio: G = DirichletGroup (13) sabio: e = 2 ^ G.0 sabio: = odularSymbols (e, 2),

Smbolos modular el espacio de dimensin 4 y el nivel 13, 2 pesos, el carcter [Zeta6], seal de 0, en campo ciclotmico de orden 6 y grado 2 sabio: .T (2) funcin charpoly ('x') factor ().. .cuspidal_submodule (); S

(X - 2 * zeta6 - 1) * (x - zeta6 - 2) * (x + zeta6 + 1) ^ 2 sabio: S = odular Smbolos subespacio de dimensin 2 de modular el espacio de los smbolos dimensin 4 y el nivel 13, 2 pesos, el personaj e de [zeta6], signo 0, en Campo ciclotmico de orden 6 y grado 2 sabio: S.T (2) funcin charpoly ('x') factor ()..
17

 ! 0) ) # ( & '!   $ &%!  ! $ # "!       1 

e e

c c

01- 2011

(q ^ 10)

(X + zeta6 + 1) ^ 2 sabio: S.q_expansion_basis (10) q + (-zeta6 - 1) * q ^ 2 + (2 * zeta6 - 2) * q ^ 3 + zeta6 * q ^ 4 + (-2 * zeta6 + 1) * q ^5 + (-2 * Zeta6 + 4) * q ^ 6 + (2 * zeta6 - 1) * q ^ 8 - zeta6 * q ^ 9 + (q ^ 10)

e aqu otro ejemplo de cmo sabio puede calcular la accin de los operadores de ecke en un espacio de formas modulares.

sabio: T = sabio: T

odularForms (Gamma0 (11), 2)

odular las formas del espacio de dimensin 2 para congruencia Subgrupo Gamma0 (11) de 2 pesos ms racional de campo sabio: T.degree () 2 sabio: T.level () 11 sabio: T.group () Congruencia Subgrupo Gamma0 (11) sabio: T.dimension () 2 sabio: T.cuspidal_subspace () Cuspidales subespacio de dimensin 1 de modular el espacio las formas de dimensin 2 para Congruencia Subgrupo Gamma0 (11) de 2 pesos ms racional de campo sabio: T.eisenstein_subspace () Eisenstein subespacio de dimensin 1 de modular el espacio las formas de dimensin 2 de congruencia Subgrupo Gamma0 (11) de 2 pesos ms racional de campo sabio: = odularSymbols (11),

Smbolos modular el espacio de dimensin 3 para Gamma_0 (11) de 2 pesos con el signo 0 sobre el campo racional
18

6 9 HG 6G A 67F 6D E9 6 68 676B DC9 6 98B6 A 7@98 76 5 2 4 4 43 I 4

e e

c c

01- 2011

sabio: 2 sabio:

.weight ()

.basis ()

((1,0), (1,8), (1,9)) sabio: .sign

Que T_p denotar la habitual operadores de ecke (primo p). Cmo se T_2 ecke operadores, T_3, acto T_5 en el espacio de los smbolos modulares?

sabio:. [3 0 -1] [0 -2 0] [0 0 -2] sabio:. [4 0 -1] [0 -1 0] [0 0 -1] sabio:. [6 0 -1] [0 1 0] [0 0 1]

.T (2) de la matriz ()

.T (3) de la matriz ()

.T (5) de la matriz ()

Bibliografa: Grupos, Algoritmos y Programacin, Versin 4.4 Fundamentos de Ecuaciones Diferenciales. 6 edicin, Addison -Wesley, 2004. Un sistema de lgebra computacional para el clculo polinomio evista informativa de atemticas y Ciencia Veintids sptimos GA A Galicia atemtica g evista Galega de Educacin atemtica evista de atemticas SIGMA

T W fe Te Y TUd Tb cW T TV TUT` baW T WV`T Y UXWV UT S P R R RQ g R

e e

c c

01- 2011

19

I VESTI ACION

MET DOLOGIA DE LA INVESTIGACION

Pobl i y mues r .

Para conocer la opinin de los estudiantes de la facultad de informtica y ciencias aplicadas acerca de la utilizacin de un software de procesos matemticos en la evolucin de la educacin. Se consider como poblacin los estudiantes pertenecientes a la facultad de Informtica y ciencias aplicadas. Tomndose como muestra los estudiantes de orientacin tcnica seccin 04 siendo en total los encuestados 60 alumnos de las siguientes carreras: -Ingeniera en Sistemas y Computacin -Ingeniera Industrial Distribuyndose de la siguiente manera:
Carrera N Alum os

Ing. Sistemas y Computacin Ing. Idustrial

To al

La muestra se conform por los estudiantes de estas dos carreras del sexo femenino y masculino.

r u r w rs r u r rt rsrx yu r utxr w svut sr q h p p pi p

e e

c c

01- 2011

E CAMPO

35 25 60

20

TECNICAS E INST UMENTOS

La tcnica para la recoleccin de la informacin que permiti establecer un diagnstico de la interrogante en estudio fue la encuesta. Y el instrumento que se aplico fue el cuestionario elaborado por el grupo (ver anexo). Para la identificaion del encuestado se recabaron los siguientes datos: Sexo, Carrera. Los elementos que conforman la encuesta son tems cerrados consta de cuatro interrogantes. Las interrogantes son del tipo de preferencia ya que preguntan al sujeto acerca de sus gustos y preferencias de estudios.

fe e d g

e e

c c

01- 2011

21

P OCEDIMIENTOS

Una vez elaborado el instrumento y con el objetivo de validarlo se procedi a realizar la prueba piloto que se ejecut en la clase de Orientacin Tcnica seccin 04 que tuvo una duracin de 20 minutos. Los pasos utilizados para recolectar los datos son los siguientes: -El instrumento se aplic en un tiempo de 10 a 15 minutos. -Despus de la recoleccin de datos se procedi a estructurar los cuadros de frecuencia y porcentaje para liego construir los grficos correspondientes a cada uno de los tems. -Se analizaron los datos con base a un total de encuestados de 60 personas.

l o xw lw q lmv lt uo l ln lmlr tso l onrl q mpon ml k h j j ji y j

e e

c c

01- 2011

22

software libre de aplicacin para la asignatura de matemtica 01- 2011

ANALISIS DATOS GENERALES

Sex .

Sex Femenino Masculino Total

F ec encia 37 23 60

% 61.67 38.33 100

Sexo

70
60 50 40

61.67%

37

38.33% 3

% FRECUENCIA

30 0

10
0 FEMENINO MASCULINO

23

software libre de aplicacin para la asignatura de matemtica 01- 2011

Ca e a.

Ca e a Ing. Sistemas Ing. Industrial Total

F ec encia 35 25 60

% 58.33 41.67 100

CARRERA
58.33%

60
50

35

40
30

0 0
ING. SISTEMAS ING. INDUSTRIAL % FRECUENCIA

10

A continuacin procederemos a realizar el anlisis respectivo por cada pregunta con su respectivo grfico.

24

41.67%

software libre de aplicacin para la asignatura de matemtica 01- 2011

Pe

nta N1

Estaras dispuesto a utilizar un programa en la asignatura de matemticas Re Si o Total e ta F ec encia 45 15 60 % 75 25 100

Pregunta 1
25%

SI NO

75%

Por medio de esta encuesta en esta interrogante emos concluido ue la mayora de los estudiantes estaran dispuestos a usar un software en sus estudios mientras ue la minora piensa ue no es importante.

25

software libre de aplicacin para la asignatura de matemtica 01- 2011

Pe

nta N2

Consideras ue sera provec oso aplicar la tecnologa en el desarrollo de las matemticas Re Si o al vez Total e ta F ec encia 42 8 10 60 % 70 13.3 16.7 100

Pregunta 2

17% 13%

SI
70%

NO
TALVEZ

Podemos concluir ue los estudiantes consideran ue la tecnologa sera un buen apoyo a la educacin ms ue una erramienta sino ue un mtodo de enseanza.

26

software libre de aplicacin para la asignatura de matemtica 01- 2011

Pe

nta N3

Conoces alguno de los siguientes software de matemticas Re Sage Matematix Algebrator inguno Total e ta F ec encia 12 10 8 30 60 % 20 16.7 13.3 50 100

Pregunta 3

50% 20%

SAGE
MATEMATIX

13.30%

16.70%

ALGEBRATOR

NINGUNO

27

software libre de aplicacin para la asignatura de matemtica 01- 2011

Podemos darnos cuenta de ue la mayora de los estudiantes no saban o conocan la existencias de los software matemticos y no conocan la importancia de estos.

Pe

nta N4

Alguna vez as utilizado un software de matemticas Re Si o Total e ta F ec encia 12 48 60 % 20 80 100

PREGUNT 4
20%

0% SI NO

28

La mayora de personas nunca han usado un software matemtico, ms del 80% nunca han usado alguno.

Anlisis

Por medio de esta encuesta nos podemos dar cuenta que la mayora de estudiantes nunca han usado un software y algunos no saban de esta ventaja de la tecnologa que ofrece la mejor manera de practicar y aprender las matemticas. La mayora de estudiantes piensa que sera provechos o sacarle ventaja a la tecnologa una vez ms por medio de los software matemticos y pensamos que sera provechoso que la universidad contara con uno de ellos en cada uno de sus laboratorios para beneficiar a la poblacin estudiantil.

~ 

e e

c c

01- 2011

29

UNIV SID D NOLOGI D L S LV DO P S S je v : ese e e c es es s e e q e e e es e q c es e c c e ec e e c c e e s e e e P v q ec x la res es a q e c s ere c ve e e Sexo: _____________ Carrera: __________________________________ 1) Es aras dis es o a utilizar un programa en la asignatura de matemtica? S NO 2)

NOLOGI D L S LV DO UNIV SID D APLICACIN DE LA TECNOLOGIA EN LAS MATEMATICAS Objetivo: La presente encuesta es un sondeo de opinin que pretende saber qu opina la poblacin estudiantil de la aplicacin de la tecnologa en la educacin por medio de un software de matemtica. Por favor marque con una x la respuesta que considere conveniente. Sexo: _____________ Carrera: __________________________________ 1) Estaras dispuesto a utilizar un programa en la asignatura de matemtica? SI NO 2) Consideras que sera provechoso aplicar la tecnologa en el desarrollo de las matemticas? SI NO TALVEZ Conoces alguno de los siguientes software de matemticas? SAGE MATEMATIX ALGEBRATOR NINGUNO Alguna vez has utilizado un software de matemticas? SI NO

Consideras que sera provechoso aplicar la tecnologa en el desarrollo de las matemticas? S NO TALVEZ Conoces alguno de los siguientes software de matemticas? SAGE MATEMATIX ALGEB ATOR NINGUNO Alguna vez has utilizado un software de matemticas? SI NO

3)

4)

3)

4)

e e

c c

01- 2011

30