# Ingalit sur termes

!distribute items $wims_read_parm into slib_n, slib_type, slib_formula

!default slib_static_random=!randint -500,500
!default slib_dir=!randint 1,4
slib_data=!line $slib_dir of $[$slib_static_random]-x,\(<=),infrieur ou gal \
	$[$slib_static_random-1]-x,\(<),strictement infrieur , strictement plus petit que\
	x-$[$slib_static_random],\(>=),suprieur ou gal \
	x-$[$slib_static_random+1],\(>),strictement suprieur , strictement plus grand que

slib_form=!item 1 of $slib_data
slib_p=!item 2 to -1 of $slib_data
!default slib_print=!randitem $slib_p

slib_list=!item 4 to -1 of $wims_read_parm
slib_test=!values min(0,$slib_form) for x in $slib_list
slib_1=!positionof item 0 in $slib_test
!if $slib_formula != $empty
 slib_l=!item $slib_1 of $slib_list
 slib_sum=!sum $slib_formula for x in $slib_l
!else
 slib_sum=
!endif

slib_tq=!randitem tels que, pour qui, o, pour lesquels
slib_ind=!randitem l'ensemble des indices, les indices
slib_pour=!randitem sur,pour

!if $slib_type=count
 slib_pp=!replace internal rieur $ by rieurs $ in $slib_print
 slib_pp=!replace internal gal by gaux in $slib_pp
 slib_pp=!replace internal $ que by s que in $slib_pp
 slib_2=qui sont $slib_pp $slib_static_random
!else
 slib_2=$slib_pour $slib_ind var_i $slib_tq var_l[var_i] est $slib_print $slib_static_random
!endif

slib_out=$slib_1\
$slib_2\
$slib_sum

