← Back to team overview

fiat team mailing list archive

Thread
Date

fixed but in y-derivative in tetrahedral expansions [...]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Wed, 31 Aug 2005 22:22:12 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2005-08-31 22:22 CEST)
-----------------

fixed but in y-derivative in tetrahedral expansions
minor changes to test suite to check these

  fiat++  src/FIAT_expansions.cpp    1.3
  fiat++  tests/test_expansions.cpp  1.2
  fiat++  tests/test_polynomial.cpp  1.2