Xima

a simple version