This function composes m with a random map from a free module with degrees specified by L to the source of m.
i1 : kk=ZZ/101 o1 = kk o1 : QuotientRing |
i2 : S=kk[a..e] o2 = S o2 : PolynomialRing |
i3 : L={3,3,4,6}
o3 = {3, 3, 4, 6}
o3 : List
|
i4 : m = matrix{{a^3,b^4+c^4,d^5}}
o4 = | a3 b4+c4 d5 |
1 3
o4 : Matrix S <--- S
|
i5 : I=randomIdeal(L,m)
3 4 4 5 5 5 6 5
o5 = ideal (a , b + c , a*d + 42b*d - 27c*d + 41d - 2d e)
o5 : Ideal of S
|
The object randomIdeal is a method function.