grazie mille !

ah ... mi correggo

la riga da scrivere non doveva essere
"$rigainput = trim(Array ['rigainput']);" ma
$rigainput = trim($_POST ['rigainput']);

sistemato !