A pommaret division algorithm for computing Grobner bases in boolean rings

Author(s):  
Vladimir P. Gerdt ◽  
Mikhail V. Zinin
2016 ◽  
Vol 99 (113) ◽  
pp. 31-42 ◽  
Author(s):  
Manuela Muzika-Dizdarevic ◽  
Marinko Timotijevic ◽  
Rade Zivaljevic

Conway and Lagarias observed that a triangular region T(m) in a hexagonal lattice admits a signed tiling by three-in-line polyominoes (tribones) if and only if m 2 {9d?1, 9d}d2N. We apply the theory of Gr?bner bases over integers to show that T(m) admits a signed tiling by n-in-line polyominoes (n-bones) if and only if m 2 {dn2 ? 1, dn2}d2N. Explicit description of the Gr?bner basis allows us to calculate the ?Gr?bner discrete volume? of a lattice region by applying the division algorithm to its ?Newton polynomial?. Among immediate consequences is a description of the tile homology group for the n-in-line polyomino.


2010 ◽  
Vol 153 (2) ◽  
pp. 363-396 ◽  
Author(s):  
Vladimir Dotsenko ◽  
Anton Khoroshkin
Keyword(s):  

2018 ◽  
Vol 88 (315) ◽  
pp. 467-483 ◽  
Author(s):  
Andrew J. Chan ◽  
Diane Maclagan
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document