Open jakobkroeker opened 9 years ago
test normal() for issues like in http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2479&sid=ddd5e1d59e92fa1df864e6adfc5c3a39
test normal() for issues like in http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2479&sid=ddd5e1d59e92fa1df864e6adfc5c3a39