Salle de TP virtuelle pour le cours «Combinatoire et Calcul algébrique»#

Le dépôt ComputerLab définit un environnement virtuel pour travailler sur le matériel pédagogique du Cours «Combinatoire et Calcul algébrique», du Master 1 Informatique Parcours MPRI de la Faculté d’Orsay, pour déploiement sur JupyterHub@Paris-Saclay, Binder, ou sur sa propre machine. Il facilite notamment l’installation de tous les artefacts requis:

  • logiciels: SageMath, … (voir le fichier environment.yml)

  • configuration pour la gestion des devoirs avec travo.

Utilisation en ligne#

Avant tout: enseigner l’informatique, c’est une forme de collaboration sur du code. Nous allons donc utiliser une forge logicielle. Si vous ne l’avez pas déjà fait, activez votre compte sur la forge GitLab de Paris Saclay.

Service JupyterHub@Paris-Saclay#

L’université Paris-Saclay mets à votre disposition un service JupyterHub@Paris-Saclay sur lequel sont installés tous les logiciels requis. Vous pouvez vous identifier avec vos identifiants usuels de l’université (Adonis).

  1. Accédez au service JupyterHub@Paris-Saclay.

  2. Choisissez Université Paris Saclay pour vous authentifier, puis Start JupyterLab.

  3. Ouvrez un terminal (Fichier -> Nouveau -> Terminal).

  4. Téléchargez la «salle de TP virtuelle»:

    git clone https://gitlab.dsi.universite-paris-saclay.fr/M1InfoMPRICombAlg/ComputerLab.git ~/M1InfoMPRI/CombAlg/
    

    Note: vous pouvez utiliser tout autre répertoire de destination de votre convenance à la place de ~/M1InfoMPRI/CombAlg/. Il faudra juste adapter les commandes ci-dessous.

  5. Pour télécharger ou mettre à jour un TP ou un projet (ici pour la séance 1):

    cd ~/M1InfoMPRI/CombAlg/
    ./course.py fetch Seance1
    
  6. Vous pouvez alors consulter et travailler sur les fichiers dans ~/M1InfoMPRICombAlg/Seance1.

  7. Pour déposer votre TP (ici pour la séance 1):

     cd ~/M1InfoMPRI/CombAlg/
     ./course.py submit Seance1
    

    Vous pouvez déposer votre travail aussi souvent que vous le souhaitez. Seule la dernière version disponible au moment de la correction sera prise en compte.

  8. Si vous avez rajouté un nouveau fichier, signalez le à git comme d’habitude:

    git add monfichier.ipynb
    

Serveur de secours (Binder)#

Vous pouvez utiliser cet environnement virtuel en ligne dans une session temporaire.

  1. Accédez à la salle de TP virtuelle via ce lien: Binder

  2. Procéder ensuite comme au 3. ci-dessus.

Utilisation sur votre propre machine#

Si vous souhaitez travailler sur votre machine personnelle, voici des instructions pour installer cet environnement. Elles supposent que vous ayez accès à un terminal avec le système de gestion de version git, et un petit peu de familiarité avec ces derniers. Ces instructions devraient être valide sous toute plateforme supportée par conda-forge et notamment Windows, MacOS, Linux. Elles sont fournies telles quelles, sans support technique. Toute suggestion d’amélioration bienvenue.

Avec miniconda (ou micromamba, …)#

  1. Installez le gestionnaire de paquets conda:

    Voir son guide d’installation

  2. Téléchargez la «salle de TP virtuelle»:

    git clone https://gitlab.dsi.universite-paris-saclay.fr/M1InfoMPRICombAlg/ComputerLab.git ~/M1InfoMPRI/CombAlg
    
  3. Installez les logiciels requis:

    cd ~/M1InfoMPRI/CombAlg/
    conda env create
    ./postBuild
    

    La liste des logiciels, pourra être mise à jour en en cours de semestre. Dans ce cas:

    cd ~/M1InfoMPRICombAlg/
    conda env update
    
  4. Procédez ensuite comme sur JupyterHub ci-dessus à partir du 4.

Avec pip#

  1. Téléchargez la «salle de TP virtuelle»:

    git clone https://gitlab.dsi.universite-paris-saclay.fr/M1InfoMPRICombAlg/ComputerLab.git ~/M1InfoMPRI/CombAlg
    
  2. Assurez vous que vous avez toutes les bibliothèques requises (voir le fichier environment.yml). Notamment, installez travo:

    pip install git+https://gitlab.info.uqam.ca/travo/travo.git#egg=dev
    
  3. Procédez ensuite comme sur JupyterHub ci-dessus à partir du 4.

Avec Docker (pas encore disponible)#

Une image docker du cours est fournie dans le Container Registry du projet Gitlab du cours. Voici son identifiant:

gitlab.dsi.universite-paris-saclay.fr:5005/m1infompricombalg/computerlab/image:latest