Test d'appartenance à une base sur Sage
Bonjour,
Je viens vers vous car j'ai un souci pour coder la résolution du problème suivant sur Sage.
J'ai en ma possession une base $\mathcal{B}$ de fractions rationnelles dans $\mathbb{Q}(x)$ avec disons $\mathcal{B} = (f_1, \dots, f_n)$ et également une fraction rationnelle $f \in \mathbb{Q}(x)$. Après m'être assuré que $f \in Vect_{\mathbb{Q}}(\mathcal{B})$, j'ai envie de trouver les rationnels $a_1, \dots, a_n \in \mathbb{Q}$ tels que $f = a_1f_1 + \dots + a_nf_n$.
Je voulais donc savoir comment vous coderiez cette recherche de coordonnées sur Sage.
Merci d'avance de votre aide et bonne journée.
Je viens vers vous car j'ai un souci pour coder la résolution du problème suivant sur Sage.
J'ai en ma possession une base $\mathcal{B}$ de fractions rationnelles dans $\mathbb{Q}(x)$ avec disons $\mathcal{B} = (f_1, \dots, f_n)$ et également une fraction rationnelle $f \in \mathbb{Q}(x)$. Après m'être assuré que $f \in Vect_{\mathbb{Q}}(\mathcal{B})$, j'ai envie de trouver les rationnels $a_1, \dots, a_n \in \mathbb{Q}$ tels que $f = a_1f_1 + \dots + a_nf_n$.
Je voulais donc savoir comment vous coderiez cette recherche de coordonnées sur Sage.
Merci d'avance de votre aide et bonne journée.
Réponses
-
Bonjour.
C'est vraiment $f \in \mathcal{B}$ ? Dans ce cas, il suffit de comparer $f$ à chacun des $f_i$ et $k$ est l'entier tel que $f=f_k$, les $a_i$ sont nuls sauf $a_k=1$.
Mais c'est sans doute une erreur.
Cordialement. -
Au temps pour moi, je voulais dire que $f \in Vect_{\mathbb{Q}}(f_1,\dots, f_n)$.
-
Tu devrais aussi rectifier ton titre, qui disait la même chose ..
Et finalement, ce que tu cherches, c'est simplement les coordonnées dans une base. A priori, ça dépend fortement du choix de la base.
Autre chose : comment t'assures-tu que $f \in Vect_{\mathbb{Q}}(f_1,\dots, f_n)$ sans avoir montré que c'est justement une combinaison linéaire des $f_i$ ? Car dans ce cas, le travail est quasiment fini.
Cordialement.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres