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=sur $val8,$val8,\RR \
,\RR,$val8 
val11=!randline $val10
val12=!item 1 of $val11
val13=!item 2 of $val11
val14=!item 3 of $val11
val15=!htmlmath RR
val16=!htmlmath CC

val17=$val9 est positive $val12, \forall $val5 \in $val13 \char44 \quad $val9($val5)\geq 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)\geq 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)< 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)<0,$val9($val5)>0,$val9($val5)\geq 0 \
\
$val9 n'est pas positive $val12, \exists $val5 \in $val13 \char44 \quad $val9($val5)< 0, \exists $val5 \in $val14 \char44 \quad $val9($val5)< 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)< 0, \exists $val5 \in $val13 \char44 \quad $val9($val5)\leq 0, $val9($val5)< 0,$val9($val5)\leq 0 \
\
$val9 est strictement positive $val12, \forall $val5 \in $val13 \char44 \quad $val9($val5)>0, \forall $val5 \in $val14 \char44 \quad $val9($val5)>0, \forall $val5 \in $val13 \char44 \quad $val9($val5)\geq 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)\geq 0,$val9($val5)\geq 0,$val9($val5)> 0 \
\
$val9 n'est pas strictement positive $val12, \exists $val5 \in $val13 \char44 \quad $val9($val5)\leq 0, \exists $val5 \in $val14 \char44 \quad $val9($val5)\leq 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)\leq 0, \exists $val5 \in $val13 \char44 \quad $val9($val5)< 0,$val9($val5)\leq 0,$val9($val5)< 0 \
\
$val9 est ngative $val12, \forall $val5 \in $val13 \char44 \quad $val9($val5)\leq 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)\leq 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)< 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)< 0,$val9($val5)\leq 0,$val9($val5)< 0 \
\
$val9 n'est pas ngative $val12, \exists $val5 \in $val13 \char44 \quad $val9($val5)>0, \exists $val5 \in $val14 \char44 \quad $val9($val5)>0 ,\forall $val5 \in $val13 \char44 \quad $val9($val5)>0, \exists $val5 \in $val13 \char44 \quad $val9($val5)\geq 0, $val9($val5)>0, $val9($val5)\geq 0 \
\
$val9 est strictement ngative $val12, \forall $val5 \in $val13 \char44 \quad $val9($val5)< 0 , \forall $val5 \in $val14 \char44 \quad $val9($val5)< 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)\leq 0 , \exists $val5 \in $val13 \char44 \quad $val9($val5)> 0, $val9($val5)<0,$val9($val5)\leq 0 \
\
$val9 n'est pas strictement ngative $val12, \exists $val5 \in $val13 \char44 \quad $val9($val5)\geq 0, \exists $val5 \in $val14 \char44 \quad $val9($val5)\geq 0, \forall $val5 \in $val13 \char44 \quad $val9($val5)\geq 0, \forall $val5 \in $val14 \char44 \quad $val9($val5)\geq 0, $val9($val5)\geq 0,$val9($val5)> 0 \
\
$val9 est majore $val12, \exists $val4\in\RR\char44 \quad \forall $val5 \in $val13 \char44 \quad $val9($val5)\leq $val4, \forall $val5 \in $val13 \char44 \quad \exists $val4\in\RR\char44 \quad  $val9($val5)\leq $val4, \forall $val4\in\RR\char44 \quad \exists $val5 \in $val13 \char44 \quad $val9($val5)\leq $val4, \exists $val5 \in $val13 \char44 \quad \forall $val4\in\RR\char44 \quad  $val9($val5)\leq $val4, $val9($val5)\leq $val4, \exists $val4\in\RR\char44 \quad \forall $val5 \in $val14 \char44 \quad $val9($val5)\leq $val4 \
\
$val9 n'est pas majore $val12, \forall $val4\in\RR\char44 \quad \exists $val5 \in $val13 \char44 \quad $val9($val5)>$val4, \forall $val4\in\RR\char44 \quad \exists $val5 \in $val14 \char44 \quad $val9($val5)>$val4, \exists $val5 \in $val13 \char44 \quad \forall $val4\in\RR\char44 \quad $val9($val5)>$val4, \exists $val5 \in $val14 \char44 \quad \forall $val4\in\RR\char44 \quad $val9($val5)>$val4, \exists $val4\in\RR\char44 \quad \forall $val5 \in $val13 \char44 \quad $val9($val5)>$val4 \
\
$val9 est minore $val12, \exists $val4\in\RR\char44 \quad \forall $val5 \in $val13 \char44 \quad $val9($val5)\geq $val4, \exists $val4\in\RR\char44 \quad \forall $val5 \in $val14 \char44 \quad $val9($val5)\geq $val4, \forall $val5 \in $val13 \char44 \quad \exists $val4\in\RR\char44 \quad  $val9($val5)\geq $val4, \forall $val5 \in $val14 \char44 \quad \exists $val4\in\RR\char44 \quad  $val9($val5)\geq $val4, $val9($val5)\geq $val4 \
\
$val9 n'est pas minore $val12, \forall $val4\in\RR\char44 \quad \exists $val5 \in $val13 \char44 \quad $val9($val5)<$val4, \exists $val5 \in $val13 \char44 \quad \forall $val4\in\RR\char44 \quad $val9($val5)<$val4, \forall $val4\in\RR\char44 \quad \exists $val5 \in $val14 \char44 \quad $val9($val5)<$val4, \exists $val5 \in $val14 \char44 \quad \forall $val4\in\RR\char44 \quad $val9($val5)<$val4, $val9($val5)<$val4 \
\
$val9 est borne $val12, \exists $val4\char44 $val5\in\RR \char44 \quad \forall $val6\in $val13 \char44 \quad $val9($val6)\geq $val4 \quad {\rm et }\quad $val9($val6)\leq $val5, \exists $val4\char44 $val5\in\RR \char44 \quad \forall $val6\in $val14 \char44 \quad $val9($val6)\geq $val4 \quad {\rm et }\quad $val9($val6)\leq $val5, \forall $val6\in $val13 \char44 \quad \exists $val4\char44 $val5\in\RR \char44 \quad $val9($val6)\geq $val4 \quad {\rm et }\quad $val9($val6)\leq $val5, \exists $val4\char44 $val5\in\RR \char44 \quad \forall $val6\in $val13 \char44 \quad $val9($val6)\geq $val4 \quad {\rm ou }\quad $val9($val6)\leq $val5, \forall $val6\in $val13 \char44 \quad \exists $val4\char44 $val5\in\RR \char44 \quad $val9($val6)\geq $val4 \quad {\rm ou }\quad $val9($val6)\leq $val5 \
\
$val9 n'est pas borne $val12, \forall $val4\char44 $val5\in\RR \char44\quad \exists $val6\in $val13 \char44\quad  $val9($val6)< $val4 \quad {\rm ou }\quad $val9($val6)> $val5 , \forall $val4\char44 $val5\in\RR \char44\quad \exists $val6\in $val14 \char44\quad  $val9($val6)< $val4 \quad {\rm ou }\quad $val9($val6)> $val5 , \exists $val4\char44 $val5\in\RR \char44\quad \forall $val6\in $val13 \char44\quad  $val9($val6)< $val4 \quad {\rm ou }\quad $val9($val6)> $val5 , \forall $val4\char44 $val5\in\RR \char44\quad \exists $val6\in $val13 \char44\quad  $val9($val6)< $val4 \quad {\rm et }\quad $val9($val6)> $val5 

tmp=!linecnt $val17
val18=$[rint(($(tmp)+1)/2)]
tmp0=!randint 1, $val18
val19=$[rint(2*$(tmp0)-1)]
val20=!line $val19 of $val17

contexte=$val9 est une fonction $m_RR $m_rightarrow $m_RR et $val8 un intervalle de $val15

!if $forma=1
   enonce=!item 1 of $val20
   goodrep=!item 2 of $val20
   tmp=!itemcnt $val20
   tmp1=!item 3 to $tmp of $val20
   tmp=(),\()
   tmp=!char 2 to -2 of $tmp
   badrep1=!replace internal , by $tmp in $tmp1
   badrep1=\($badrep1)   
   goodrep=\($goodrep)
   val28=$empty
   !for val27=1 to $val18 
      tmp=!line $[2*$val27-1] of $val17
      tmp1=!item 2 of $tmp
      tmp1=\($tmp1)
      val28=!listunion $val28 and $tmp1
   !next
   badrep2=$val28
!else
   tmp0=!item 2 of $val20
   enonce=\($(tmp0))
   goodrep=!item 1 of $val20
   tmp0=!line 1 of $val17
   val28=!item 1 of $tmp0
   !for val27=2 to $val18 
      tmp=!line $[2*$val27-1] of $val17
      tmp1=!item 1 of $tmp
      val28=!listunion $val28 and $(tmp1)
   !next
   badrep1=$val28
   badrep2=$empty
!endif
!read question.ini formtrad
chronodirect=non
convent=$empty
