{"entities":{"Q6539304":{"pageid":14150447,"ns":120,"title":"Item:Q6539304","lastrevid":54914020,"modified":"2026-01-30T06:46:46Z","type":"item","id":"Q6539304","labels":{"en":{"language":"en","value":"mrdi File Format"}},"descriptions":{"en":{"language":"en","value":"Provide format for storing data from computer algebra."}},"aliases":{},"claims":{"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"494307fc87485aa6e5e7250b424f1dd9e50a5448","datavalue":{"value":{"entity-type":"item","numeric-id":6503324,"id":"Q6503324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539304$b0816ea4-4462-fb6d-660b-942a441818a8","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"4bc5ef4b743c4fdb9050c21191822c175a2f0383","datavalue":{"value":"## 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).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539304$577567f2-4e9a-d93b-3c84-74809241665b","rank":"normal"}],"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"9cef675a0f1f41846b0fdebfbb032644190612e7","datavalue":{"value":{"entity-type":"item","numeric-id":6506273,"id":"Q6506273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539304$9991ce67-4c3d-04c9-5897-527db8c48c38","rank":"normal"}],"P1641":[{"mainsnak":{"snaktype":"value","property":"P1641","hash":"02ec466d001b1c4d6c2d0faf656e72f0b751c7f8","datavalue":{"value":{"entity-type":"item","numeric-id":6503332,"id":"Q6503332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539304$bd77a905-4f94-cd08-77e7-455049af37e9","rank":"normal"}],"P230":[{"mainsnak":{"snaktype":"value","property":"P230","hash":"d017a5d88b19bb5a4f6611cec57964a63930a6dd","datavalue":{"value":{"entity-type":"item","numeric-id":56641,"id":"Q56641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539304$17014e64-44b8-d1f4-df2e-7d37496e316f","rank":"normal"}],"P1640":[{"mainsnak":{"snaktype":"value","property":"P1640","hash":"3b988c6185f8317306c2f3219fd19de7b7ff7698","datavalue":{"value":"Mrdi-file-logo.png","type":"string"},"datatype":"localMedia"},"type":"statement","id":"Q6539304$71185b9f-4bd4-18c0-36d8-d398510b0580","rank":"normal"}],"P1638":[{"mainsnak":{"snaktype":"value","property":"P1638","hash":"c3301a17a5ae47f6ce5e2cd104cdb6567e558f93","datavalue":{"value":{"text":"The mrdi file format is a JSON based file format with the necessary structure for saving and loading common types among computer algebra software.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6539304$dec833a5-45c1-9c33-f225-11af3727fd58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mrdi File Format (Provide format for storing data from computer algebra.)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mrdi_File_Format_(Provide_format_for_storing_data_from_computer_algebra.)"}}}}}