feat(math): add dual code and syndrome operations using SymPy (#1851) #4153

Job	Run time
Plan Benchmarks	16s
Benchmark Contracts, Adapters, Records & Digests	18s
Host Verifiers (full-3-of-4)	1m 59s
Host Verifiers (full-2-of-4)	2m 2s
Host Verifiers (full-1-of-4)	1m 56s
Benchmark Static Quality	23s
Benchmark Inventory Validation	17s
Host Verifiers (full-4-of-4)	2m 22s
Benchmark Oracle (mathematical-benchmarks-v1/01-of-04)	19m 8s
Benchmark Oracle (mathematical-benchmarks-v1/03-of-04)	18m 11s
Benchmark Oracle (public-reproductions-v1/01-of-03)	6m 17s
Benchmark Oracle (mathematical-benchmarks-v1/04-of-04)	18m 11s
Benchmark Oracle (public-reproductions-v1/03-of-03)	6m 44s
Benchmark Oracle (mathematical-benchmarks-v1/02-of-04)	18m 53s
Benchmark Oracle (symbolic-coordination-v1/02-of-03)	5m 23s
Benchmark Oracle (symbolic-coordination-v1/01-of-03)	4m 50s
Benchmark Oracle (symbolic-coordination-v1/03-of-03)	5m 26s
Benchmark Oracle (conjecture-probes-v1/03-of-03)	5m 26s
Benchmark Oracle (conjecture-probes-v1/02-of-03)	4m 49s
Benchmark Oracle (public-reproductions-v1/02-of-03)	6m 32s
Benchmark Oracle (conjecture-probes-v1/01-of-03)	4m 58s
Benchmark Validation	8s
Publish Benchmark Timings	0s
	2h 14m 29s

Navigation Menu