GeometricDecomposability : Index

• CheckCM -- when to perform a Cohen-Macaulay check on the ideal
• CheckDegenerate -- check whether the geometric vertex decomposition is degenerate
• CheckUnmixed -- check whether ideals encountered are unmixed
• CyI -- computes the ideal $C_{y,I}$ for a given ideal and indeterminate
• CyI(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• CyI(Ideal,RingElement) -- computes the ideal $C_{y,I}$ for a given ideal and indeterminate
• findLexCompatiblyGVDOrders -- finds all lexicographic monomial orders $<$ such that the ideal is $<$-compatibly geometrically vertex decomposable
• findLexCompatiblyGVDOrders(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• findLexCompatiblyGVDOrders(Ideal) -- finds all lexicographic monomial orders $<$ such that the ideal is $<$-compatibly geometrically vertex decomposable
• findOneStepGVD -- for which indeterminates does there exist a geometric vertex decomposition
• findOneStepGVD(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• findOneStepGVD(...,OnlyDegenerate=>...) -- restrict to degenerate geometric vertex decompositions
• findOneStepGVD(...,OnlyNondegenerate=>...) -- restrict to nondegenerate geometric vertex decompositions
• findOneStepGVD(Ideal) -- for which indeterminates does there exist a geometric vertex decomposition
• GeometricDecomposability -- a package to check whether ideals are geometrically vertex decomposable
• getGVDIdeal -- computes the $C_{y,I}$ or $N_{y,I}$ ideal at any point in the GVD recursion tree
• getGVDIdeal(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• getGVDIdeal(Ideal,List) -- computes the $C_{y,I}$ or $N_{y,I}$ ideal at any point in the GVD recursion tree
• isGeneratedByIndeterminates -- checks whether the ideal is generated by indeterminates
• isGeneratedByIndeterminates(Ideal) -- checks whether the ideal is generated by indeterminates
• isGVD -- checks whether an ideal is geometrically vertex decomposable
• isGVD(...,CheckCM=>...) -- when to perform a Cohen-Macaulay check on the ideal
• isGVD(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• isGVD(...,IsIdealHomogeneous=>...) -- specify whether an ideal is homogeneous
• isGVD(...,IsIdealUnmixed=>...) -- specify whether an ideal is unmixed
• isGVD(...,Verbose=>...) -- print additional output
• isGVD(Ideal) -- checks whether an ideal is geometrically vertex decomposable
• IsIdealHomogeneous -- specify whether an ideal is homogeneous
• IsIdealUnmixed -- specify whether an ideal is unmixed
• isLexCompatiblyGVD -- checks whether an ideal is <-compatibly geometrically vertex decomposable for a given order
• isLexCompatiblyGVD(...,CheckCM=>...) -- when to perform a Cohen-Macaulay check on the ideal
• isLexCompatiblyGVD(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• isLexCompatiblyGVD(...,IsIdealHomogeneous=>...) -- specify whether an ideal is homogeneous
• isLexCompatiblyGVD(...,IsIdealUnmixed=>...) -- specify whether an ideal is unmixed
• isLexCompatiblyGVD(...,Verbose=>...) -- print additional output
• isLexCompatiblyGVD(Ideal,List) -- checks whether an ideal is <-compatibly geometrically vertex decomposable for a given order
• isUnmixed -- checks whether an ideal is unmixed
• isUnmixed(Ideal) -- checks whether an ideal is unmixed
• isWeaklyGVD -- checks whether an ideal is weakly geometrically vertex decomposable
• isWeaklyGVD(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• isWeaklyGVD(...,IsIdealUnmixed=>...) -- specify whether an ideal is unmixed
• isWeaklyGVD(...,Verbose=>...) -- print additional output
• isWeaklyGVD(Ideal) -- checks whether an ideal is weakly geometrically vertex decomposable
• NyI -- computes the ideal $N_{y,I}$ for a given ideal and indeterminate
• NyI(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• NyI(Ideal,RingElement) -- computes the ideal $N_{y,I}$ for a given ideal and indeterminate
• oneStepGVD -- computes a geometric vertex decomposition
• oneStepGVD(...,CheckDegenerate=>...) -- check whether the geometric vertex decomposition is degenerate
• oneStepGVD(...,CheckUnmixed=>...) -- check whether ideals encountered are unmixed
• oneStepGVD(...,Verbose=>...) -- print additional output
• oneStepGVD(Ideal,RingElement) -- computes a geometric vertex decomposition
• OnlyDegenerate -- restrict to degenerate geometric vertex decompositions
• OnlyNondegenerate -- restrict to nondegenerate geometric vertex decompositions
• Verbose -- print additional output
• yInit -- computes the ideal of initial y-forms
• yInit(Ideal,RingElement) -- computes the ideal of initial y-forms