an encyclopedia of finite element definitions
-".join([f"{cdescs[c]} (\\({n}\\))" for n, c in sobolev.items()]), - ) - ) - else: - element_data.append(("continuity", cdescs[sobolev])) - - # Notes - notes = e.notes - if isinstance(notes, str): - notes = [notes] - if len(notes) > 0: - element_data.append(("Notes", "
\n".join([insert_links(i) for i in notes]))) - - # Implementations - libraries = [(i, j.name, j.url, j.install) for i, j in implementations.items()] - libraries.sort(key=lambda i: i[0]) - for codename, libname, url, pip in libraries: - if not include_simplefem and codename == "simplefem": - continue - jscodename = jsify(libname) - code_examples = {} - for language in implementations[codename].languages: - eg_html = generate_examples(e, implementations[codename], language) - if eg_html is not None: - code_examples[language] = eg_html - if len(code_examples) > 0: - info = e.list_of_implementation_strings(codename) - - info += "\n".join(code_examples.values()) - - short_info = libname - - if codename == "symfem": - short_info += f" {green_check_small}" - info += ( - f"{green_check} " - "This implementation is used to compute the examples below and " - "verify other implementations." - ) - else: - v = None - if codename.startswith("*(") and codename.endswith(")"): - input_code, output_code = codename[2:-1].split(" -> ") - if e.filename in verification and output_code in verification[e.filename]: - v = verification[e.filename][output_code] - elif e.has_implementation_examples(codename): - if e.filename in verification and codename in verification[e.filename]: - v = verification[e.filename][codename] - if v is not None: - if len(v["fail"]) == 0: - if len(v["not implemented"]) == 0: - short_info += f" {green_check_small}" - info += ( - f"{green_check} " - "This implementation is correct for all the examples below." - "" - ) - else: - short_info += f" {green_check_small}" - info += ( - f"{green_check} " - "This implementation is correct for all the examples below " - "that it supports." - "" - f"
"
- f""
- "↓ Show more ↓
"
- f""
- ""
- ""
- )
- elif len(v["pass"]) > 0:
- short_info += f" {orange_check_small}"
- info += (
- f"{orange_check} "
- "This implementation is correct for some of "
- "the examples below."
- f""
- f""
- "↓ Show more ↓
"
- f""
- )
- info += (
- ""
- ""
- )
- else:
- short_info += f" {red_check_small}"
- info += (
- f"{red_check} "
- "This implementation is incorrect for this element."
- )
- notes = e.implementation_notes(codename)
- if notes is not None:
- for note in notes:
- info += f"Note: {note}
"
-
- impl.append(
- (
- f"{libname}",
- info,
- short_info,
- )
- )
-
- # Categories
- cats = e.categories()
- if len(cats) > 0:
- element_data.append(("Categories", ", ".join(cats)))
-
- # Write element data
- content += "| {i.replace(' ', ' ').replace(' | "
- content += f"{j} |
degree {degree}" - if variant is not None: - name += f"
{e.variant_name(variant)} variant" - for key, value in kwargs.items(): - name += f"
{key}={str(value).replace(' ', ' ')}" - - eginfo = { - "name": name, - "args": [cell, symfem_name, symfem_degree], - "kwargs": kwargs, - "html_name": e.html_name, - "element_filename": e.html_filename, - "filename": fname, - "url": f"/elements/examples/{fname}", - } - if "variant" in params: - eginfo["kwargs"]["variant"] = params["variant"] - if "legacy-names" in e.data: - eginfo["legacy-filenames"] = [ - fname.replace(e.filename, i) for i in e.data["legacy-names"] - ] - all_examples.append(eginfo) - element_examples.append(eginfo) - - if len(element_examples) > 0: - content += heading_with_self_ref("h2", "Examples") - content += "
| {eg['name']} | (click to view basis functions) |
- \n"
- for rindex, r in enumerate(refs):
- content += f"
- [{rindex + 1}] {markup_citation(r)}" - content += ( - f" [BibTeX] \n" - ) - with open( - os.path.join(settings.htmlelement_path, f"bibtex/{e.filename}-{rindex}.bib"), - "w", - ) as f: - f.write(make_bibtex(f"{e.filename}-{rindex}", r)) - content += "
| Element added | {e.created.strftime('%d %B %Y')} |
| Element last updated | " - content += f"{e.modified.strftime('%d %B %Y')} |
" - content += updated - long_content += updated - for i in impl_content: - impl_content[i] += updated - - for i in impl_content: - if i in vhistory: - hist = vhistory[i] - impl_content[i] += ( - "
" - - content += "
[")[1]
- .split("]")[0]
- .split("\n")
- ]
- )
- except urllib.error.HTTPError:
- pytest.xfail("Error reading from OEIS")
- assert ",".join([str(i) for i in seq.values()]) in oeis_cache[oeis]
-
-
-def parse_degree(degree, cellname):
- if isinstance(degree, dict):
- return parse_degree(degree[cellname], cellname)
- if isinstance(degree, str):
- return int(sympy.S(degree).subs("d", symfem.create_reference(cellname).tdim))
-
- return degree
-
-
-element_path = os.path.join(os.path.dirname(os.path.realpath(__file__)), "../elements")
-
-inputs = []
-for i in os.listdir(element_path):
- if i.endswith(".def"):
- with open(os.path.join(element_path, i)) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- inputs += [(i, c) for c in data["reference-cells"]]
-
-
-@pytest.mark.parametrize("file, cellname", inputs)
-def test_sequence(file, cellname):
- if cellname == "dual polygon":
- pytest.skip()
- with open(os.path.join(element_path, file)) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
-
- if "implementations" not in data or "symfem" not in data["implementations"]:
- pytest.skip()
- if "ndofs" not in data:
- pytest.skip()
-
- if isinstance(data["implementations"]["symfem"], dict):
- if cellname not in data["implementations"]["symfem"]:
- pytest.skip()
- symfem_name = data["implementations"]["symfem"][cellname]
- else:
- symfem_name = data["implementations"]["symfem"]
-
- seq = {}
- if "min-degree" in data:
- mink = parse_degree(data["min-degree"], cellname)
- else:
- mink = 0
- maxk = 10
- if "max-degree" in data:
- maxk = min(maxk, parse_degree(data["max-degree"], cellname))
-
- for k in range(mink, maxk + 1):
- try:
- signal.signal(signal.SIGALRM, handler)
- signal.alarm(25)
- if "variant=" in symfem_name:
- elementname, variant = symfem_name.split(" variant=")
- term = symfem.create_element(cellname, elementname, k, variant=variant).space_dim
- else:
- term = symfem.create_element(cellname, symfem_name, k).space_dim
- seq[k] = term
- except NotImplementedError:
- pass
- except ValueError:
- pass
- except TimeOutTheTest:
- break
-
- signal.alarm(0)
-
- if cellname in data["ndofs"]:
- if "formula" in data["ndofs"][cellname]:
- check_formula(data["ndofs"][cellname]["formula"], seq)
- if "oeis" in data["ndofs"][cellname]:
- check_oeis(data["ndofs"][cellname]["oeis"], seq)
-
-
-@pytest.mark.parametrize("file, cellname", inputs)
-def test_entity_sequences(file, cellname):
- if cellname == "dual polygon":
- pytest.skip()
- with open(os.path.join(element_path, file)) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
-
- if "implementations" not in data or "symfem" not in data["implementations"]:
- pytest.skip()
- if "entity-ndofs" not in data:
- pytest.skip()
-
- if isinstance(data["implementations"]["symfem"], dict):
- if cellname not in data["implementations"]["symfem"]:
- pytest.skip()
- symfem_name = data["implementations"]["symfem"][cellname]
- else:
- symfem_name = data["implementations"]["symfem"]
-
- seq = {
- "vertices": {},
- "edges": {},
- "faces": {},
- "volumes": {},
- "cell": {},
- "facets": {},
- "ridges": {},
- "peaks": {},
- }
- if "min-degree" in data:
- mink = parse_degree(data["min-degree"], cellname)
- else:
- mink = 0
- maxk = 10
- if "max-degree" in data:
- maxk = min(maxk, parse_degree(data["max-degree"], cellname))
-
- for k in range(mink, maxk + 1):
- try:
- signal.signal(signal.SIGALRM, handler)
- signal.alarm(25)
- if "variant=" in symfem_name:
- elementname, variant = symfem_name.split(" variant=")
- e = symfem.create_element(cellname, elementname, k, variant=variant)
- else:
- e = symfem.create_element(cellname, symfem_name, k)
- for d, e_name in zip(
- range(e.reference.tdim), ["vertices", "edges", "faces", "volumes"]
- ):
- seq[e_name][k] = len(e.entity_dofs(d, 0))
- for co_d, e_name in zip(range(e.reference.tdim), ["cell", "facets", "ridges", "peaks"]):
- seq[e_name][k] = len(e.entity_dofs(e.reference.tdim - co_d, 0))
- except NotImplementedError:
- pass
- except TimeOutTheTest:
- break
-
- signal.alarm(0)
-
- def run_entity_test(data):
- if isinstance(data, list):
- for i in data:
- run_entity_test(i)
- else:
- for entity in data:
- if "formula" in data[entity]:
- check_formula(data[entity]["formula"], seq[entity])
- if "oeis" in data[entity]:
- check_oeis(data[entity]["oeis"], seq[entity])
-
- if "entity-ndofs" in data:
- run_entity_test(data["entity-ndofs"])
diff --git a/test/test_snippets.py b/test/test_snippets.py
deleted file mode 100644
index 05bf0edb9a..0000000000
--- a/test/test_snippets.py
+++ /dev/null
@@ -1,41 +0,0 @@
-import os
-
-import pytest
-
-from defelement.element import Categoriser
-from defelement.implementations import examples, implementations
-
-dir = os.path.dirname(os.path.realpath(__file__))
-c = Categoriser()
-c.load_categories(os.path.join(dir, "../data/categories"))
-c.load_references(os.path.join(dir, "../data/references"))
-c.load_folder(os.path.join(dir, "../elements"))
-
-elements = [e.name for e in c.elements]
-
-
-@pytest.mark.parametrize("element", elements)
-@pytest.mark.parametrize("library", examples.keys())
-def test_snippets(element, library):
- e = c.get_element(element)
-
- if not e.implemented(library):
- pytest.skip()
- if "python" not in implementations[library].languages:
- pytest.skip()
-
- if library.startswith("*(") and library.endswith(")"):
- _input_code, output_code = library[2:-1].split(" -> ")
- if e.implemented(output_code):
- pytest.skip()
- try:
- code = e.make_implementation_examples(library, "python")
- except (NotImplementedError, KeyError):
- pytest.skip()
- else:
- code = e.make_implementation_examples(library, "python")
- lines = code.split("\n")
- for i, j in enumerate(lines):
- print(j)
-
- exec(code) # noqa: S102
diff --git a/test/test_verification.py b/test/test_verification.py
deleted file mode 100644
index c194208ccd..0000000000
--- a/test/test_verification.py
+++ /dev/null
@@ -1,120 +0,0 @@
-import os
-
-import yaml
-
-from defelement.element import Element
-from defelement.implementations import parse_example, verifications
-from defelement.verification import verify
-
-dir_path = os.path.dirname(os.path.realpath(__file__))
-element_path = os.path.join(dir_path, "../elements")
-
-
-def test_self():
- with open(os.path.join(element_path, "lagrange.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e = Element(data, "lagrange")
-
- eg = next(i for i in e.examples if "triangle" in i)
- reference, defelement_degree, variant, _kwargs = parse_example(eg)
- symfem_name, symfem_degree, symfem_params = e.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
-
- info = verifications["symfem"](symfem_name, reference, symfem_degree, symfem_params, e, eg)
- assert verify("triangle", info, info)[0]
-
-
-def test_variant():
- with open(os.path.join(element_path, "lagrange.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e = Element(data, "lagrange")
-
- eg0, eg1 = [i for i in e.examples if "quadrilateral,1" in i][:2]
-
- reference0, defelement_degree0, variant0, _kwargs0 = parse_example(eg0)
- symfem_name0, symfem_degree0, symfem_params0 = e.get_implementation_string(
- "symfem",
- reference0,
- defelement_degree0,
- variant0,
- )
-
- reference1, defelement_degree1, variant1, _kwargs1 = parse_example(eg1)
- symfem_name1, symfem_degree1, symfem_params1 = e.get_implementation_string(
- "symfem",
- reference1,
- defelement_degree1,
- variant1,
- )
-
- info0 = verifications["symfem"](
- symfem_name0, reference0, symfem_degree0, symfem_params0, e, eg0
- )
- info1 = verifications["symfem"](
- symfem_name1, reference1, symfem_degree1, symfem_params1, e, eg1
- )
-
- assert verify("quadrilateral", info0, info1)[0]
-
-
-def test_hermite_vs_lagrange():
- with open(os.path.join(element_path, "lagrange.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e = Element(data, "lagrange")
- eg = next(i for i in e.examples if "triangle,3" in i)
- reference, defelement_degree, variant, _kwargs = parse_example(eg)
- symfem_name, symfem_degree, symfem_params = e.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
- info0 = verifications["symfem"](symfem_name, reference, symfem_degree, symfem_params, e, eg)
-
- with open(os.path.join(element_path, "hermite.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e = Element(data, "hermite")
- eg = next(i for i in e.examples if "triangle,3" in i)
- reference, defelement_degree, variant, _kwargs = parse_example(eg)
- symfem_name, symfem_degree, symfem_params = e.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
- info1 = verifications["symfem"](symfem_name, reference, symfem_degree, symfem_params, e, eg)
-
- assert not verify("triangle", info0, info1)[0]
-
-
-def test_verify_bdm_vs_n2():
- with open(os.path.join(element_path, "brezzi-douglas-marini.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e0 = Element(data, "brezzi-douglas-marini")
- with open(os.path.join(element_path, "nedelec2.def")) as f:
- data = yaml.load(f, Loader=yaml.FullLoader)
- e1 = Element(data, "nedelec2")
-
- eg = next(i for i in e0.examples if i in e1.examples and "triangle" in i)
-
- reference, defelement_degree, variant, _kwargs = parse_example(eg)
- symfem_name0, symfem_degree0, symfem_params0 = e0.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
- symfem_name1, symfem_degree1, symfem_params1 = e1.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
-
- info0 = verifications["symfem"](symfem_name0, reference, symfem_degree0, symfem_params0, e0, eg)
- info1 = verifications["symfem"](symfem_name1, reference, symfem_degree1, symfem_params1, e1, eg)
- assert not verify("triangle", info0, info1)[0]
diff --git a/verification-history.json b/verification-history.json
new file mode 100644
index 0000000000..6d043234f5
--- /dev/null
+++ b/verification-history.json
@@ -0,0 +1 @@
+{"basix": [{"date": "2025-05-09", "pass": 107, "total": 107}, {"date": "2025-05-16", "pass": 109, "total": 109}, {"date": "2025-06-01", "pass": 113, "total": 113}, {"date": "2025-06-16", "pass": 113, "total": 113}, {"date": "2025-07-01", "pass": 124, "total": 124}, {"date": "2025-07-16", "pass": 124, "total": 124}, {"date": "2025-08-01", "pass": 124, "total": 124}, {"date": "2025-08-16", "pass": 124, "total": 124}, {"date": "2025-09-01", "pass": 124, "total": 124}, {"date": "2025-09-16", "pass": 124, "total": 124}, {"date": "2025-10-01", "pass": 124, "total": 124}, {"date": "2025-10-16", "pass": 124, "total": 124}, {"date": "2025-11-01", "pass": 124, "total": 124}, {"date": "2025-11-16", "pass": 124, "total": 124}, {"date": "2025-11-24", "pass": 124, "total": 124}, {"date": "2025-12-01", "pass": 124, "total": 124}, {"date": "2025-12-22", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-01-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-02-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-03-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-04-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-05-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-06-01", "pass": 116, "version": "0.10.0", "total": 116}, {"date": "2026-07-01", "pass": 116, "version": "0.11.0", "total": 116}], "basix.ufl": [{"date": "2025-05-09", "pass": 117, "total": 117}, {"date": "2025-05-16", "pass": 117, "total": 117}, {"date": "2025-06-01", "pass": 123, "total": 123}, {"date": "2025-06-16", "pass": 123, "total": 123}, {"date": "2025-07-01", "pass": 134, "total": 134}, {"date": "2025-07-16", "pass": 134, "total": 134}, {"date": "2025-08-01", "pass": 134, "total": 134}, {"date": "2025-08-16", "pass": 134, "total": 134}, {"date": "2025-09-01", "pass": 134, "total": 134}, {"date": "2025-09-16", "pass": 134, "total": 134}, {"date": "2025-10-01", "pass": 134, "total": 134}, {"date": "2025-10-16", "pass": 134, "total": 134}, {"date": "2025-11-01", "pass": 134, "total": 134}, {"date": "2025-11-16", "pass": 134, "total": 134}, {"date": "2025-11-24", "pass": 208, "total": 210}, {"date": "2025-12-01", "pass": 208, "total": 210}, {"date": "2025-12-22", "pass": 200, "version": "0.10.0", "total": 202}, {"date": "2026-01-01", "pass": 200, "version": "0.10.0", "total": 202}, {"date": "2026-02-01", "pass": 200, "version": "0.10.0", "total": 202}, {"date": "2026-03-01", "pass": 200, "version": "0.10.0", "total": 202}, {"date": "2026-04-01", "pass": 200, "version": "0.10.0", "total": 202}, {"date": "2026-05-01", "pass": 202, "version": "0.10.0", "total": 202}, {"date": "2026-06-01", "pass": 202, "version": "0.10.0", "total": 202}, {"date": "2026-07-01", "pass": 202, "version": "0.11.0", "total": 202}], "ndelement": [{"date": "2025-05-09", "pass": 40, "total": 40}, {"date": "2025-05-16", "pass": 40, "total": 40}, {"date": "2025-06-01", "pass": 40, "total": 40}, {"date": "2025-06-16", "pass": 40, "total": 40}, {"date": "2025-07-01", "pass": 70, "total": 70}, {"date": "2025-07-16", "pass": 70, "total": 70}, {"date": "2025-08-01", "pass": 70, "total": 70}, {"date": "2025-08-16", "pass": 70, "total": 70}, {"date": "2025-09-01", "pass": 70, "total": 70}, {"date": "2025-09-16", "pass": 70, "total": 70}, {"date": "2025-10-01", "pass": 70, "total": 70}, {"date": "2025-10-16", "pass": 70, "total": 70}, {"date": "2025-11-01", "pass": 70, "total": 70}, {"date": "2025-11-16", "pass": 70, "total": 70}, {"date": "2025-11-24", "pass": 70, "total": 70}, {"date": "2025-12-01", "pass": 70, "total": 70}, {"date": "2025-12-22", "pass": 40, "version": "0.3.0", "total": 40}, {"date": "2026-01-01", "pass": 40, "version": "0.3.0", "total": 40}, {"date": "2026-02-01", "pass": 40, "version": "0.3.0", "total": 40}, {"date": "2026-03-01", "pass": 40, "version": "0.3.0", "total": 40}, {"date": "2026-04-01", "pass": 40, "version": "0.3.0", "total": 40}, {"date": "2026-05-01", "pass": 40, "version": "0.4.0", "total": 40}, {"date": "2026-06-01", "pass": 40, "version": "0.4.0", "total": 40}, {"date": "2026-07-01", "pass": 40, "version": "0.4.0", "total": 40}], "fiat": [{"date": "2025-05-09", "pass": 98, "total": 107}, {"date": "2025-05-16", "pass": 100, "total": 109}, {"date": "2025-06-01", "pass": 102, "total": 111}, {"date": "2025-06-16", "pass": 102, "total": 111}, {"date": "2025-07-01", "pass": 122, "total": 131}, {"date": "2025-07-16", "pass": 122, "total": 131}, {"date": "2025-08-01", "pass": 122, "total": 131}, {"date": "2025-08-16", "pass": 122, "total": 131}, {"date": "2025-09-01", "pass": 122, "total": 131}, {"date": "2025-09-16", "pass": 122, "total": 131}, {"date": "2025-10-01", "pass": 122, "total": 131}, {"date": "2025-10-16", "pass": 122, "total": 131}, {"date": "2025-11-01", "pass": 122, "total": 131}, {"date": "2025-11-16", "pass": 122, "total": 131}, {"date": "2025-11-24", "pass": 122, "total": 131}, {"date": "2025-12-01", "pass": 122, "total": 131}, {"date": "2025-12-22", "pass": 103, "version": "2025.10.1", "total": 112}, {"date": "2026-01-01", "pass": 103, "version": "2025.10.1", "total": 112}, {"date": "2026-02-01", "pass": 103, "version": "2025.10.1", "total": 112}, {"date": "2026-03-01", "pass": 103, "version": "2025.10.1", "total": 112}, {"date": "2026-04-01", "pass": 103, "version": "2025.10.1", "total": 112}, {"date": "2026-05-01", "pass": 103, "version": "2026.4.0", "total": 112}, {"date": "2026-06-01", "pass": 103, "version": "2026.4.0", "total": 112}, {"date": "2026-07-01", "pass": 103, "version": "2026.4.0", "total": 112}], "simplefem": [{"date": "2025-12-22", "pass": 3, "version": "1.2.0", "total": 3}, {"date": "2026-01-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-02-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-03-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-04-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-05-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-06-01", "pass": 3, "version": "1.2.1", "total": 3}, {"date": "2026-07-01", "pass": 3, "version": "1.2.1", "total": 3}]}
\ No newline at end of file
diff --git a/verification.json b/verification.json
new file mode 100644
index 0000000000..644dc7640c
--- /dev/null
+++ b/verification.json
@@ -0,0 +1 @@
+{"metadata": {"date": "2026-07-01", "simplefem": {"version": "1.2.1"}, "fiat": {"version": "2026.4.0"}, "ndelement": {"version": "0.4.0"}, "basix": {"version": "0.11.0"}, "basix.ufl": {"version": "0.11.0"}}, "verification": {"alfeld-sorokina": {"fiat": {"pass": ["triangle,2"], "fail": [], "not implemented": []}}, "argyris": {"fiat": {"pass": ["triangle,5"], "fail": [], "not implemented": []}}, "arnold-winther": {"basix.ufl": {"pass": ["triangle,2", "triangle,3"], "fail": [], "not implemented": []}, "fiat": {"pass": [], "fail": ["triangle,2"], "not implemented": ["triangle,3"]}}, "bell": {"fiat": {"pass": ["triangle,4"], "fail": [], "not implemented": []}}, "bernardi-raugel": {"fiat": {"pass": ["triangle,1", "tetrahedron,1"], "fail": ["tetrahedron,2"], "not implemented": []}}, "bernstein": {"basix.ufl": {"pass": ["interval,1", "interval,2", "interval,3", "triangle,1", "triangle,2", "triangle,3"], "fail": [], "not implemented": []}, "fiat": {"pass": ["interval,1", "interval,2", "interval,3", "triangle,1", "triangle,2", "triangle,3"], "fail": [], "not implemented": []}}, "brezzi-douglas-duran-fortin": {"basix.ufl": {"pass": ["hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "brezzi-douglas-fortin-marini": {"basix.ufl": {"pass": ["triangle,0", "triangle,1", "quadrilateral,0", "quadrilateral,1", "tetrahedron,0", "tetrahedron,1", "hexahedron,0", "hexahedron,1"], "fail": [], "not implemented": []}, "fiat": {"pass": [], "fail": [], "not implemented": ["triangle,0", "triangle,1", "quadrilateral,0", "quadrilateral,1", "tetrahedron,0", "tetrahedron,1", "hexahedron,0", "hexahedron,1"]}}, "brezzi-douglas-marini": {"basix": {"pass": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange", "triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange", "triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange"]}}, "bubble": {"basix": {"pass": ["interval,2", "interval,3", "triangle,3", "triangle,4"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["interval,2", "interval,3", "triangle,3", "triangle,4"], "fail": [], "not implemented": []}, "fiat": {"pass": ["interval,2", "interval,3", "triangle,3", "triangle,4"], "fail": [], "not implemented": []}}, "bubble-enriched-lagrange": {"basix.ufl": {"pass": ["triangle,1", "triangle,2"], "fail": [], "not implemented": []}}, "conforming-crouzeix-raviart": {"basix.ufl": {"pass": ["triangle,1", "triangle,2", "triangle,3", "triangle,4", "triangle,5"], "fail": [], "not implemented": []}}, "crouzeix-falk": {"basix.ufl": {"pass": ["triangle,3"], "fail": [], "not implemented": []}}, "crouzeix-raviart": {"basix": {"pass": ["triangle,1", "tetrahedron,1", "quadrilateral,1", "hexahedron,1"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,1", "tetrahedron,1", "quadrilateral,1", "hexahedron,1"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1", "tetrahedron,1"], "fail": [], "not implemented": ["quadrilateral,1", "hexahedron,1"]}}, "discontinuous-lagrange": {"ndelement": {"pass": ["interval,0,equispaced", "interval,1,equispaced", "interval,2,equispaced", "triangle,0,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "quadrilateral,0,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "tetrahedron,0,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,0,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced"], "fail": [], "not implemented": ["prism,0,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,0,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced"]}, "basix": {"pass": ["interval,0,equispaced", "interval,1,equispaced", "interval,2,equispaced", "triangle,0,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "quadrilateral,0,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "tetrahedron,0,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,0,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,0,equispaced", "prism,1,equispaced", "prism,2,equispaced"], "fail": [], "not implemented": ["pyramid,0,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced"]}, "basix.ufl": {"pass": ["interval,0,equispaced", "interval,1,equispaced", "interval,2,equispaced", "triangle,0,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "quadrilateral,0,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "tetrahedron,0,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,0,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,0,equispaced", "prism,1,equispaced", "prism,2,equispaced"], "fail": [], "not implemented": ["pyramid,0,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced"]}, "fiat": {"pass": ["interval,0,equispaced", "interval,1,equispaced", "interval,2,equispaced", "triangle,0,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "tetrahedron,0,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced"], "fail": [], "not implemented": ["quadrilateral,0,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "hexahedron,0,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,0,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,0,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced"]}}, "dpc": {"basix": {"pass": ["quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": ["interval,1", "interval,2", "interval,3"]}, "basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": ["interval,1", "interval,2", "interval,3"]}, "fiat": {"pass": ["interval,1", "interval,2", "interval,3", "quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": []}}, "gauss-legendre": {"basix.ufl": {"pass": ["interval,1", "interval,2", "quadrilateral,1", "quadrilateral,2"], "fail": [], "not implemented": []}}, "gopalakrishnan-lederer-schoberl": {"fiat": {"pass": [], "fail": ["triangle,0", "triangle,1", "triangle,2", "tetrahedron,0", "tetrahedron,1"], "not implemented": []}}, "guzman-neilan": {"fiat": {"pass": ["triangle,1", "tetrahedron,1", "tetrahedron,2"], "fail": [], "not implemented": []}}, "guzman-neilan2": {"fiat": {"pass": ["triangle,1"], "fail": ["tetrahedron,1", "tetrahedron,2"], "not implemented": []}}, "hellan-herrmann-johnson": {"basix": {"pass": ["triangle,0", "triangle,1", "triangle,2", "tetrahedron,0", "tetrahedron,1", "tetrahedron,2"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,0", "triangle,1", "triangle,2", "tetrahedron,0", "tetrahedron,1", "tetrahedron,2"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,0", "triangle,1", "triangle,2", "tetrahedron,0", "tetrahedron,1", "tetrahedron,2"], "fail": [], "not implemented": []}}, "hermite": {"basix": {"pass": ["interval,3", "triangle,3", "tetrahedron,3"], "fail": [], "not implemented": []}, "fiat": {"pass": ["interval,3", "triangle,3", "tetrahedron,3"], "fail": [], "not implemented": []}}, "hsieh-clough-tocher": {"fiat": {"pass": ["triangle,3"], "fail": [], "not implemented": []}}, "huang-zhang": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2"], "fail": [], "not implemented": []}}, "kong-mulder-veldhuizen": {"basix.ufl": {"pass": ["triangle,1", "triangle,2", "tetrahedron,1"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1", "triangle,2", "tetrahedron,1"], "fail": [], "not implemented": []}}, "lagrange": {"ndelement": {"pass": ["interval,1,equispaced", "interval,2,equispaced", "interval,3,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "triangle,3,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "quadrilateral,3,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced"], "fail": [], "not implemented": ["prism,1,equispaced", "prism,2,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced", "interval,1,gll", "interval,2,gll", "interval,3,gll", "interval,4,gll", "quadrilateral,1,gll", "quadrilateral,2,gll", "interval,1,lobatto", "interval,2,lobatto", "interval,3,lobatto", "quadrilateral,1,lobatto", "quadrilateral,2,lobatto", "quadrilateral,3,lobatto", "hexahedron,1,lobatto", "hexahedron,2,lobatto"]}, "basix": {"pass": ["interval,1,equispaced", "interval,2,equispaced", "interval,3,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "triangle,3,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "quadrilateral,3,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced", "interval,1,gll", "interval,2,gll", "interval,3,gll", "interval,4,gll", "quadrilateral,1,gll", "quadrilateral,2,gll"], "fail": [], "not implemented": ["interval,1,lobatto", "interval,2,lobatto", "interval,3,lobatto", "quadrilateral,1,lobatto", "quadrilateral,2,lobatto", "quadrilateral,3,lobatto", "hexahedron,1,lobatto", "hexahedron,2,lobatto"]}, "basix.ufl": {"pass": ["interval,1,equispaced", "interval,2,equispaced", "interval,3,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "triangle,3,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "quadrilateral,3,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced", "interval,1,gll", "interval,2,gll", "interval,3,gll", "interval,4,gll", "quadrilateral,1,gll", "quadrilateral,2,gll"], "fail": [], "not implemented": ["interval,1,lobatto", "interval,2,lobatto", "interval,3,lobatto", "quadrilateral,1,lobatto", "quadrilateral,2,lobatto", "quadrilateral,3,lobatto", "hexahedron,1,lobatto", "hexahedron,2,lobatto"]}, "simplefem": {"pass": ["triangle,1,equispaced", "triangle,2,equispaced", "triangle,3,equispaced"], "fail": [], "not implemented": ["interval,1,equispaced", "interval,2,equispaced", "interval,3,equispaced", "quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "quadrilateral,3,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced", "interval,1,gll", "interval,2,gll", "interval,3,gll", "interval,4,gll", "quadrilateral,1,gll", "quadrilateral,2,gll", "interval,1,lobatto", "interval,2,lobatto", "interval,3,lobatto", "quadrilateral,1,lobatto", "quadrilateral,2,lobatto", "quadrilateral,3,lobatto", "hexahedron,1,lobatto", "hexahedron,2,lobatto"]}, "fiat": {"pass": ["interval,1,equispaced", "interval,2,equispaced", "interval,3,equispaced", "triangle,1,equispaced", "triangle,2,equispaced", "triangle,3,equispaced", "tetrahedron,1,equispaced", "tetrahedron,2,equispaced"], "fail": [], "not implemented": ["quadrilateral,1,equispaced", "quadrilateral,2,equispaced", "quadrilateral,3,equispaced", "hexahedron,1,equispaced", "hexahedron,2,equispaced", "prism,1,equispaced", "prism,2,equispaced", "pyramid,1,equispaced", "pyramid,2,equispaced", "interval,1,gll", "interval,2,gll", "interval,3,gll", "interval,4,gll", "quadrilateral,1,gll", "quadrilateral,2,gll", "interval,1,lobatto", "interval,2,lobatto", "interval,3,lobatto", "quadrilateral,1,lobatto", "quadrilateral,2,lobatto", "quadrilateral,3,lobatto", "hexahedron,1,lobatto", "hexahedron,2,lobatto"]}}, "mardal-tai-winther": {"basix.ufl": {"pass": ["triangle,1", "tetrahedron,1"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1"], "fail": [], "not implemented": ["tetrahedron,1"]}}, "morley": {"fiat": {"pass": ["triangle,2"], "fail": [], "not implemented": []}}, "nedelec1": {"ndelement": {"pass": ["triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre"], "fail": [], "not implemented": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "prism,0,lagrange", "prism,1,lagrange"]}, "basix": {"pass": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre"], "fail": [], "not implemented": ["prism,0,lagrange", "prism,1,lagrange"]}, "basix.ufl": {"pass": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre"], "fail": [], "not implemented": ["prism,0,lagrange", "prism,1,lagrange"]}, "fiat": {"pass": ["triangle,0,legendre", "triangle,1,legendre"], "fail": [], "not implemented": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "prism,0,lagrange", "prism,1,lagrange", "quadrilateral,0,legendre", "quadrilateral,1,legendre"]}}, "nedelec2": {"basix": {"pass": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange", "triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange", "triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1,legendre", "triangle,2,legendre", "tetrahedron,1,legendre", "tetrahedron,2,legendre"], "fail": [], "not implemented": ["triangle,1,lagrange", "triangle,2,lagrange", "tetrahedron,1,lagrange", "tetrahedron,2,lagrange"]}}, "nonconforming-arnold-winther": {"basix.ufl": {"pass": ["triangle,1"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1"], "fail": [], "not implemented": []}}, "p1-iso-p2": {"basix": {"pass": ["interval,1", "triangle,1", "quadrilateral,1"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["interval,1", "triangle,1", "quadrilateral,1"], "fail": [], "not implemented": []}, "fiat": {"pass": ["interval,1", "triangle,1"], "fail": [], "not implemented": ["quadrilateral,1"]}}, "radau": {"basix.ufl": {"pass": ["interval,1", "interval,2", "quadrilateral,1", "quadrilateral,2"], "fail": [], "not implemented": []}}, "raviart-thomas": {"ndelement": {"pass": ["triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre", "tetrahedron,0,legendre", "tetrahedron,1,legendre", "hexahedron,0,legendre", "hexahedron,1,legendre"], "fail": [], "not implemented": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange"]}, "basix": {"pass": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre", "tetrahedron,0,legendre", "tetrahedron,1,legendre", "hexahedron,0,legendre", "hexahedron,1,legendre"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "triangle,0,legendre", "triangle,1,legendre", "quadrilateral,0,legendre", "quadrilateral,1,legendre", "tetrahedron,0,legendre", "tetrahedron,1,legendre", "hexahedron,0,legendre", "hexahedron,1,legendre"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,0,legendre", "triangle,1,legendre", "tetrahedron,0,legendre", "tetrahedron,1,legendre"], "fail": [], "not implemented": ["triangle,0,lagrange", "triangle,1,lagrange", "quadrilateral,0,lagrange", "quadrilateral,1,lagrange", "tetrahedron,0,lagrange", "tetrahedron,1,lagrange", "hexahedron,0,lagrange", "hexahedron,1,lagrange", "quadrilateral,0,legendre", "quadrilateral,1,legendre", "hexahedron,0,legendre", "hexahedron,1,legendre"]}}, "reduced-hsieh-clough-tocher": {"fiat": {"pass": ["triangle,3"], "fail": [], "not implemented": []}}, "regge": {"basix": {"pass": ["triangle,1", "triangle,2"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["triangle,1", "triangle,2"], "fail": [], "not implemented": []}, "fiat": {"pass": ["triangle,1", "triangle,2"], "fail": [], "not implemented": []}}, "serendipity": {"basix": {"pass": ["interval,1", "interval,2", "interval,3", "quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": []}, "basix.ufl": {"pass": ["interval,1", "interval,2", "interval,3", "quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": []}, "fiat": {"pass": ["interval,1", "interval,2", "interval,3", "quadrilateral,1", "quadrilateral,2", "quadrilateral,3"], "fail": [], "not implemented": []}}, "scurl": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "sdiv": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "taylor": {"fiat": {"pass": ["interval,1", "interval,2", "interval,3", "triangle,1", "triangle,2", "triangle,3"], "fail": [], "not implemented": []}}, "tnt": {"basix.ufl": {"pass": ["quadrilateral,2", "quadrilateral,3", "quadrilateral,4", "hexahedron,2"], "fail": [], "not implemented": []}}, "tnt-curl": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "quadrilateral,3", "hexahedron,1"], "fail": [], "not implemented": []}}, "tnt-div": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "quadrilateral,3", "hexahedron,1"], "fail": [], "not implemented": []}}, "trimmed-serendipity-curl": {"basix.ufl": {"pass": ["quadrilateral,0", "quadrilateral,1", "quadrilateral,2", "hexahedron,0", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}, "fiat": {"pass": ["quadrilateral,0", "quadrilateral,1", "quadrilateral,2", "hexahedron,0", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "trimmed-serendipity-div": {"basix.ufl": {"pass": ["quadrilateral,0", "quadrilateral,1", "quadrilateral,2", "hexahedron,0", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}, "fiat": {"pass": ["quadrilateral,0", "quadrilateral,1", "quadrilateral,2", "hexahedron,0", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "vector-bubble-enriched-lagrange": {"basix.ufl": {"pass": ["triangle,1", "triangle,2"], "fail": [], "not implemented": []}}, "vector-dpc": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "quadrilateral,3", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}, "vector-lagrange": {"basix.ufl": {"pass": ["triangle,1", "triangle,2", "tetrahedron,1", "tetrahedron,2"], "fail": [], "not implemented": []}}, "vector-q": {"basix.ufl": {"pass": ["quadrilateral,1", "quadrilateral,2", "hexahedron,1", "hexahedron,2"], "fail": [], "not implemented": []}}}}
\ No newline at end of file
diff --git a/verify.py b/verify.py
deleted file mode 100644
index a380254038..0000000000
--- a/verify.py
+++ /dev/null
@@ -1,255 +0,0 @@
-"""Perform verification checks."""
-
-import argparse
-import json
-import os
-import typing
-from datetime import datetime, timedelta, timezone
-
-from defelement import settings
-from defelement.element import Categoriser, Element
-from defelement.implementations import parse_example, verifications, versions
-from defelement.verification import verify
-
-
-def verify_example(
- element: tuple[Element, str, list[str]],
-) -> dict[str, dict[str, dict[str, list[str]]]]:
- """Verify example.
-
- Args:
- element: The element, example and list of implementations
-
- Returns:
- Results of verification
- """
- e, eg, implementations = element
-
- green = "\033[32m"
- red = "\033[31m"
- blue = "\033[34m"
- default = "\033[0m"
-
- results: dict[str, dict[str, dict[str, list[str]]]] = {}
-
- if e.filename not in results:
- results[e.filename] = {}
- cell = eg.split(",")[0]
-
- reference, defelement_degree, variant, kwargs = parse_example(eg)
- assert len(kwargs) == 0
- symfem_name, symfem_degree, symfem_params = e.get_implementation_string(
- "symfem",
- reference,
- defelement_degree,
- variant,
- )
- assert symfem_degree is not None
- sym_info = verifications["symfem"](symfem_name, reference, symfem_degree, symfem_params, e, eg)
- for i in implementations:
- # Implementations generated from other implementations (eg Basix code generated by Symfem)
- if i.startswith("*(") and i.endswith(")"):
- input_code, output_code = i[2:-1].split(" -> ")
- if e.implemented(output_code) or not e.implemented(input_code):
- continue
- # Standard implementations
- else:
- input_code = i
- output_code = i
-
- if output_code not in results[e.filename]:
- results[e.filename][output_code] = {
- "pass": [],
- "fail": [],
- "not implemented": [],
- }
-
- # Do the verification
- try:
- impl_name, impl_degree, impl_params = e.get_implementation_string(
- input_code,
- reference,
- defelement_degree,
- variant,
- )
- assert impl_degree is not None
- vinfo = verifications[i](impl_name, reference, impl_degree, impl_params, e, eg)
- v, info = verify(cell, vinfo, sym_info)
- if v:
- results[e.filename][output_code]["pass"].append(eg)
- print(f"{e.filename} {i} {eg} {green}\u2713{default}")
- else:
- results[e.filename][output_code]["fail"].append(eg)
- print(f"{e.filename} {i} {eg} {red}\u2715{default}")
- if print_reasons:
- print(f" {info}")
- except ImportError:
- if skip_missing:
- print(f"{output_code} not installed")
- else:
- raise
- except NotImplementedError:
- results[e.filename][output_code]["not implemented"].append(eg)
- print(f"{e.filename} {i} {eg} {blue}\u2013{default}")
- except (KeyboardInterrupt, RuntimeError):
- raise
- except BaseException as err: # noqa: BLE001
- results[e.filename][output_code]["fail"].append(eg)
- print(f"{e.filename} {i} {eg} {red}\u2715{default}")
- if print_reasons:
- print(f" {type(err).__name__}: {err}")
-
- return results
-
-
-if __name__ == "__main__":
- start_all = datetime.now(tz=timezone(timedelta()))
-
- parser = argparse.ArgumentParser(description="Verify elements")
- parser.add_argument(
- "destination",
- metavar="destination",
- nargs="?",
- default=None,
- help="Name of output json file.",
- )
- parser.add_argument("--test", metavar="test", default=None, help="Verify fewer elements.")
- parser.add_argument(
- "--processes",
- metavar="processes",
- default=None,
- help="The number of processes to run the verification on.",
- )
- parser.add_argument(
- "--fail-on-missing-libraries",
- action="store_true",
- help="Fail if library is not installed.",
- )
- parser.add_argument(
- "--print-reasons", action="store_true", help="Show reasons for failed verification"
- )
- parser.add_argument(
- "--assert-passing",
- action="store_true",
- help="Assert that verification passes for all elements",
- )
- parser.add_argument(
- "--impl", metavar="impl", default=None, help="libraries to run verification for"
- )
-
- args = parser.parse_args()
- if args.destination is not None:
- settings.set_verification_json(args.destination)
- if args.processes is not None:
- settings.set_processes(int(args.processes))
- if args.test is None:
- test_elements = None
- elif args.test == "auto":
- test_elements = [
- "buffa-christiansen",
- "direct-serendipity",
- "dual",
- "hellan-herrmann-johnson",
- "hsieh-clough-tocher",
- "lagrange",
- "nedelec1",
- "raviart-thomas",
- "regge",
- "serendipity",
- "taylor-hood",
- "vector-bubble-enriched-Lagrange",
- "enriched-galerkin",
- "bernardi-raugel",
- ]
- else:
- test_elements = args.test.split(",")
- if args.impl is None:
- test_implementations = None
- else:
- test_implementations = args.impl.split(",")
- skip_missing = not args.fail_on_missing_libraries
- print_reasons = args.print_reasons
- assert_passing = args.assert_passing
-
- categoriser = Categoriser()
- categoriser.load_references(os.path.join(settings.data_path, "references"))
- categoriser.load_families(os.path.join(settings.data_path, "families"))
-
- # Load elements from .def files
- categoriser.load_folder(settings.element_path)
-
- elements_to_verify = []
- for e in categoriser.elements:
- if test_elements is None or e.filename in test_elements:
- for eg in e.examples:
- implementations = [
- i
- for i in verifications
- if i != "symfem"
- and e.implemented(i)
- and (test_implementations is None or i in test_implementations)
- ]
- if len(implementations) > 0:
- elements_to_verify.append((e, eg, implementations))
-
- if settings.processes == 1:
- results = [verify_example(e) for e in elements_to_verify]
- else:
- import multiprocessing
-
- multiprocessing.set_start_method("fork")
-
- with multiprocessing.Pool(settings.processes) as p:
- results = p.map(verify_example, elements_to_verify)
-
- data: dict[str, dict[str, dict[str, list[str]]]] = {}
- for r in results:
- for i0, j0 in r.items():
- if i0 not in data:
- data[i0] = {}
- for i1, j1 in j0.items():
- if i1 not in data[i0]:
- data[i0][i1] = {}
- for i2, j2 in j1.items():
- if i2 not in data[i0][i1]:
- data[i0][i1][i2] = []
- data[i0][i1][i2] += j2
-
- now = datetime.now(tz=timezone(timedelta())).strftime("%Y-%m-%d")
- metadata: dict[str, typing.Any] = {"date": now}
-
- try:
- with open(settings.verification_history_json) as f:
- history = json.load(f)
- except FileNotFoundError:
- history = {}
-
- for impl in {j for i in data.values() for j in i}:
- metadata[impl] = {"version": versions[impl]()}
- if impl not in history:
- history[impl] = []
- history[impl].append(
- {
- "date": now,
- "pass": sum(len(i[impl]["pass"]) for i in data.values() if impl in i),
- "version": versions[impl](),
- "total": sum(
- len(i[impl]["pass"]) + len(i[impl]["fail"]) for i in data.values() if impl in i
- ),
- }
- )
-
- with open(settings.verification_json, "w") as f:
- json.dump(
- {
- "metadata": metadata,
- "verification": data,
- },
- f,
- )
- with open(settings.verification_history_json, "w") as f:
- json.dump(history, f)
-
- if assert_passing:
- for d in data.values():
- assert len(d[impl]["fail"]) == 0