i5 : obstructions D
o5 = | 0
| 0
| 0
| 0
| t_1t_2+t_1t_3-t_5t_7-t_3t_8-t_1t_9+t_9t_10-t_10t_11-t_7t_
| t_2^2-t_2t_3+t_3^2+2t_1t_4-t_1t_5-t_6t_7-t_4t_8-t_2t_9+t_
| t_3^2+t_1t_4-t_5t_10-t_3t_11-t_1t_12+t_10t_12+t_11t_13-t_
| t_2t_4+t_1t_6-t_6t_10-t_4t_11-t_2t_12+t_11t_12-t_8t_15+t_
| t_3t_5+t_1t_6-t_5t_13-t_3t_14+t_13t_14-t_1t_15+t_10t_15-t
| t_4^2+t_3t_6-t_12^2-t_6t_13-t_4t_14+t_12t_14-t_2t_15+t_9t
| t_4^2-t_4t_5+t_5^2-t_2t_6+2t_3t_6-t_12^2+t_12t_14-t_14^2+
| t_4t_6+t_5t_6-t_12t_15-t_14t_15-t_6t_16+t_15t_16-t_4t_17+
------------------------------------------------------------------------
12+t_8t_13-t_10t_13+t_7t_16
9t_11-t_11^2-t_8t_12+t_10t_12+t_11t_13-t_13^2+t_8t_14-2t_10t_14-t_7t_15+
13^2-t_10t_14-t_7t_15+t_10t_16
10t_15-t_7t_18
_10t_17-t_7t_18
_15-t_11t_15+t_13t_15-t_10t_18
t_9t_15-2t_11t_15+t_13t_15-t_5t_16+t_14t_16-t_3t_17+t_11t_17-t_13t_17-t_
t_12t_17-t_2t_18+t_9t_18-t_13t_18
------------------------------------------------------------------------
|
|
|
|
|
t_10t_16+t_7t_17 |
|
|
|
|
1t_18+t_8t_18-t_10t_18 |
|
12 1
o5 : Matrix (R[t ..t ]) <-- (R[t ..t ])
1 18 1 18
|