Project

General

Profile

Feature #1817

OSCAR/MaRDI JSON interface

Added by John Abbott about 1 month ago. Updated 11 days ago.

Status:
In Progress
Priority:
Urgent
Assignee:
Category:
New Function
Target version:
Start date:
24 May 2024
Due date:
% Done:

20%

Estimated time:
Spent time:

Description

Build a good first version of an interface for sending/receiving OSCAR/MaRDI JSON serializations of mathematical objects.

This is notionally similar to the OpenMath interface. Probably both implementations should work in similar ways.


Related issues

Related to CoCoALib - Design #360: CoCoAServer: what future, what issues?New2013-05-27

Related to CoCoALib - Feature #1815: JSON and UUIDIn Progress2024-05-02

History

#1 Updated by John Abbott about 1 month ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 10

I have made a first throwaway prototype, mostly to learn about the foibles of the OSCAR/MaRDI JSON format.

I am working on documenting the OSCAR/MaRDI format... hope to finish that today.

#2 Updated by John Abbott about 1 month ago

  • Related to Design #360: CoCoAServer: what future, what issues? added

#3 Updated by John Abbott about 1 month ago

#4 Updated by John Abbott 11 days ago

  • % Done changed from 10 to 20

Ah well. Nearly 4 weeks later I think the doc for the MaRDI-JSON format is much better now, and the prototype in C++/CoCoALib is progressing steadily... with luck it will compile tomorrow (and if it compiles, it surely works; right?)

Also available in: Atom PDF