next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NAGtypes :: setName

setName -- give a name to a witness set

Synopsis

Description

Used to construct a witness set of the variety V(E). It is expected that codim E == dim S and that P is a subset of the intersection of V(E) and V(S).

i1 : R = CC[x,y]     

o1 = R

o1 : PolynomialRing
i2 : w = witnessSet( ideal(x^2+y^2-1), ideal(x), {{{0,1}},{{0,-1}}}/point)

o2 = [dim=1,deg=2]

o2 : WitnessSet
i3 : setName(w, " _ "||"/ \\"||"\\_/") 

o3 =  _ 
     / \
     \_/
i4 : {w,w,w}

o4 = { _ ,  _ ,  _ }
      / \  / \  / \
      \_/  \_/  \_/

o4 : List

Ways to use setName :