Symbolic computations of nonlinear observability.

Symbolic computations of nonlinear observability.