← Back to team overview

fiat team mailing list archive

Thread
Date

Fixed errors related to pt_maps for trace tabulation and functionals.

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Fri, 28 Apr 2006 16:47:13 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2006-04-28 16:47 CEST)
-----------------

Fixed errors related to pt_maps for trace tabulation and functionals.

  fiat  FIAT/functional.py  1.6
  fiat  FIAT/polynomial.py  1.7