Mathemagix

[Joris van der Hoeven <address@concealed>]

Hi all,

I just changed the semantics of the operation "flatten":
the return type now becomes "syntactic". This is a new syntactic type,
which uses generic as its representation type, but which does only
some rudimentary simplifications, which do no longer depend on an evaluator.
The old semantics lead to subtle problems when lazy computations needed
to be completed during the flattening process. Please report any bugs
induced by the change.

Bernard: please make the corresponding changes in your packages.
Gregoire: please update the documentation on this issue.

Sorry for the inconvenience, Joris