|
D.15.12.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.
|