Documentation contents

atlas Library · Script File

`certificate.at`

Source

atlas-scripts/certificate.at (28 lines)

Definitions

2

Loads

<basic.at
<K_types.at { for |int_part@KTypePol|, |s_part@KTypePol| }
<hermitian.at

Loaded by

all.at

Definitions in source order

`negative_terms`

L5negative_terms(Param p) = [(KType,int)]

`certificate`

L24certificate (Param p) = [(KType,int)]

Generated from atlas-scripts at commit 648506c (2026-10-13).