Ce repertoire contient les fichiers suivants: (This directory contains the following files:) Manuel d'utilisation (User's manuel): doc.tex doc.ps (postscript) Executable: bastat minima Sources et librairies C (C sources and libraries): bastat.c minima.c bastat.h gc.h gc.a Scripts macaulay (macaulay scripts): input-macaulay input-mat-macaulay output-macaulay Makefile: Makefile Repertoire d'exemples (Directory of examples): Ex Pour compiler, tapez (To compile, type): make bastat make minima Envoyez tout commentaire ou report d'erreur a (Send comments or errors' reports to) pottier@sophia.inria.fr ------------------------------------------------------------------------------- Loi(tre(accent aigu)ma)c Pottier Projet SAFIR (Systemes Algebriques Formels pour l'Industrie et la Recherche) INRIA Sophia Antipolis 2004 route des Lucioles 06565 Valbonne Cedex FRANCE Tel: 93 65 78 19 Fax: 93 65 77 66 Courrier electronique: pottier@sophia.inria.fr -------------------------------------------------------------------------------