Je l'ai bien vérifié, il peut donc y avoir des erreurs.
TL;DR
Sage ou SageMath est l'un des systèmes algébriques informatiques implémentés en étendant Python, et est une version gratuite de Mathematica. C'est également un environnement de développement qui intègre des bibliothèques d'algèbre computationnelle publiées sous forme de divers logiciels open source visant des alternatives.
La structure de l'objet manipulé en mathématiques est plus compliquée que la structure du type manipulé dans le langage de programmation (par exemple, l'héritage et la dérivation. C'est déjà assez compliqué car il existe diverses autres structures, mais ...), donc gérer cela Dans Sage, un mécanisme de conversion de type unique (système cercion) est implémenté.
Par conséquent, si vous souhaitez définir vous-même une nouvelle cible, vous pouvez bénéficier du mécanisme de conversion de type en la définissant selon les règles de cette implémentation. Puisque Sage est une extension de Python, il peut bien sûr être implémenté en tant que langage Python. Dans ce cas, vous ne pouvez pas bénéficier du mécanisme de conversion de type de Sage.
En termes simples, tous les objets sont essentiellement traités comme des instances de classes dérivées de la classe Element. De plus, s'il existe un ensemble qui correspond au concept de type, tel qu'un ensemble, un groupe ou un champ, et que vous souhaitez extraire (générer) un élément de cet ensemble, vous pouvez associer la classe dérivée de la classe Parent à la classe dérivée de la classe Element. ， Mettez en œuvre cette relation. Dans Sage, en écrivant du code selon certaines règles, il est possible d'implémenter une cible unique en utilisant le mécanisme de conversion de type dans Sage.
Category
TODO: Non étudié.
Recommended Posts