http://db-maths.nuxit.net/CaRMetal/user ... s/discrete
sauf la caractéristique 2, traitée à part ici:
http://db-maths.nuxit.net/CaRMetal/user ... os/caract2
Voilà pour montrer ce que je voudrais faire avec xcas. Pourquoi xcas?
1:Sous CaRMetal, la principale difficulté vient de l'absence de fonctionnalités de calcul formel, en l'occurence la division modulo un nombre premier. xcas au contraire, est muni de "Galois" qui me semble être ce qu'il faut.
2:Ce qui fait qu'xcas n'est pas le meilleur logiciel de géométrie dynamique (graphique non vectoriel, manque de fluidité dans les mouvements) a peu d'importance dans ce cas précis (précis à l'unité pour être ... précis).
Aussi ai-je l'impression qu'xcas est le carcan idéal pour explorer ce domaine (calcul formel + programmation + ce qu'il faut de géométrie dynamique). Mais une lecture de la doc ne me montre pas comment faire... En fait je n'ai pas la certitude qu'on puisse le faire. Alors je commence par la question du jour:
(en d'autres termes, comment un point peut-il se mouvoir avec la souris, en ne pouvant prendre qu'un nombre fini de positions?)Comment peut-on lier un point à un ensemble fini de points (un nuage) et récupérer dynamiquement ses coordonnées, ou le nom du point auquel il est couramment attaché?