Returns the intersection of the ideals of variables in each single multi-degree.
i1 : R = productOfProjectiveSpaces 3 o1 = R o1 : PolynomialRing |
i2 : vars R
o2 = | x_(0,0) x_(1,0) x_(0,1) x_(1,1) x_(0,2) x_(1,2) |
1 6
o2 : Matrix R <--- R
|
i3 : (gens R)/degree
o3 = {{1, 0, 0}, {1, 0, 0}, {0, 1, 0}, {0, 1, 0}, {0, 0, 1}, {0, 0, 1}}
o3 : List
|
i4 : irrelevantIdeal R
o4 = ideal (x x x , x x x , x x x , x x x ,
1,0 1,1 1,2 0,0 1,1 1,2 1,0 0,1 1,2 0,0 0,1 1,2
------------------------------------------------------------------------
x x x , x x x , x x x , x x x )
1,0 1,1 0,2 0,0 1,1 0,2 1,0 0,1 0,2 0,0 0,1 0,2
o4 : Ideal of R
|