Hi, I forwarded the problem upstream : https://github.com/wbhart/flint2/issues/699 I'll update the package when a fix will be available. Thanks for you report : a problem notification with a simple test case, it's just wonderful! Cheers, JP