FunctionSpaceReduce(R, F)

pfo.spad line 196 [edit on github]

• R : Join(Comparable, IntegralDomain, RetractableTo(Integer))
• F : FunctionSpace(R)

This package provides function which replaces transcendental kernels in a function space by random integers. The correspondence between the kernels and the integers is fixed between calls to newReduc().

bringDown : F -> Fraction(Integer)

bringDown(f) replaces transcendental kernels in f by random integers. Error if f contains algebraic kernel.

bringDown : (F, Kernel(F)) -> SparseUnivariatePolynomial(Fraction(Integer))

bringDown(f, k) is like bringDown(f) but k is algebraic kernel and the result is reduced modulo minimal polynomial of k.

newReduc : Integer -> Void

newReduc(n) empties reduction state. n is size of random integers to use during next reduction.