ring R

17
ut[1]t[2]t[3]t[4]t[5]t[6]x[1]x[2]x[3]x[4]x[5]x[6]x[7]x[8]x[9]x[10]

7 10

ideal I
11
x[1]-t[1]t[4]
x[2]-t[1]t[5]
x[3]-t[1]t[6]
x[4]-t[2]t[4]
x[5]-t[2]t[5]
x[6]-t[2]t[6]
x[7]-t[3]t[4]
x[8]-t[3]t[5]
x[9]-t[3]t[6]
x[10]t[1]t[2]t[3]t[4]t[5]t[6]-1
ut[1]t[2]t[3]t[4]t[5]t[6]x[1]x[2]x[3]x[4]x[5]x[6]x[7]x[8]x[9]x[10]-1

<inhomog_std I J
elim J H
type H
; 
; 
; avec bastat<Ex/magic3revlex
; 
; [1 1 -1 0 0 1 0 0 1 1]    x[1]x[2]x[6]x[9]x[10]-x[3] 
; 
; [1 0 0 1 0 0 -1 1 1 1]    x[1]x[4]x[8]x[9]x[10]-x[7] 
; 
; [1 0 0 0 1 0 0 0 1 1]     x[1]x[5]x[9]x[10]-1 
; 
; [0 -1 1 0 1 -1 0 0 0 0]   x[3]x[5]-x[2]x[6] 
; 
; [-1 1 0 1 -1 0 0 0 0 0]   x[2]x[4]-x[1]x[5]
; 
; [-1 1 0 0 0 0 1 -1 0 0]   x[2]x[7]-x[1]x[8] 
; 
; [-1 0 1 1 0 -1 0 0 0 0]   x[3]x[4]-x[1]x[6] 
; 
; [-1 0 1 0 0 0 1 0 -1 0]   x[3]x[7]-x[1]x[9] 
; 
; [0 -1 1 0 0 0 0 1 -1 0]   x[3]x[8]-x[2]x[9] 
; 
; [0 0 0 -1 1 0 1 -1 0 0]   x[5]x[7]-x[4]x[8] 
; 
; [0 0 0 -1 0 1 1 0 -1 0]   x[6]x[7]-x[4]x[9]
; 
; [0 0 0 0 -1 1 0 1 -1 0]   x[6]x[8]-x[5]x[9]
; 
; ok
;
; time bastat <Ex/magic3revlex
; real    0m0.96s user    0m0.25s sys     0m0.31s
; time macaulay<Ex/magic3mac
; real    0m1.68s user    0m1.11s sys     0m0.18s
