Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Can the star of a ray of a fan be computed in sage?

Let p be a ray of a fan F in a lattice N. Let Np be the quotient lattice N / N.span(p). The star of p is the fan in Np defined by

Star(p) = {bar(sigma) | p <= sigma}

(This definition is taken from Definition 4.4 on page 55 of this paper. Is there an algorithm to compute Star(p) in sage? If so, what about the embedding morphism Star(p) --> F?