doc/tutorial/ginac.info