mrdi File Format
Mrdi File Format (Provide format for storing data from computer algebra.)
Provide format for storing data from computer algebra.
MaRDI Service Category: Tool/Application
Version type: stable version
Maintained by: TA1
The mrdi File Format
Due to the nature of data in computer algebra, the storage of such data requires a more sophisticated format. The mrdi file format is a JSON based file format with the necessary structure for saving and loading common types among computer algebra software. A publication describing our file format can be found here.
Specification
You can find the format specification here. We have a paper describing the specification available on the arxiv and published in the proceedings of the icms here.
Usability
Serializing to our file format is available from the Oscar.jl computer algebra system. There is also an implementation for some of the types available in the Magma computer algebra system here. We are also working on an implementation for the Macaulay2 and Sage computer algebra systems.
