polynomial arithmetic over ginac