Skip to content

Latest commit

 

History

History
91 lines (56 loc) · 2.84 KB

README.md

File metadata and controls

91 lines (56 loc) · 2.84 KB
Raw

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.

  • Le lire et m'écrire quand un passage semble obscur, mal justifié voire faux.
  • Rédiger un résultat manquant avec sa preuve à la main sur du papier et m'envoyer une photo de votre feuille.

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 :

  • compiler python 3.10.12 dans ~/.pyenv/versions
  • créer dans mazhe un sous-répertoire venv/bin qui contiendra un lien vers ~/.pyenv/versions/3.10.12/python3
  • Faire des pip install dans venv/lib.

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

  • Éditer le fichier lst_example.json (en ayant changé son nom parce comme il est suivi par git, il ne faut pas compter dessus).
  • Modifier la liste tex_files pour contenir la liste des fichiers à compiler.
  • Modifier le champ pdf_title si vous voulez.
  • compiler :
    ./compile_part.py lst_example.json