Código PHP:
$sql =
"SELECT * FROM ART_SINONI ".
"WHERE CODCARRERA='$codcarrera' ".
"ORDER BY CODMAT";
$res_3=mysql_db_query("ayre",$sql);
$s_codmat = array();
$s_sinonimo = array();
while ($resultado3 = mysql_fetch_array($res_3))
{
$s_codmat[]=$resultado3["CODMAT"];
$s_sinonimo[]=$resultado3["SINONIMO"];
}
No sé si es mejor o no pero así me gusta más. Evitas el uso del contador. Cuando haces la asignación con los corchetes vacíos los elementos se van insertando secuencialmente.
// Saludos