fiat team mailing list archive

[fiat@xxxxxxxxxx]

Commit from kirby (2006-05-01 16:28 CEST)
-----------------

Added trace_tabulate_jet to ScalarPolynomialSet.
Patch thanks to Garth.
Only problem is that tabulate_jet is undefined on the
AbstractPolynomialSet (in the patch), so I
moved it to ScalarPolynomialSet.  It's not hard to generalize the
jet to vector-valued spaces, but gives for a large number of
indices.  Perhaps in the future...

  fiat  FIAT/polynomial.py  1.8