Sage

Corps commutatif (article en anglais dans wikipedia, Article en français)

Extrait de wikipedia : "Des exemples élémentaires de corps commutatifs sont le corps des nombres rationnels noté ℚ (ou Q), le corps des nombres réels noté ℝ (ou R), le corps des nombres complexes noté ℂ (ou C) et le corps ℤ/pℤ des congruences modulo p où p est un nombre premier)."

En Sage, on ne peut définir un VectorSpace ou un Vector (base_fields) que sur des corps commutatifs QQ, RR, CC et SR, mais pas sur ZZ (les entiers qui ont une structure d'anneau et non de corps commutatif)