Hi @riccitensor, thank you for your contribution.

Could you please provide more context and details regarding the aim of this tool? It's preferable if contributors follow the workflow described in the CONTRIBUTING guide.

I need to make sure to know what problem is supposed to solve and as a consequence where the script should be located.

Yes, absolutely.

I'm writing an RL agent and need the CLI logic behind the op table verification. Especially, for a given subset of equations. It's a Python script that takes the operation table and the equation list as arguments, and returns a JSON where for every equation 0 means "refutes", 1 means "satisfies".

I also want to create an optable dataset, and I need this tool for that. The optable dataset would let us learn how to introduce perturbations into magmas. My feeling is that long-context perturbations could help us reach solutions that are currently impossible to reach.

Example:

riccitensor@timetravel magmastool % python3 magmas.py optable.txt 854_n_413.txt
{
"Equation413": 0,
"Equation854": 0
}

@riccitensor, please follow the steps in the contribution guide. We don't encourage direct PRs bypassing those steps.

@Shreyas4991 I guess this is just a tool and I don't see any related tickets in the GitHub project dashboard that I can claim (regarding this tool). How should I proceed?

Basically:

1. Create an issue and bring it up on Zulip.
   2.Wait for others respond and refine the proposed tool idea.
2. If the discussion tends to "yeah sounds good", we make it a project task.

All this and more is detailed in CONTRIBUTING.md