Top
Back: coords
Forward: verify
FastBack: weierstr_lib
FastForward: rootsur_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: coords Forward: verify FastBack: weierstr_lib FastForward: rootsur_lib Up: rootsmr_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.