Commit from kirby (2006-05-01 21:11 CEST) ----------------- Added patch from Garth to fix indentation. fiat FIAT/polynomial.py 1.10
