Thanks. This was asked on mathoverflow [1], you can win some points if you paste it as an answer.
Adding a single linear equation break the efficiency, so your solution appear to show that incremental groebner basis might be large. [1]: https://mathoverflow.net/questions/463159/efficiency-of-groebner-basis-for-constraints-of-the-form-a-i-x-ib-ia-j-x-j -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD_LN2xQUZv4fKm_zT8rCpQbi%3DTZwHWQq6t8y7OZwYkGaw%40mail.gmail.com.
