On Tue, Oct 1, 2024 at 12:22 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > On Tue, Oct 1, 2024 at 11:46 AM Dima Pasechnik <dimp...@gmail.com> wrote: > > > > This is a usual discrepancy between the univariate and multi-variable > > case: the backends are different, and probably the functionality > > is not implemented in the univariate backend (Flint?). > > I gather it can be implemented using a resultant computation. > > Basically, if f(t) and g(t) are two univariate polynomials, then > P(x,y):=Res_t(f(t)-x, g(t)-y)) is > a relation between f and g,as P(f(t),g(t))=0, and P(x,y) is identically 0. Sorry for typo - of course it should say "P(x,y) is not identically 0" > > > > > Dima > > > > > > On Tue, Oct 1, 2024 at 9:30 AM Georgi Guninski <ggunin...@gmail.com> wrote: > > > > > > sage: Kx.<x,y>=QQ[] > > > sage: l=[x,x^2] > > > sage: ge=Sequence(l).algebraic_dependence().gens();ge > > > [-T1 + T0^2] > > > > > > sage: Kx.<x>=QQ[] > > > sage: l=[x,x^2] > > > sage: ge=Sequence(l).algebraic_dependence().gens();ge > > > AttributeError: 'Sequence_generic' object has no attribute > > > > > > -- > > > 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_arOpB9J2r_-JUc45%2BQ8sg524xYt_%3DDqDzvXL4BG6YyQ%40mail.gmail.com.
-- 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/CAAWYfq2xHHJHAqofRDeTgjxyOd-vk%2BWHf43gqR6Per6hyMjv8w%40mail.gmail.com.
