Fix test ginac