Service:6539304

MaRDI QIDQ6539304

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.

Examples

We list some examples where The file format has been used in practice. 

-Combinatorics of slices of cubes 

-The F-theory geometry with most flux vacua  

-Finite groups of symplectic birational transformations of IHS manifolds of OG10 type. 

- The file format is an essential building block for the prototype OscarDB. 

- A project that interfaces Oscar and Lean using the file form can be found here.