fermilink.drvloop.backends module

fermilink.drvloop.backends.validate_algebra(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_assumption(obligation, *, spec_assumptions)[source]
Parameters:

  • obligation (dict[str, Any])

  • spec_assumptions (list[str])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_citation(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_commutator(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_dimension(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_external_cas(repo_dir, obligation, *, backend)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

  • backend (str)

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_final_artifact(repo_dir, obligation)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_formal_optional(repo_dir, obligation)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_hermiticity(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_latex(repo_dir, obligation)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_limit(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_numeric(repo_dir, obligation)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_perturbation_order(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_tensor_index(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.backends.validate_trace_preservation(obligation)[source]
Parameters:

obligation (dict[str, Any])

Return type:

dict[str, Any]