|
Size: 1437
Comment:
|
Size: 4192
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| == TODO == * contacter des enseignants pour la conception de l'interface lycée. * contacter des enseignants pour la conception d'ateliers pratiques tests * régler le problème des machines pour les ateliers pratiques * prévoir le spam général (depuis les listes du rectorat) pour les alentours du 10 Décembre |
|
| Line 3: | Line 10: |
| Contacter des profs... | L'utilisation de SAGE n'est pas adapté à une utilisation au niveau collège ou au niveau lycée. {{{ sage: P = x^2 - 2 sage: s1, s2 = P.roots() sage: s1[0] -sqrt(2) sage: s2[0] sqrt(2) sage: s1 < s2 # would like a real comparison ! -sqrt(2) < sqrt(2) # but the result is a symbolic expression }}} Si on veut récupérer les racines algébriques on doit utiliser: {{{ sage: R.<x> = PolynomialRing(QQ,'x') sage: P = R(x^2-2) sage: P.roots(QQbar) [(-1.414213562373095?, 1), (1.414213562373095?, 1)] }}} Il faudrait songer à un moyen simple et agréable de gérer les racines des polynômes de degré < 5... |
| Line 6: | Line 35: |
| * adapter l'espace de nom. * rendre tout fonctionnel (f.derive() ne convient pas à des terminales) |
* franciser (?) * un peu de géométrie interactive... est-ce possible ? |
| Line 16: | Line 45: |
| A adapter à SAGE * géométrie interactive |
== Lycee interface (in english !) == |
| Line 19: | Line 47: |
| The sage lycee interface will be based on sage-4.2 (latest version on the 31rd of October). | |
| Line 20: | Line 49: |
| == Programme de la journée CIRM 2010 == | Notebook server at : https://139.124.6.88:8001 |
| Line 22: | Line 51: |
| envoi du programme par les listes du rectorat pour le 10 Décembre. | * demo file for polynoms at https://139.124.6.88:8001/home/pub/0 Clearing the namespace causes some crashes (there are some general memory initialization). I make research to do it properly. For now, I use a "do it, if it works it's good" method. In the current version, what is available at initialization : Variables and numbers * t,x,y,z : are variables (in fact element of polynomial ring over QQ) * i, I : the well known complex number * e, pi : well known real numbers Rings and fields: * ZZ, QQ, RR, CC : the integers, rationals, reals and complexes. * real_part, imag_part : real and imaginary part of a complex Functions: * cos, sin, tan, arcos, ... : trigo * cosh, sinh, arctanh, ... : hyperbolic trigo * sqrt : the square root function * log, exp : logarithm in any base and exponential Dealing with polynoms: * roots : compute the roots of a polynom (just a messy "def roots(p): return p.roots") * derivative, integerate : compute the derivative and primitive * factor : performs a factorization Geometry: * plot : plot functions or anyobject * point, points, point2d : plot points * line2d : lines * text : some text (could have some latex expression between two '$') * show : show a graphic object Arithmetic: * is_prime, gcd, lcm : standard arithmetic functions * factor * It is possible to work modulo p but not so easily TODO: * sqrt(n) (log(n), exp(n), ...) returns a symbolic expression which does not evaluate correctly as boolean expression. * help topics in the rest documentation * latex rendering in plot is not easy to have : {{{sage: text("$" + latex(my_object) + "$", (0,0))}}}. Is there a better way ? == Programme (provisoire) de la journée CIRM 2010 == |
TODO
- contacter des enseignants pour la conception de l'interface lycée.
- contacter des enseignants pour la conception d'ateliers pratiques tests
- régler le problème des machines pour les ateliers pratiques
- prévoir le spam général (depuis les listes du rectorat) pour les alentours du 10 Décembre
Interface SAGE adapté au programme du lycée
L'utilisation de SAGE n'est pas adapté à une utilisation au niveau collège ou au niveau lycée.
sage: P = x^2 - 2 sage: s1, s2 = P.roots() sage: s1[0] -sqrt(2) sage: s2[0] sqrt(2) sage: s1 < s2 # would like a real comparison ! -sqrt(2) < sqrt(2) # but the result is a symbolic expression
Si on veut récupérer les racines algébriques on doit utiliser:
sage: R.<x> = PolynomialRing(QQ,'x') sage: P = R(x^2-2) sage: P.roots(QQbar) [(-1.414213562373095?, 1), (1.414213562373095?, 1)]
Il faudrait songer à un moyen simple et agréable de gérer les racines des polynômes de degré < 5...
A faire:
- franciser (?)
- un peu de géométrie interactive... est-ce possible ?
Extrait du programme de terminal:
- suites (approximations : pi, e, sqrt(2), ...) [1ère S]
- polynômes du second degré [1ère S]
- étude de fonctions [1ère S]
- continuité, dérivation [Tale S]
- intégration [Tale S]
Lycee interface (in english !)
The sage lycee interface will be based on sage-4.2 (latest version on the 31rd of October).
Notebook server at : https://139.124.6.88:8001
demo file for polynoms at https://139.124.6.88:8001/home/pub/0
Clearing the namespace causes some crashes (there are some general memory initialization). I make research to do it properly. For now, I use a "do it, if it works it's good" method.
In the current version, what is available at initialization :
Variables and numbers
- t,x,y,z : are variables (in fact element of polynomial ring over QQ)
- i, I : the well known complex number
- e, pi : well known real numbers
Rings and fields:
- ZZ, QQ, RR, CC : the integers, rationals, reals and complexes.
- real_part, imag_part : real and imaginary part of a complex
Functions:
- cos, sin, tan, arcos, ... : trigo
- cosh, sinh, arctanh, ... : hyperbolic trigo
- sqrt : the square root function
- log, exp : logarithm in any base and exponential
Dealing with polynoms:
- roots : compute the roots of a polynom (just a messy "def roots(p): return p.roots")
- derivative, integerate : compute the derivative and primitive
- factor : performs a factorization
Geometry:
- plot : plot functions or anyobject
- point, points, point2d : plot points
- line2d : lines
- text : some text (could have some latex expression between two '$')
- show : show a graphic object
Arithmetic:
- is_prime, gcd, lcm : standard arithmetic functions
- factor
- It is possible to work modulo p but not so easily
TODO:
- sqrt(n) (log(n), exp(n), ...) returns a symbolic expression which does not evaluate correctly as boolean expression.
- help topics in the rest documentation
latex rendering in plot is not easy to have : sage: text("$" + latex(my_object) + "$", (0,0)). Is there a better way ?
Programme (provisoire) de la journée CIRM 2010
10h Présentation du logiciel Sage (qui ? ) D'où est parti le projet ? Qu'est-ce qu'un logiciel libre ? Son modèle de développement.
10h30 Premiers pas avec Sage avec "l'interface lycée" les feuilles de travail langage de programmation (~python) utilisation client serveur le partage des feuilles et un exemple de feuille de travail
11H30 Exposé de recherche en s'appuyant sur Sage (Arnoux sur le fractal de Rauzy ?)
14h Ateliers pratiques (propositions de TP à différents niveaux (terminale S et prépa) proposer l'installation des TPs modèles ouvrir un appel à demande de TP pour les profs de lycées (Anne C.) Des gens prêt à réaliser des TP
16h Table ronde: quelle place pour Sage dans l'éducation ? chercheurs + développeurs + enseignants secondaires
17h30 Fin (apéro)