(103 . 3)(103 . 11)
83 //@param len_out size of out; will be replaced by actual number of octets copied
84 //@param m The MPI whose octets are to be retrieved
85 void mpi_to_octets( char *out, unsigned int *len_out, MPI m);
86
87
88 //This calls mpi_set_buffer and then mpi_normalize - i.e. it *changes* given MPI
89 //by setting its internal buffer and trimming any leading 0.
90 //NB: the MPI lib fails to work correctly with non-normalized MPIs....
91 //NB: this may allocate/deallocate memory for the mpi!
92 void mpi_set_normalized(MPI m, const char *buffer,
93 unsigned int noctets, int sign);