In POLYBORI we have default file format and tools, which read the files and generate references for our test suite.
The format is a normal Python-file with a few exceptions:
declare_ring([Block("x",4, reverse=False)]) ideal=[ x(1)+x(3), x(0)+x(1)*x(2)]The data file can be loaded using the following commands.
In [1]: from polybori.gbrefs import load_file In [2]: data=load_file("data-sample.py") In [3]: data.ideal Out[3]: [x(1) + x(3), x(0) + x(1)*x(2)]