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