Sage

VectorSpace (base-field, dimension)

• base-field : SR (calcul symbolique???!!!), QQ (rationnel), RR (réel), CC (pas ZZ qui n'est pas un corps commutatif - field-, mais seulement un anneau - ring-)
• Dimension : nombre d'éléments

Après avoir créé, un objet VectorSpace :

• un_vector_space = new VectorSpace (RR, 3) # Vecteurs de 3 réels

on peut créer des vecteurs en précisant

• un_premier-vecteur = un_vector_space([1.3, -2,5, -3.7])

Et il aurait été possible de le faire directement avec la fonction vector :

• un_premier-vecteur = vector (RR, [1.3, -2,5, -3.7])