feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) #4168

Job	Run time
Plan Benchmarks	24s
Benchmark Static Quality	28s
Benchmark Inventory Validation	19s
Benchmark Contracts, Adapters, Records & Digests	24s
Host Verifiers (full-3-of-4)	1m 57s
Host Verifiers (full-2-of-4)	2m 6s
Host Verifiers (full-4-of-4)	2m 15s
Host Verifiers (full-1-of-4)	2m 12s
Benchmark Oracle (symbolic-coordination-v1/02-of-03)	5m 23s
Benchmark Oracle (public-reproductions-v1/01-of-03)	6m 0s
Benchmark Oracle (symbolic-coordination-v1/03-of-03)	5m 28s
Benchmark Oracle (public-reproductions-v1/02-of-03)	6m 33s
Benchmark Oracle (mathematical-benchmarks-v1/02-of-04)	18m 53s
Benchmark Oracle (mathematical-benchmarks-v1/03-of-04)	18m 8s
Benchmark Oracle (mathematical-benchmarks-v1/04-of-04)	18m 12s
Benchmark Oracle (mathematical-benchmarks-v1/01-of-04)	18m 56s
Benchmark Oracle (symbolic-coordination-v1/01-of-03)	5m 0s
Benchmark Oracle (conjecture-probes-v1/02-of-03)	5m 0s
Benchmark Oracle (conjecture-probes-v1/03-of-03)	5m 27s
Benchmark Oracle (public-reproductions-v1/03-of-03)	6m 37s
Benchmark Oracle (conjecture-probes-v1/01-of-03)	4m 47s
Benchmark Validation	11s
Publish Benchmark Timings	0s
	2h 14m 40s

Navigation Menu