|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.2.9.11 randomLast
Procedure from libraryrandom.lib (see random_lib).
- Usage:
- randomLast(b); b int
- Return:
- ideal = maxideal(1), but the last variable is exchanged by a random
linear combination of all variables, with coefficients in the
interval [-b,b], except for the last variable which always has
coefficient 1
LIB "random.lib"; ring r = 0,(x,y,z),lp; ideal i = randomLast(10); i; ==> i[1]=x ==> i[2]=y ==> i[3]=-x+z |