| Wed, 21 Sep 2016 20:33:44 +0200 | wenzelm | more tight implementation of symbol explode operation (without support for raw symbols); | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | approximation: preprocessing for nat/int expressions | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | provide more information on error | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | approximation: rewrite for reduction to base expressions | changeset | files |