Serialization of Algebraic Data
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.
The first implementation for serializing mrdi files has been written in the computer algebra system Oscar.jl. We present the format and discuss features of the implementation that allow users/developers to extend to new algebraic types as well as alter encodings for specific contexts.
Antony Della Vecchia
I am a PhD student at the TU Berlin in mathematics.
I am also a maintainer of Oscar.jl