val2=x,y,z,t\
a,b,c,d\
x_0,x_1,x_2,x_3\
y_0,y_1,y_2,y_3
val3=!randline $val2
!distribute items $val3 into val4,val5,val6,val7
val8=!randitem I,J,K
val9=!randitem f,g,h


val10=\(\forall $val4 \char44 $val5\in \RR\char44 \quad),\(\exists $val4 \char44 $val5\in \RR\char44 \quad),\(\forall $val4 \char44 $val5\in $val8\char44 \quad),\(\exists $val4 \char44 $val5\in $val8\char44 \quad)

val11=\($val9 ($val4)<$val9 ($val5)),\($val9 ($val4)\leq $val9 ($val5)),\($val9 ($val4)>$val9 ($val5)),\($val9 ($val4) \geq $val9 ($val5)),\($val4<$val5),\($val4 \leq $val5)

badrep1=$val10,$val11,\(\Rightarrow), \(\Leftrightarrow), \(\quad {\rm et}\quad ), \(\quad {\rm ou}\quad )

donnees=$val9 est croissante sur $val8,3;10;11;6, 3;5;11;9, 3;9;11;6, 3;5;11;10\
\
$val9 est strictement croissante sur $val8,3;9;11;5, 3;8;11;10, 3;10;12;6, 3;6;12;10, 3;9;12;5, 3;5;12;9\
\
$val9 est strictement dcroissante sur $val8,3;9;11;7, 3;7;11;10, 3;10;12;8, 3;8;12;10, 3;9;12;7, 3;7;12;9\
\
$val9 est dcroissante sur $val8,3;10;11;8, 3;7;11;9, 3;9;11;8, 3;7;11;10\
\
$val9 n'est pas croissante sur $val8,4;10;13;7, 4;7;13;10\
\
$val9 n'est pas dcroissante sur $val8,4;10;13;5, 4;5;13;10\
\
$val9 est croissante sur $m_RR,1;10;11;6, 1;5;11;9, 1;9;11;6, 1;5;11;10\
\
$val9 est strictement croissante sur $m_RR,1;9;11;5, 1;8;11;10, 1;10;12;6, 1;6;12;10, 1;9;12;5, 1;5;12;9\
\
$val9 est strictement dcroissante sur $m_RR,1;9;11;7, 1;7;11;10, 1;10;12;8, 1;8;12;10, 1;9;12;7, 1;7;12;9\
\
$val9 est dcroissante sur $m_RR,1;10;11;8, 1;7;11;9, 1;9;11;8, 1;7;11;10\
\
$val9 n'est pas croissante sur $m_RR,2;10;13;7, 2;7;13;10\
\
$val9 n'est pas dcroissante sur $m_RR,2;10;13;5, 2;5;13;10\

tmp=!linecnt $donnees
val13=$[($tmp+1)/2]
tmp=!randint 1,$val13
val10=!line $[2*$tmp-1] of $donnees

enonce=!item 1 of $val10
contexte=$val9 est une fonction $m_RR $m_rightarrow $m_RR et $val8 un intervalle de $m_RR
tmp=!itemcnt $val10
val12=!item 2 to $tmp of $val10
val12=!items2lines $val12
goodrep=!replace internal ; by , in $val12

!read question.ini formtrad
chronodirect=oui
convent=$empty
nbquest=6
largeur=100
