i23 : P = minors(2, MM)
o23 = ideal (- x x + x x , - x x + x x , - x x + x x , - x x + x x , -
2 4 1 5 3 4 1 6 3 5 2 6 2 7 1 8
-----------------------------------------------------------------------
x x + x x , - x x + x x , - x x + x x , - x x + x x , - x x +
3 7 1 9 3 8 2 9 5 7 4 8 6 7 4 9 6 8
-----------------------------------------------------------------------
x x )
5 9
o23 : Ideal of R
|
i24 : M = ideal(x_1^2, x_5^2, x_9^2, x_2, x_3, x_4, x_6, x_7, x_8)
2 2 2
o24 = ideal (x , x , x , x , x , x , x , x , x )
1 5 9 2 3 4 6 7 8
o24 : Ideal of R
|
i25 : Q = joinIdeals(P, M)
2 2 2 2
o25 = ideal (x x x - x x x , x x - 2x x x x + x x , x x x x - 2x x x x +
2 6 7 3 4 8 3 8 2 3 8 9 2 9 3 6 7 8 3 4 8 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
x x x , x x - 2x x x x + x x , x x - 2x x x x + x x , x x -
2 4 9 6 7 4 6 7 9 4 9 5 7 4 5 7 8 4 8 2 7
-----------------------------------------------------------------------
2 2 2
2x x x x + x x , x x x - 2x x x x + x x x x , x x x x - 2x x x x +
1 2 7 8 1 8 3 5 7 3 4 5 8 2 4 6 8 2 3 4 7 1 3 4 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
x x x , x x - 2x x x x + x x , x x - 2x x x x + x x , x x x -
1 6 8 3 5 2 3 5 6 2 6 3 4 1 3 4 6 1 6 6 7 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2
2x x x x - x x x + 2x x x x , x x x - 2x x x x - x x x +
4 6 8 9 5 7 9 4 5 8 9 3 6 8 2 6 8 9 3 5 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2
2x x x x , 2x x x x - x x x - 2x x x x + x x x , x x x - 2x x x x
2 5 6 9 3 5 6 8 2 6 8 3 5 8 9 2 5 9 3 7 8 2 3 7 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
+ 2x x x x - x x x , 2x x x x - x x x - 2x x x x + x x x , x x x -
1 2 7 9 1 8 9 5 6 7 8 4 6 8 5 6 7 9 4 5 9 3 6 7
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2
2x x x x + 2x x x x - x x x , x x x - 2x x x x + 2x x x x -
3 4 7 9 1 3 4 9 1 6 9 3 4 7 1 3 6 7 1 6 7 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2
x x x , x x x - 2x x x x + 2x x x x - x x x , 2x x x x - 2x x x x
1 4 9 2 3 7 1 3 7 8 1 3 8 9 1 2 9 2 4 5 7 1 2 5 7
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
- x x x + x x x , x x x - x x x - 2x x x x + 2x x x x , 2x x x x -
2 4 8 1 5 8 2 4 7 1 5 7 1 2 4 8 1 4 5 8 2 3 4 5
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
2x x x x - x x x + x x x , x x x - x x x - 2x x x x + 2x x x x ,
1 3 4 5 2 4 6 1 5 6 2 3 4 1 3 5 1 2 4 6 1 2 5 6
-----------------------------------------------------------------------
3 3 2 2 2 2 3 3 2 3 2 2
x x - 3x x x x + 3x x x x - x x , x x x + 2x x x x x - 4x x x x x
6 8 5 6 8 9 5 6 8 9 5 9 4 6 8 5 6 7 8 9 4 5 6 8 9
-----------------------------------------------------------------------
3 2 2 2 3 2 2 2 2
- 2x x x + 3x x x x , x x x x - 2x x x x x - x x x x + 2x x x x x ,
5 7 9 4 5 8 9 3 4 6 8 2 4 6 8 9 2 5 7 9 2 4 5 8 9
-----------------------------------------------------------------------
3 2 2 2 3 2 2 2 2
x x x + 2x x x x x - 4x x x x x - 2x x x + 3x x x x , 2x x x x x -
2 6 8 3 5 6 8 9 2 5 6 8 9 3 5 9 2 5 6 9 1 3 4 6 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2 2
x x x - 2x x x x x + x x x , 2x x x x x + x x x + 2x x x x x -
1 6 8 2 3 4 8 9 2 4 9 3 4 5 7 8 1 6 8 2 3 4 8 9
-----------------------------------------------------------------------
2 2 2 2 2
8x x x x x x - 4x x x x x x + 4x x x x x + 4x x x x x - x x x ,
1 3 4 5 8 9 1 2 4 6 8 9 1 5 6 8 9 1 2 4 5 9 1 5 9
-----------------------------------------------------------------------
3 2 2 2 2 2 3 3
x x x x - 4x x x x x + 2x x x x x + 2x x x x x - x x x x , x x -
3 4 7 8 1 3 4 8 9 1 3 6 8 9 1 2 3 4 9 1 2 6 9 3 7
-----------------------------------------------------------------------
2 2 2 2 3 3 2 2 3 2
3x x x x + 3x x x x - x x , x x x x - x x x x + 2x x x x x -
1 3 7 9 1 3 7 9 1 9 1 5 6 7 2 3 4 8 1 2 4 6 8
-----------------------------------------------------------------------
2 2 2 3 2 3 2 2 2
2x x x x x , 2x x x x x - 2x x x + x x x - 4x x x x x + 3x x x x ,
1 4 5 6 8 1 2 4 5 7 1 5 7 2 4 8 1 2 4 5 8 1 4 5 8
-----------------------------------------------------------------------
2 2 3 3 2 2 2 2 3 3
2x x x x x - 2x x x + x x x - 4x x x x x + 3x x x x , x x -
1 2 3 4 5 1 3 5 2 4 6 1 2 4 5 6 1 2 5 6 2 4
-----------------------------------------------------------------------
2 2 2 2 3 3 2 2 3 2 2 2
3x x x x + 3x x x x - x x , x x x + 2x x x x x - 4x x x x x x -
1 2 4 5 1 2 4 5 1 5 1 6 8 2 3 4 8 9 1 2 4 6 8 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 3 2 2
2x x x x x - x x x x + 4x x x x x x , x x x x - 2x x x x x -
1 2 5 7 9 2 4 8 9 1 2 4 5 8 9 1 3 6 8 1 2 6 8 9
-----------------------------------------------------------------------
3 2 2 2 2 3 2 2 2
x x x x + 2x x x x x , x x x + 2x x x x x x - 4x x x x x x -
2 4 7 9 1 2 4 8 9 1 6 8 2 3 4 6 8 9 1 2 4 6 8 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
2x x x x x - x x x x + 4x x x x x x , x x x x x - x x x x -
1 3 4 5 9 2 4 6 9 1 2 4 5 6 9 1 2 4 6 8 1 5 6 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2 2 2 2
x x x x x + x x x x x + x x x x - x x x x x , 2x x x x x - x x x x
2 4 6 8 9 1 5 6 8 9 2 4 5 9 1 2 4 5 9 2 3 4 6 8 1 5 6 8
-----------------------------------------------------------------------
2 2 2 2 2
- 2x x x x x x - 5x x x x x + 4x x x x x x x + x x x x x +
1 3 4 5 8 9 2 4 6 8 9 1 2 4 5 6 8 9 1 5 6 8 9
-----------------------------------------------------------------------
2 2 2 2 2 2 3 2 2 3 2 2 3 2
4x x x x - 4x x x x x + x x x , x x x x - 2x x x x x - x x x x +
2 4 5 9 1 2 4 5 9 1 5 9 1 6 7 8 1 4 6 8 9 2 3 4 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2 2 2
2x x x x x , x x x x - x x x x - 4x x x x x x + 4x x x x x x x +
1 2 4 6 9 2 4 6 8 1 5 6 8 2 4 5 6 8 9 1 2 4 5 6 8 9
-----------------------------------------------------------------------
2 2 2 2 3 2 2 4 2
3x x x x - 4x x x x x + x x x )
2 4 5 9 1 2 4 5 9 1 5 9
o25 : Ideal of R
|
i26 : L = noetherianOperators(Q)
o26 = {| 1 |, | dx_5 |, | x_6dx_4+x_9dx_7 |, | x_4dx_4-x_8dx_8 |, |
-----------------------------------------------------------------------
x_6dx_4dx_5+x_9dx_5dx_7 |, | x_4dx_4dx_5-x_8dx_5dx_8 |, |
-----------------------------------------------------------------------
x_4x_5x_9dx_4dx_7+x_4x_8x_9dx_7^2+x_5^2x_9dx_4dx_8+x_5x_8x_9dx_7dx_8-x_
-----------------------------------------------------------------------
5x_6dx_4 |, | x_4x_5x_9dx_4dx_5dx_7+x_4x_8x_9dx_5dx_7^2+x_5^2x_9dx_4dx_
-----------------------------------------------------------------------
5dx_8+x_5x_8x_9dx_5dx_7dx_8-x_5x_6dx_4dx_5 |}
o26 : List
|
i27 : Q' = getIdealFromNoetherianOperators(L, radical Q)
2 2 2 2
o27 = ideal (x x x - x x x , x x - 2x x x x + x x , x x x x - 2x x x x +
2 6 7 3 4 8 3 8 2 3 8 9 2 9 3 6 7 8 3 4 8 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
x x x , x x - 2x x x x + x x , x x - 2x x x x + x x , x x -
2 4 9 6 7 4 6 7 9 4 9 5 7 4 5 7 8 4 8 2 7
-----------------------------------------------------------------------
2 2 2
2x x x x + x x , x x x - 2x x x x + x x x x , x x x x - 2x x x x +
1 2 7 8 1 8 3 5 7 3 4 5 8 2 4 6 8 2 3 4 7 1 3 4 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
x x x , x x - 2x x x x + x x , x x - 2x x x x + x x , x x x -
1 6 8 3 5 2 3 5 6 2 6 3 4 1 3 4 6 1 6 6 7 8
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2
2x x x x - x x x + 2x x x x , x x x - 2x x x x - x x x +
4 6 8 9 5 7 9 4 5 8 9 3 6 8 2 6 8 9 3 5 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2
2x x x x , 2x x x x - x x x - 2x x x x + x x x , x x x - 2x x x x
2 5 6 9 3 5 6 8 2 6 8 3 5 8 9 2 5 9 3 7 8 2 3 7 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
+ 2x x x x - x x x , 2x x x x - x x x - 2x x x x + x x x , x x x -
1 2 7 9 1 8 9 5 6 7 8 4 6 8 5 6 7 9 4 5 9 3 6 7
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2
2x x x x + 2x x x x - x x x , x x x - 2x x x x + 2x x x x -
3 4 7 9 1 3 4 9 1 6 9 3 4 7 1 3 6 7 1 6 7 9
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2
x x x , x x x - 2x x x x + 2x x x x - x x x , 2x x x x - 2x x x x
1 4 9 2 3 7 1 3 7 8 1 3 8 9 1 2 9 2 4 5 7 1 2 5 7
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
- x x x + x x x , x x x - x x x - 2x x x x + 2x x x x , 2x x x x -
2 4 8 1 5 8 2 4 7 1 5 7 1 2 4 8 1 4 5 8 2 3 4 5
-----------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2
2x x x x - x x x + x x x , x x x - x x x - 2x x x x + 2x x x x ,
1 3 4 5 2 4 6 1 5 6 2 3 4 1 3 5 1 2 4 6 1 2 5 6
-----------------------------------------------------------------------
3 3 2 2 2 2 3 3 2 2 2 2 2
x x - 3x x x x + 3x x x x - x x , 2x x x x x + x x x + 2x x x x x
6 8 5 6 8 9 5 6 8 9 5 9 3 4 5 7 8 1 6 8 2 3 4 8 9
-----------------------------------------------------------------------
2 2 2 2 2
- 8x x x x x x - 4x x x x x x + 4x x x x x + 4x x x x x - x x x ,
1 3 4 5 8 9 1 2 4 6 8 9 1 5 6 8 9 1 2 4 5 9 1 5 9
-----------------------------------------------------------------------
3 3 2 2 2 2 3 3 3 3 2 2 2 2
x x - 3x x x x + 3x x x x - x x , x x - 3x x x x + 3x x x x -
3 7 1 3 7 9 1 3 7 9 1 9 2 4 1 2 4 5 1 2 4 5
-----------------------------------------------------------------------
3 3
x x )
1 5
o27 : Ideal of R
|