|
D.12.7.9 randcharpoly
Procedure from library rootsmr.lib (see rootsmr_lib).
- Usage:
- randcharpoly(b,i); randcharpoly(b,i,n); b,i ideal; n int
- Return:
- poly: the characteristic polynomial of a pseudorandom
rational univariate projection having one zero per zero of i.
If n<10 is given, it is the number of digits being used for the
pseudorandom coefficients (default: n=5)
- Assume:
- i is a Groebner basis and b is an ordered monomial basis of r/i,
r = basering
- Note:
- shows a warning if printlevel>0 (default: printlevel=0)
Example:
|