OK, on second thought, that should read “decomposition of Zariski-closed subsets into constituent hypersurfaces corresponds to decomposition of radical ideals into a sum of principal ideals”. In other words, finding a finite number of generators of the radical ideal, which is pretty much Hilbert’s basis theorem (the generators of an ideal are of course not unique, and so neither is the decomposition into hypersurfaces).
Ooh, the documentation looks pretty interesting! How difficult is it to learn and pick up when comparing to LyX? Also, do you just use \usepackage{graphvizzz} to start using it in TeX right away?
OK, on second thought, that should read “decomposition of Zariski-closed subsets into constituent hypersurfaces corresponds to decomposition of radical ideals into a sum of principal ideals”. In other words, finding a finite number of generators of the radical ideal, which is pretty much Hilbert’s basis theorem (the generators of an ideal are of course not unique, and so neither is the decomposition into hypersurfaces).
I thought you were gonna latex this?
I recommend the nodes module in TikZ if you’re thinking of typesetting. =D
graphvizzzz
Ooh, the documentation looks pretty interesting! How difficult is it to learn and pick up when comparing to LyX? Also, do you just use \usepackage{graphvizzz} to start using it in TeX right away?
^ errr, that should be TikZ, not LyX.