!set titb=Base de l'image
!set keyw=
!set datm=20040523
!set prev=
!set next=
!set upbl=main
!set dat1=19000101
!set dat2=24000101


!if $wims_read_parm!=$empty
 !goto $wims_read_parm
!endif
!exit

:content

!read primitives.phtml 1, embed, definition, &nbsp; 

!read primitives.phtml 2, exercise, cmd=new&module=U1/algebra/oeflinapp.fr&exo=baseimage, L'exercice 

<pre class = "cc">
$m_title$m_lbrac Base de l'image $m_rbrac
$m_language$m_lbrac fr $m_rbrac
$m_author$m_lbrac Marie-Claude David $m_rbrac
$m_email$m_lbrac mcld@math.u-psud.fr $m_rbrac
$m_computeanswer$m_lbrac no $m_rbrac
$m_format$m_lbrac html $m_rbrac
$m_precision$m_lbrac 10000 $m_rbrac
$m_integer$m_lbrac n = 4 $m_rbrac
$m_integer$m_lbrac b = $m_randint(1<tt class="w">..</tt>3) $m_rbrac
$m_matrix$m_lbrac B = $m_slib(matrix/givenrank \n,\n,\b,4) $m_rbrac </pre>
<div class = "aide">On avait besoin d'une matrice de rang donné.
On a utilisé pour cela un script tout fait</div><pre class = "cc">
$m_statement$m_lbrac Soient &#92;((e_1,e_2,e_3,e_4) \) une base de &#92;( \RR^ \n)
</pre><div class = "aide">Au passage, \RR permet d'avoir le 
R des réels.
Il y en a d'autres comme \NN, \ZZ ainsi que les lettres grecques</div>
<pre class = "cc">
   et &#92;(f ) l'endomorphisme de &#92;(\RR^\n) dont la matrice
   dans la base &#92;((e_1,e_2,e_3,e_4))est 
   &lt;center&gt; &#92;([ \B])&lt;/center> 
   &lt;p>
   Donnez une base de l'image de &#92;( f). 
  &lt;hr>
  &lt;p&gt; Entrez les composantes des vecteurs de la base de l'image  
   en colonne.
  &lt;/p> $m_rbrac
$m_answer$m_lbrac Votre réponse $m_rbrac$m_lbrac \rep $m_rbrac$m_lbrac <tt class="type">type = matrix</tt> $m_rbrac </pre><div class = "aide">\rep n'a pas été défini avant. Il prendra
la valeur de la réponse envoyée. </div><pre class = "cc">
$m_hint$m_lbrac Les images des vecteurs &#92;(e_1,e_2,e_3) et &#92;(e_4)   
   forment une famille génératrice de l'image. $m_rbrac
$m_feedback$m_lbrac 1 = 1 $m_rbrac$m_lbrac Les vecteurs que vous avez donnés sont &#92;([&#92;reply1]) $m_rbrac </pre> 
<div class="aide">Un feedback qui a lieu quelque soit la réponse.
Ici, ce n'est pas vraiment un feedback mais
plutôt un moyen de pallier
au fait que la réponse automatique de la matrice
n'est pas vraiment lisible</div><pre class="cc">
$m_matrix$m_lbrac reply1 = \reply1 $m_rbrac </pre><div class ="aide">On peut utiliser ici soit \rep soit \reply1.
Dans le cas où &#92;rep est défini avant, seul &#92;reply1 est correct
pour désigner la réponse envoyée. </div><pre class = "cc">
$m_text$m_lbrac aC = $m_pari(C = concat([\B],Mat([&#92;reply1]));
   [C,matrank(C),matrank(Mat([&#92;reply1]))]) $m_rbrac </pre><div class = "aide">Utilisation du logiciel GP/pari. 
</div><pre class = "cc">
$m_text$m_lbrac C = $m_item(1,\aC) $m_rbrac
$m_text$m_lbrac a = $m_item(2,\aC) $m_rbrac
$m_text$m_lbrac c = $m_item(3,\aC) $m_rbrac
$m_matrix$m_lbrac R = $m_pari(print(Mat([&#92;reply1]~))) $m_rbrac
$m_text$m_lbrac m = $m_rows( \R) $m_rbrac </pre>
<div class = "aide">Quelques calculs supplémentaires sont faits ici
utilisant les réponses envoyées. </div><pre class = "cc">
$m_condition$m_lbrac Les vecteurs que vous avez donnés appartiennent tous à  l'image $m_rbrac 
    $m_lbrac \a = \b $m_rbrac
$m_condition$m_lbrac Les vecteurs que vous avez donnés sont linéairement indépendants $m_rbrac 
    $m_lbrac \m = \c $m_rbrac
$m_condition$m_lbrac Les vecteurs que vous avez donnés forment une base de l'image $m_rbrac 
    $m_lbrac \a = \b <tt class="op">and</tt> \c = \b <tt class="op">and</tt> \m = \c $m_rbrac </pre>
 <div class = "aide">On a testé les vecteurs qui ont été donnés
car il n'y a pas une seule réponse.
Pour chaque condition testée, on a précisé ce qui était vérifié.
C'est important pour l'élève. </div><pre class = "cc">
</pre><div class = "aide">Dans le test des conditions, on peut utiliser
des opérateurs logiques &#58; <tt class="op">and</tt> et <tt class="op">or</tt> en particulier </div><pre class = "cc">
$m_matrix$m_lbrac D = $m_pari(matimage(Mat([&#92;B]))) $m_rbrac </pre>
<div class = "aide">Utilisation du logiciel GP/pari. </div><pre class = "cc">
$m_feedback$m_lbrac \a &lt;> \b <tt class="op">or</tt> \c &lt;>\b <tt class="op">or</tt> \m &lt;> \c $m_rbrac$m_lbrac 
     Le rang de &#92;(f) est \b. Une base de l'image 
     est &#92;([\D]) $m_rbrac </pre>
     <div class = "aide">Un vrai feedback </div><pre class = "cc">
</pre>

!read primitives.phtml 3, exercise, cmd=new&module=U1/algebra/oeflinapp.fr&exo=baseimage, L'exercice 


