ring R

25
t[1]t[2]t[3]t[4]t[5]t[6]t[7]t[8]x[1]x[2]x[3]x[4]x[5]x[6]x[7]x[8]x[9]x[10]x[11]x[12]x[13]x[14]x[15]x[16]x[17]

8 17

ideal I
17
x[1]-t[1]t[5]
x[2]-t[1]t[6]
x[3]-t[1]t[7]
x[4]-t[1]t[8]
x[5]-t[2]t[5]
x[6]-t[2]t[6]
x[7]-t[2]t[7]
x[8]-t[2]t[8]
x[9]-t[3]t[5]
x[10]-t[3]t[6]
x[11]-t[3]t[7]
x[12]-t[3]t[8]
x[13]-t[4]t[5]
x[14]-t[4]t[6]
x[15]-t[4]t[7]
x[16]-t[4]t[8]
x[17]t[1]t[2]t[3]t[4]t[5]t[6]t[7]t[8]-1

<inhomog_std I J
elim J H
type H

; x[12]x[15]-x[11]x[16] x[12]x[14]-x[10]x[16] x[12]x[13]-x[9]x[16] 

; x[11]x[14]-x[10]x[15] x[11]x[13]-x[9]x[15] x[10]x[13]-x[9]x[14] 

; x[8]x[15]-x[7]x[16] x[8]x[14]-x[6]x[16] x[8]x[13]-x[5]x[16] 

; x[8]x[11]-x[7]x[12] x[8]x[10]-x[6]x[12] x[8]x[9]-x[5]x[12] 

; x[7]x[14]-x[6]x[15] x[7]x[13]-x[5]x[15] x[7]x[10]-x[6]x[11] 

; x[7]x[9]-x[5]x[11] x[6]x[13]-x[5]x[14] x[6]x[9]-x[5]x[10] 

; x[4]x[15]-x[3]x[16] x[4]x[14]-x[2]x[16] x[4]x[13]-x[1]x[16] 

; x[4]x[11]-x[3]x[12] x[4]x[10]-x[2]x[12] x[4]x[9]-x[1]x[12] x[4]x[7]-x[3]x[8] 

; x[4]x[6]-x[2]x[8] x[4]x[5]-x[1]x[8] x[3]x[14]-x[2]x[15] x[3]x[13]-x[1]x[15] 

; x[3]x[10]-x[2]x[11] x[3]x[9]-x[1]x[11] x[3]x[6]-x[2]x[7] x[3]x[5]-x[1]x[7] 

; x[2]x[13]-x[1]x[14] x[2]x[9]-x[1]x[10] x[2]x[5]-x[1]x[6] 

; x[1]x[6]x[11]x[16]x[17]-1 x[1]x[6]x[10]x[15]x[16]x[17]-x[14] 

; x[1]x[6]x[7]x[12]x[16]x[17]-x[8] x[1]x[5]x[10]x[15]x[16]x[17]-x[13] 

; x[1]x[5]x[10]x[11]x[16]x[17]-x[9] x[1]x[5]x[9]x[14]x[15]x[16]x[17]-x[13]2 

; x[1]x[2]x[7]x[12]x[16]x[17]-x[4] x[1]x[2]x[7]x[11]x[16]x[17]-x[3] 

