← Back to team overview

fiat team mailing list archive

Thread
Date

Now I convert Cools' rules from [0,1] to [-1,1]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Mon, 08 May 2006 19:21:35 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2006-05-08 19:21 CEST)
-----------------

Now I convert Cools' rules from [0,1] to [-1,1]

  fiat  FIAT/newquad.py     1.2
  fiat  FIAT/quadrature.py  1.7