59pf_vector_t pf_vector_zero();
62int pf_vector_finite(pf_vector_t a);
65void pf_vector_fprintf(pf_vector_t s, FILE *file,
const char *fmt);
68pf_vector_t pf_vector_add(pf_vector_t a, pf_vector_t b);
71pf_vector_t pf_vector_sub(pf_vector_t a, pf_vector_t b);
74pf_vector_t pf_vector_coord_add(pf_vector_t a, pf_vector_t b);
77pf_vector_t pf_vector_coord_sub(pf_vector_t a, pf_vector_t b);
80pf_matrix_t pf_matrix_zero();
83int pf_matrix_finite(pf_matrix_t *a);
86void pf_matrix_fprintf(pf_matrix_t *s, FILE *file,
const char *fmt);
94void pf_matrix_unitary(pf_matrix_t *r, pf_matrix_t *d, pf_matrix_t *a);