DSPython (DragonSoft DS / DSPython)

Python : Sources multi-plateforme : DSPython-00.03.03.tgz (125 Kio) ^* (25 juin 2012)

Installateur Window$ : DSPython-00.03.03.win-amd64.exe (356 Kio)

Documentation :	en ligne
	`DSPython_html.tgz` (0,98 Mio) ^*

Programmes (nécessite le paquetage) : DSPython_progs.tgz (11,9 Kio) ^*

Nécessite Python 2.6 ou plus récent (fonctionne avec Python 3)

Modules :

bool.py : les 16 connecteurs binaires (cf. Logiques)
bit32.py : manipulations de bits des naturels sur 32 bits
nat32.py : quelques fonctions arithmétiques sur les naturels 32 bits
cnat32array.py : tableaux compacts de naturels stockés sur n ≤ 32 bits
cnat32table.py : tableaux compacts de naturels stockés sur n₁, n₂, …, n_k ≤ 32 bits (séquences de Cnat32array)
natural.py : quelques fonctions arithmétiques sur les naturels
natseq.py : séquences de naturels
factors.py : décomposition des naturels en facteurs premiers
integer.py : quelques fonctions arithmétiques sur les entiers
intmod.py : classe des entiers modulo k (c.-à-d. des éléments de ℤ_k)
nbsystem.py : systèmes de numération
baset.py : arbre binaire "de base b"
bintree.py : arbre binaire générique
partitions.py : partitions de naturels
tnp1.py : problème 3n + 1 et problème original de Collatz
numbernone.py : opérations sur des nombres non nécessairement définis
finitec.py : calcul finitésimal (cf. Les Nombres : Science • Art • Théologie : 1^re partie : Théologie grecque, Sommes et différences)
polynomial.py : manipulations de polynômes
combinator.py : combinateurs (cf. La Théologie des Machines)
knots.py : théorie des nœuds (Module L^AT_EX 2ε : Knots.sty ; Knots.pdf, Knots.ps, Knots.tex) (cf. Liens)
urmCutland.py : Unlimited Register Machine (URM) de Cutland (variante de la machine de Shepherdson – Sturgis) (cf. La Théologie des Machines)
debug.py

Programmes :

combinatorTk.py : application Combinator Tk permettant de manipuler les combinateurs
naturalstable.py : script créant une table HTML des naturels avec les valeurs de différentes fonctions arithmétiques (cf. Naturels)
naturalTk.py : application Natural Tk calculant quelques fonctions arithémtiques
urmCutlandTk.py : application URM of Cutland Tk permettant de manipuler une URM de Cutland

[->] Sous Python 2 (pour processeurs x86), le module Psyco accélère grandement le tout. Il est donc vivement conseillé.