
arXiv: 0911.0859
Border bases can be considered to be the natural extension of Gröbner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced Gröbner bases. We adapt the classical border basis algorithm to allow for calculating border bases for arbitrary degree-compatible order ideals, which is \emph{independent} from term orderings. Moreover, the algorithm also supports calculating degree-compatible order ideals with \emph{preference} on contained elements, even though finding a preferred order ideal is NP-hard. Effectively we retain degree-compatibility only to successively extend our computation degree-by-degree. The adaptation is based on our polyhedral characterization: order ideals that support a border basis correspond one-to-one to integral points of the order ideal polytope. This establishes a crucial connection between the ideal and the combinatorial structure of the associated factor spaces.
90C27, 13P10; 90C57; 65H10; 12Y05; 90C27; 68R05, Mathematics - Commutative Algebra, 12Y05, Commutative Algebra (math.AC), 90C57, 68R05, Mathematics - Algebraic Geometry, FOS: Mathematics, 13P10, Algebraic Geometry (math.AG), 65H10
90C27, 13P10; 90C57; 65H10; 12Y05; 90C27; 68R05, Mathematics - Commutative Algebra, 12Y05, Commutative Algebra (math.AC), 90C57, 68R05, Mathematics - Algebraic Geometry, FOS: Mathematics, 13P10, Algebraic Geometry (math.AG), 65H10
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
