On Wed, Oct 16, 2024 at 6:45 PM Nils Bruin <nbr...@sfu.ca> wrote: >
> > Is the above reasoning correct? > > > No it is not. The error above only indicates that the algorithm found a > contradiction to the assumption that the ideal is 0-dimensional; not that it > computed what the dimension actually is. > According to Singular's documentation and Oscar's first email in this thread, stdfglm first computes groebner basis in order degrevlex, then check the dimension. I think this imply your claim that fglm can recognize 0 dimension is false. Do you still claim that stdfglm recognizes 0 dimension without computing groebner basis by using another oracle for basis? -- 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/CAGUWgD9Dusi1hP3jCShn8fi7sjZhnx%3DLHz8wuTT4FR_OMjfFJQ%40mail.gmail.com.
