7
$\begingroup$

Is anyone familiar with software that already exists to visualize monomial ideals in three variables as their staircase diagrams, in the sense of Combinatorial Commutative Algebra? It looks like their graphics were done using TikZ, but after a reasonable search, I wasn't able to find any pre-written packages or software that would automatically produce a picture of the staircase diagram of a monomial ideal.

It was easy enough to write a few lines of code in Macaulay2 to produce the TikZ code for the two-dimensional case, but I wasn't looking forward to writing code to do the same thing in the three variable case if this already existed somewhere. If there was code to draw these things using ideals encoded in Macaulay2, Singular, or Sage format, I would love that -- but if there's any pre-done visualizer for three variable monomial ideals, I would happily compromise on format.

Alternately, if someone has software (or knows a good reference to software) which produces visualizations of the Buchberger graph for one of these monomial ideals, I'd be willing to settle for that too.

$\endgroup$
2
  • 1
    $\begingroup$ It should not be difficult to code this in Mathematica, for example. $\endgroup$ – Mariano Suárez-Álvarez Dec 14 '12 at 0:59
  • 4
    $\begingroup$ You might try pinging Ezra Miller. I don't know about this particular case, but he is the sort of person who would write code to output the Tikz rather than do it by hand, and he's very friendly. (Bernd Sturmfels, who is also very friendly, is the sort of person who would get his co-author to output the code that output the Tikz :).) $\endgroup$ – David E Speyer Dec 14 '12 at 1:52
2
$\begingroup$

Jang Soo Kim's Plane Partition code produces staircase diagrams in tikz. Similar diagrams can be produced in Macaulay2 using the Visualize package.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.