Home Online Manual
Top
Back: pfdMat
Forward: polyclass_lib
FastBack:
FastForward:
Up: pfd_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.15.10 checkpfdMat

Procedure from library pfd.lib (see pfd_lib).

Usage:
checkpfdMat(input, output, denomFactors[, N, parallelize]); input,output,denomFactors string, N,parallelize int

Purpose:
test the output files of pfdMat for correctness. Input and output (indexed) txt-files have to be given as strings in the form "/<filename>.txt". The output should be indexed (that is the output file ending in ..._pfd_indexed.txt) and denomFactors has to be the file containing the denominator factors q1, q2, ... (the txt-file ending in ..._denominator_factors.txt).
As for readInputTXT and pfdMat, the basering has to match the variable names used in the input file, which has to be in the same format specified in readInputTXT. Also, files bigger than 2 GB have to be split as described for readInputTXT and a list of filenames can be given as first argument instead.
If a positive integer N is given, the test is done probabilistically by evaluation at N random points for each entry of the matrix. If N is nonpositive (default), the fractions in the decompositions will be expanded symbolically and compared to the input (may be slower).
If parallelize is nonzero (default), the tests are run in parallel using parallel_lib.
The result is printed and as in pfdMat a logfile is created showing the results for each matrix entry.

See also: checkpfd; pfd; pfdMat; readInputTXT.