LaurentClaessens / mazhe

(almost) Everything I know in math.
http://laurent.claessens-donadello.eu/
GNU General Public License v3.0
121 stars 33 forks source link

Giulietta

(English) This is a big course of mathematics declined in two versions. See below for an English presentation of the English part.

(Français) Ce dépôt contient les sources d'un livre de mathématique, décliné en deux versions :

Le Frido (en français)

« Le Frido » contient des mathématiques du niveau de l'agrégation. Il couvre (à peu près) tout le programme de 2015.

Contribuer

Il y a plusieurs façons de contribuer.

Dans tous les cas, utilisez au maximum le système de labels du Frido pour faire des références. Ne dites pas "le théorème de Dini" ou (pire) "le théorème 12.316". Dites le "ThoUFPLEZh".

Compilation

    git clone https://github.com/LaurentClaessens/mazhe
    cd mazhe

Partie facile

    pdflatex mazhe.tex

fera déjà une bonne partie du boulot, mais pas la bibliogrpahie.

Principe général pour la suite

Pour compiler correctement le Frido, il faut lancer un script en python. Pour ne pas avoir à utiliser le python du système (on ne veut pas y faire de pip install), on va :

De cette façon, on va pouvoir utiliser un python tout propre avec tout ce qu'il nous faut sans toucher au précieux python du système. Il ne faut jamais toucher au python installé sur votre système.

Si vous n'avez pas encore pyenv

Note : adaptez ~/.pyenv si vous voulez installer python ailleurs.

sudo apt install  build-essential zlib1g-dev libffi-dev libssl-dev libreadline-dev libsqlite3-dev liblzma-dev libbz2-dev

git clone https://github.com/pyenv/pyenv.git ~/.pyenv
cd ~/.pyenv/bin
./pyenv install -s -v 3.10.12

compiler le frido tl;dr (trop long; donne un résumé)

Note : si vous n'avez pas installé python dans ~/.pyenv vous devez éditer le fichier make_venv.sh et adapter la ligne

pyenv_dir=~/.pyenv

Pour créer le répertoire venv :

    ./make_venv.sh

Vous pouvez maintenant compiler le Frido et Giulietta

    ./compile_part.py lst_lefrido.json
    ./compile_part.py lst_giulietta.json

compiler une partie du frido : tl;dr