FLINT3.7.0-dev

arf_dump_file, arf_load_file

Synopsis#include <flint/arf.h>
int arf_dump_file(FILE* stream, const arf_t x)source
int arf_load_file(arf_t res, FILE *stream)source

Write x to stream in the format of arf_dump_str, and read it back. Both return nonzero on failure. Several values written in sequence must be separated by whitespace.

Cite this page

The FLINT team, “arf_dump_file, arf_load_file (arf.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arf/arf_dump_file.html (generated 2026-10-20).