Singular Manual: checkpfdMat

| #### 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.

User manual for Singular version 4.3.2p4, 2023, generated by texi2html.