Singular
https://www.singular.uni-kl.de/forum/

certificate of algebraic dependence
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1679
Page 1 of 1

Author:  tortoisesaid [ Tue Jul 29, 2008 1:16 am ]
Post subject:  certificate of algebraic dependence

Hello all:

Is there a Singular function (or any algorithm whatsoever) that, given a finite set of algebraically dependent multivariate polynomials f_1,...,f_k
(over the rationals, say), computes an irreducible annihilating
polynomial for that set, that is, a nonzero irreducible polynomial P
(with rational coefficients) such that P(f_1,...,f_k) = 0? I
searched the Singular documentation on this topic but didn't find anything.

Cheers,
Alex

Author:  Guest [ Thu Aug 14, 2008 12:20 am ]
Post subject: 

Yes, there are 3 procedures in algebra.lib

algebra_containment
inSubring
algDependent

testing algebraic dependence by different algoruthms.

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/