Macaulay2
»
Documentation
Packages
»
gfanInterface
::
Index
next | previous | forward | backward | up |
index
|
toc
gfanInterface : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Conventions for calling methods with options
gfan
-- all reduced Groebner bases of a polynomial ideal
gfan(Ideal)
-- all reduced Groebner bases of a polynomial ideal
gfan(List)
-- all reduced Groebner bases of a polynomial ideal
gfan(MarkedPolynomialList)
-- all reduced Groebner bases of a polynomial ideal
gfanBuchberger
-- reduced Groebner basis with respect to some monomial order
gfanBuchberger(Ideal)
-- reduced Groebner basis with respect to some monomial order
gfanBuchberger(List)
-- reduced Groebner basis with respect to some monomial order
gfanBuchberger(MarkedPolynomialList)
-- reduced Groebner basis with respect to some monomial order
gfanDoesIdealContain
-- check ideal membership by the division algorithm
gfanDoesIdealContain(Ideal,List)
-- check ideal membership by the division algorithm
gfanDoesIdealContain(List,List)
-- check ideal membership by the division algorithm
gfanDoesIdealContain(MarkedPolynomialList,List)
-- check ideal membership by the division algorithm
gfanFanCommonRefinement
-- find the common refinement of two polyhedral fans
gfanFanCommonRefinement(Fan,Fan)
-- find the common refinement of two polyhedral fans
gfanFanLink
-- the link of a vertex in a polyhedral fan
gfanFanLink(Fan,List)
-- the link of a vertex in a polyhedral fan
gfanFanProduct
-- computes the product of polyhedral fans
gfanFanProduct(Fan,Fan)
-- computes the product of polyhedral fans
gfanFunctions
(missing documentation)
gfanGroebnerCone
-- polyhedral information about a Groebner cone
gfanGroebnerCone(Ideal)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(Ideal,Ideal)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(Ideal,List)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(Ideal,MarkedPolynomialList)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(List)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(List,Ideal)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(List,List)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(List,MarkedPolynomialList)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(MarkedPolynomialList)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(MarkedPolynomialList,Ideal)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(MarkedPolynomialList,List)
-- polyhedral information about a Groebner cone
gfanGroebnerCone(MarkedPolynomialList,MarkedPolynomialList)
-- polyhedral information about a Groebner cone
gfanHomogeneitySpace
-- homogeneity space of a list of polynomials
gfanHomogeneitySpace(Ideal)
-- homogeneity space of a list of polynomials
gfanHomogeneitySpace(List)
-- homogeneity space of a list of polynomials
gfanHomogeneitySpace(MarkedPolynomialList)
-- homogeneity space of a list of polynomials
gfanHomogenize
-- homogenize a list of polynomials with respect to a weight vector
gfanHomogenize(Ideal,Symbol)
-- homogenize a list of polynomials with respect to a weight vector
gfanHomogenize(List,Symbol)
-- homogenize a list of polynomials with respect to a weight vector
gfanHomogenize(MarkedPolynomialList,Symbol)
-- homogenize a list of polynomials with respect to a weight vector
gfanInitialForms
-- initial forms of polynomials with respect to a weight vector
gfanInitialForms(Ideal,List)
-- initial forms of polynomials with respect to a weight vector
gfanInitialForms(List,List)
-- initial forms of polynomials with respect to a weight vector
gfanInitialForms(MarkedPolynomialList,List)
-- initial forms of polynomials with respect to a weight vector
gfanInteractive
-- not implemented
gfanInterface
-- a Macaulay2 interface to gfan
gfanIsMarkedGroebnerBasis
-- checks if a list of polynomials are a Groebner basis
gfanIsMarkedGroebnerBasis(Ideal)
-- checks if a list of polynomials are a Groebner basis
gfanIsMarkedGroebnerBasis(List)
-- checks if a list of polynomials are a Groebner basis
gfanIsMarkedGroebnerBasis(MarkedPolynomialList)
-- checks if a list of polynomials are a Groebner basis
gfanKrullDimension
-- krull dimension
gfanKrullDimension(Ideal)
-- krull dimension
gfanKrullDimension(List)
-- krull dimension
gfanKrullDimension(MarkedPolynomialList)
-- krull dimension
gfanLatticeIdeal
-- computes the lattice ideal of a lattice
gfanLatticeIdeal(List)
-- computes the lattice ideal of a lattice
gfanLeadingTerms
-- leading terms of a list (or list of lists) of marked polynomials
gfanLeadingTerms(List)
-- leading terms of a list (or list of lists) of marked polynomials
gfanLeadingTerms(MarkedPolynomialList)
-- leading terms of a list (or list of lists) of marked polynomials
gfanMarkPolynomialSet
-- mark the initial terms of a list of polynomials with respect to a weight vector
gfanMarkPolynomialSet(List,List)
-- mark the initial terms of a list of polynomials with respect to a weight vector
gfanMinkowskiSum
-- the Minkowski sum of Newton polytopes
gfanMinkowskiSum(Ideal)
-- the Minkowski sum of Newton polytopes
gfanMinkowskiSum(List)
-- the Minkowski sum of Newton polytopes
gfanMinors
-- minors of a matrix of indeterminates
gfanMinors(ZZ,ZZ,ZZ)
-- minors of a matrix of indeterminates
gfanMixedVolume
-- mixed volume of a list of polynomials
gfanMixedVolume(List)
-- mixed volume of a list of polynomials
gfanOverIntegers
-- all reduced Groebner bases of a polynomial ideal with coefficients in ZZ
gfanOverIntegers(Ideal)
-- all reduced Groebner bases of a polynomial ideal with coefficients in ZZ
gfanOverIntegers(Ideal,List)
-- all reduced Groebner bases of a polynomial ideal with coefficients in ZZ
gfanParsePolyhedralFan
(missing documentation)
gfanPolynomialSetUnion
-- union of two lists of polynomials
gfanPolynomialSetUnion(List,List)
-- union of two lists of polynomials
gfanPolynomialSetUnion(List,MarkedPolynomialList)
-- union of two lists of polynomials
gfanPolynomialSetUnion(MarkedPolynomialList,List)
-- union of two lists of polynomials
gfanPolynomialSetUnion(MarkedPolynomialList,MarkedPolynomialList)
-- union of two lists of polynomials
gfanRender
-- render an image of a Groebner fan
gfanRender(List)
-- render an image of a Groebner fan
gfanRender(String,List)
-- render an image of a Groebner fan
gfanRenderStaircase
-- render the staircase of a monomial initial ideal
gfanRenderStaircase(List)
-- render the staircase of a monomial initial ideal
gfanRenderStaircase(String,List)
-- render the staircase of a monomial initial ideal
gfanResultantFan
-- Tropical variety of the sparse (toric) resultant variety.
gfanResultantFan(List)
-- Tropical variety of the sparse (toric) resultant variety.
gfanSaturation
-- saturation of an ideal
gfanSaturation(Ideal)
-- saturation of an ideal
gfanSecondaryFan
-- computes the secondary fan of a vector configuration
gfanSecondaryFan(List)
-- computes the secondary fan of a vector configuration
gfanStableIntersection
-- computes the stable intersection of two balanced fans
gfanStats
-- display certain properties of a list of polynomials
gfanStats(List)
-- display certain properties of a list of polynomials
gfanSubstitute
-- rename the variables of a list of polynomials
gfanSubstitute(Ideal,PolynomialRing)
-- rename the variables of a list of polynomials
gfanSubstitute(List,PolynomialRing)
-- rename the variables of a list of polynomials
gfanSubstitute(MarkedPolynomialList,PolynomialRing)
-- rename the variables of a list of polynomials
gfanToLatex
-- convert a list of polynomials to LaTeX
gfanToLatex(List)
-- convert a list of polynomials to LaTeX
gfanToLatex(MarkedPolynomialList)
-- convert a list of polynomials to LaTeX
gfanToPolyhedralFan
-- polyhedral data about the fan of a list of Groebner bases
gfanToPolyhedralFan(List)
-- polyhedral data about the fan of a list of Groebner bases
gfanTropicalBasis
-- tropical basis of an ideal
gfanTropicalBasis(Ideal)
-- tropical basis of an ideal
gfanTropicalBruteForce
-- computes the tropical variety of an ideal
gfanTropicalBruteForce(List)
-- computes the tropical variety of an ideal
gfanTropicalEvaluation
-- evaluates a tropical polynomial function
gfanTropicalEvaluation(RingElement,List)
-- evaluates a tropical polynomial function
gfanTropicalFunction
-- tropicalizes a polynomial
gfanTropicalFunction(RingElement)
-- tropicalizes a polynomial
gfanTropicalHyperSurface
-- the tropical hypersurface of a principal ideal
gfanTropicalHyperSurface(RingElement)
-- the tropical hypersurface of a principal ideal
gfanTropicalHyperSurfaceReconstruction
(missing documentation)
gfanTropicalIntersection
-- polyhedral data describing intersection of tropical hypersurfaces
gfanTropicalIntersection(List)
-- polyhedral data describing intersection of tropical hypersurfaces
gfanTropicalLifting
-- not implemented
gfanTropicalLinearSpace
-- equations of a tropical linear space from Plücker coordinates
gfanTropicalLinearSpace(List,ZZ,ZZ)
-- equations of a tropical linear space from Plücker coordinates
gfanTropicalMultiplicity
-- multiplicity of a tropical cone
gfanTropicalMultiplicity(List)
-- multiplicity of a tropical cone
gfanTropicalRank
-- the tropical rank of a matrix
gfanTropicalRank(Matrix)
-- the tropical rank of a matrix
gfanTropicalStartingCone
-- a pair of Groebner bases for use with gfanTropicalTraverse
gfanTropicalStartingCone(...,stable=>...)
-- a pair of Groebner bases for use with gfanTropicalTraverse
gfanTropicalStartingCone(Ideal)
-- a pair of Groebner bases for use with gfanTropicalTraverse
gfanTropicalStartingCone(List)
-- a pair of Groebner bases for use with gfanTropicalTraverse
gfanTropicalTraverse
-- polyhedral data describing a tropical variety
gfanTropicalTraverse(...,stable=>...)
-- polyhedral data describing a tropical variety
gfanTropicalTraverse(List)
-- polyhedral data describing a tropical variety
gfanTropicalWeilDivisor
-- the tropical Weil divisor of a piecewise linear function
gfanTropicalWeilDivisor(Fan,Fan)
-- the tropical Weil divisor of a piecewise linear function
gfanVersion
(missing documentation)
Installation and Configuration of gfanInterface
MarkedPolynomialList
markedPolynomialList
-- constructs a MarkedPolynomialList
MPLConverter
-- Converts lists or ideals into markedPolynomialLists
MPLConverter(Ideal)
-- Converts lists or ideals into markedPolynomialLists
MPLConverter(List)
-- Converts lists or ideals into markedPolynomialLists
multiplicitiesReorder
(missing documentation)
polymakeConeToCone
(missing documentation)
polymakeFanToFan
(missing documentation)
toPolymakeFormat
(missing documentation)