Ich habe es richtig überprüft, daher kann es zu Fehlern kommen.
TL;DR
Sage oder SageMath ist eines der durch die Erweiterung von Python implementierten rechnerischen algebraischen Systeme und eine kostenlose Version von Mathematica. Es ist auch eine Entwicklungsumgebung, die rechnergestützte Algebra-Bibliotheken integriert, die als verschiedene Open-Source-Software veröffentlicht wurden und auf Alternativen abzielen.
Die Struktur des in der Mathematik behandelten Objekts ist komplizierter als die Struktur des in der Programmiersprache behandelten Typs (z. B. Vererbung und Ableitung. Sie ist kompliziert genug, da es verschiedene andere Strukturen gibt, aber ...), um dies zu handhaben In Sage ist ein eindeutiger Typkonvertierungsmechanismus (Cercion-System) implementiert.
Wenn Sie ein neues Ziel selbst definieren möchten, können Sie daher vom Typkonvertierungsmechanismus profitieren, indem Sie ihn gemäß den Regeln dieser Implementierung definieren. Da Sage eine Erweiterung von Python ist, kann es natürlich als Python-Sprache implementiert werden. In diesem Fall können Sie nicht vom Typkonvertierungsmechanismus von Sage profitieren.
Einfach ausgedrückt, werden alle Objekte grundsätzlich als Instanzen von Klassen behandelt, die von der Element-Klasse abgeleitet sind. Wenn es eine Menge gibt, die dem Typkonzept entspricht, z. B. eine Menge, eine Gruppe oder ein Feld, und Sie ein Element aus dieser Menge extrahieren (generieren) möchten, können Sie die abgeleitete Klasse der übergeordneten Klasse der abgeleiteten Klasse der Element-Klasse zuordnen. ， Implementieren Sie diese Beziehung. In Sage ist es durch Schreiben von Code nach bestimmten Regeln möglich, ein eindeutiges Ziel zu implementieren, während der Typkonvertierungsmechanismus in Sage verwendet wird.
Category
TODO: Nicht untersucht.
Recommended Posts