61 pf_vector_t pf_vector_zero();
64 int pf_vector_finite(pf_vector_t a);
67 void pf_vector_fprintf(pf_vector_t s, FILE *file,
const char *fmt);
70 pf_vector_t pf_vector_add(pf_vector_t a, pf_vector_t b);
73 pf_vector_t pf_vector_sub(pf_vector_t a, pf_vector_t b);
76 pf_vector_t pf_vector_coord_add(pf_vector_t a, pf_vector_t b);
79 pf_vector_t pf_vector_coord_sub(pf_vector_t a, pf_vector_t b);
83 pf_matrix_t pf_matrix_zero();
86 int pf_matrix_finite(pf_matrix_t a);
89 void pf_matrix_fprintf(pf_matrix_t s, FILE *file,
const char *fmt);
97 void pf_matrix_unitary(pf_matrix_t *r, pf_matrix_t *d, pf_matrix_t a);