visualize(Ideal) -- visualizes an ideal in the browser

Synopsis

• Function: visualize
• Optional inputs:
  • Verbose (missing documentation) => ..., default value false,
  • VisPath => ..., default value null, an option to define a path to save visualizations of Ideals
  • VisTemplate => ..., default value "../../../../../Macaulay2/packages/Visualize/templates/visIdeal/visIdeal", an option defining the template path
  • Warning => ..., default value true, an option to squelch warnings

Description

Using JavaScript, this method creates an interactive visualization of an ideal, in either 2 or 3 variables, in a modern browser. Unlike other Types, when visualizing an ideal you do not need to open a port as there is no communication between Macaulay2 and the browser. We hope to add more functionality to this method in future versions. The ideal being visualized is actually the ideal of leading terms.

i1 : S = QQ[x,y]

o1 = S

o1 : PolynomialRing

i2 : I = ideal"x4,xy3,y5"

             4     3   5
o2 = ideal (x , x*y , y )

o2 : Ideal of S

In order to visualize this, simply type visualize I and the following example will appear in the browser.

Visualize ideal in 2 variables example

i3 : R = QQ[x,y,z]

o3 = R

o3 : PolynomialRing

i4 : J = ideal"x4,xyz3,yz2,xz3,z6,y5"

             4       3     2     3   6   5
o4 = ideal (x , x*y*z , y*z , x*z , z , y )

o4 : Ideal of R

In order to visualize this, simply type visualize J and the following example will appear in the browser.

Visualize ideal in 3 variables example

Caveat

See also

• Basic Workflow for Visualize
• visualize(Graph) -- visualizes a graph in a modern browser
• visualize(Digraph) -- visualizes a digraph in the browser
• visualize(Poset) -- visualizes a poset in the browser
• visualize(SimplicialComplex) -- visualizes a simplicial complex in the browser