Characterize pseudo-ASL term orders
Characterize pseudo-ASL term orders on finitely generated commutative algebras equipped with pseudo-ASL structures, and determine whether they admit a characterization in terms of weights analogous to Robbiano’s characterization of term orders on polynomial rings.
References
Characterize pseudo-ASL term orders. In particular, is there a characterization in terms of weights similar to Robbiano's characterization in the case of term orders on polynomial rings?
— Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors
(2510.11212 - Grochow et al., 13 Oct 2025) in Future directions and open questions — Theory and geometry