mrdi File Format (Q6539304)

## The mrdi File Format \N\NDue 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](https://link.springer.com/chapter/10.1007/978-3-031-64529-7_25).\N\N### Specification\N\NYou can find the format specification [here](https://github.com/oscar-system/Oscar.jl/blob/master/data/schema.json). We have a paper describing the specification available on the [arxiv](https://arxiv.org/abs/2309.00465) and published in the proceedings of the icms [here](https://link.springer.com/chapter/10.1007/978-3-031-64529-7_25). \N\N### Usability \N \NSerializing to our file format is available from the [Oscar.jl](https://docs.oscar-system.org/stable/General/serialization/) computer algebra system. There is also an implementation for some of the types available in the Magma computer algebra system [here](https://github.com/JHanselman/MagmaMaRDI-JSON). We are also working on an implementation for the [Macaulay2](https://macaulay2.com/) and [Sage](https://www.sagemath.org/) computer algebra systems.\N\N### Examples \N\N We list some examples where The file format has been used in practice. \N\N -[Combinatorics of slices of cubes](https://zenodo.org/records/17304584) \N\N -[The F-theory geometry with most flux vacua](https://zenodo.org/records/15306696) \N\N -[Finite groups of symplectic birational transformations of IHS manifolds of OG10 type](https://zenodo.org/records/15719002). \N\N - The file format is an essential building block for the prototype [OscarDB](https://docs.oscar-system.org/dev/Experimental/OscarDB/introduction/). \N\N - A project that interfaces Oscar and Lean using the file form can be found [here](https://github.com/todbeibrot/Lean-Oscar).