Comment définir votre propre cible dans Sage

Mise en garde

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.

Structure cible et définition unique

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.

Parent et élément

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é.

Exemple de code

Les références

Recommended Posts

Comment définir votre propre cible dans Sage
[Road to Intermediate Python] Définissez dans votre propre classe
Comment utiliser pyenv et pyenv-virtualenv à votre manière
Comment définir dynamiquement des variables en Python
Comment installer votre propre autorité de certification (racine)
Comment spécifier une cible non vérifiée dans Flake8
Essayez de mettre des LED dans votre propre PC (légèrement)
[Linux] Comment mettre votre IP dans une variable
Comment définir les variables Go
Comment développer en Python
[Ansible] Comment appeler des variables lors de la création de votre propre module
Comment définir plusieurs variables dans une instruction Python for
(Note) Comment passer le chemin de votre propre module
Comment obtenir un aperçu de vos données dans Pandas
Comment gérer une session dans SQLAlchemy
[Python] journalisation dans votre propre module
Comment utiliser les classes dans Theano
Comment écrire sobrement avec des pandas
Comment collecter des images en Python
Comment mettre à jour Spyder dans Anaconda
Comment utiliser SQLite en Python
Comment convertir 0,5 en 1056964608 en un seul coup
Comment refléter CSS dans Django
Comment tuer des processus en vrac
Comment utiliser Mysql avec python
Comment envelopper C en Python
Comment utiliser ChemSpider en Python
Comment utiliser PubChem avec Python
Reliez ROS à votre propre protocole
Comment exécuter du code TensorFlow 1.0 en 2.0
Comment gérer le japonais avec Python
Comment se connecter à Docker + NGINX
Comment appeler PyTorch dans Julia
Créez le thème de Pythonista 3 comme Monokai (comment créer votre propre thème)
Comment définir intelligemment les objets couramment utilisés dans View
Comment créer votre propre site de domaine avec heroku (plan gratuit)
Comment utiliser les colonnes calculées dans CASTable
Comment créer mon propre serveur Linux
Ajoutez votre propre vue de contenu à mitmproxy
[Introduction à Python] Comment utiliser la classe en Python?
Comment supprimer l'erreur d'affichage dans matplotlib
Créez vos propres commandes Linux en Python
Comment faire R chartr () en Python
[LLDB] Créez votre propre commande avec Python
Comment convertir csv en tsv dans la CLI
Utilisez facilement vos propres fonctions en Python
Migrez vos propres données CMS vers WordPress
Comment supprimer des sessions expirées dans Django
Comment utiliser Google Test en langage C
Comment implémenter un sérialiseur imbriqué avec drf-flex-fields
Comment utiliser BigQuery en Python
Comment exécuter des commandes avec Jupyter Notebook
Comment faire 'git fetch --tags' dans GitPython
Comment obtenir stacktrace en python
Comment afficher la table quatre-vingt-dix-neuf en python
Comment extraire une zone de polygone en Python
Comment réattribuer un index dans pandas dataframe
Comment vérifier la version d'opencv avec python
Pour importer votre propre module avec jupyter