← Back to team overview

fiat team mailing list archive

Thread
Date

fixed some bugs in shapes_new (in make_points) [...]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Wed, 01 Jun 2005 22:03:27 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2005-06-01 22:03 CEST)
-----------------

fixed some bugs in shapes_new (in make_points)
updated Lagrange, polynomial to work with shapes_new

  fiat  FIAT/Lagrange.py    1.2
  fiat  FIAT/polynomial.py  1.2
  fiat  FIAT/shapes_new.py  1.7