Does automatic decomposition of varieties into irreducibles exist? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T18:44:43Z http://mathoverflow.net/feeds/question/2459 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2459/does-automatic-decomposition-of-varieties-into-irreducibles-exist Does automatic decomposition of varieties into irreducibles exist? Justin 2009-10-25T11:38:10Z 2009-10-25T12:11:12Z <p>Varieties decompose uniquely into finitely many irreducibles, and each variety is generated by only finitely polynomials. These two finiteness properties make varieties seemingly "manageable" objects, and leads me to the question:</p> <p>Can a computer, given a variety (finite set of polynomials) produce a list of its irreducible components (finite set of finite sets of polynomials) in finite time?</p> http://mathoverflow.net/questions/2459/does-automatic-decomposition-of-varieties-into-irreducibles-exist/2463#2463 Answer by S1 for Does automatic decomposition of varieties into irreducibles exist? S1 2009-10-25T12:11:12Z 2009-10-25T12:11:12Z <p>This is just about primary decomposition! There are several CAS which can do that, for example Singular.</p>