\set ECHO none
add_provenance

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
pg_typeof
agg_token
(1 row)
remove_provenance

(1 row)
grp|formula
A|1 ⊕ (3 ⊗ (𝟙 ⊖ 1) ⊗ (𝟙 ⊖ 2))
B|𝟘
(2 rows)
remove_provenance

(1 row)
grp|formula
A|2 ⊗ (𝟙 ⊖ 1)
B|4
(2 rows)
remove_provenance

(1 row)
grp|prob
A|0.625000
B|0.000000
(2 rows)
ERROR:  ProvSQL: provenance_evaluate_compiled: comparing an aggregate with a text constant in HAVING is only implemented for choose()
CONTEXT:  PL/pgSQL function sr_formula(anyelement,regclass) line 3 at RETURN
explode_table

(1 row)
remove_provenance

(1 row)
grp|pick|formula
A|x|1 ⊗ δ(1 ⊕ 2 ⊕ 3)
A|x|3 ⊗ δ(1 ⊕ 2 ⊕ 3)
A|y|2 ⊗ δ(1 ⊕ 2 ⊕ 3)
B|z|4 ⊗ δ(4)
(4 rows)
remove_provenance

(1 row)
grp|who|formula
A|x|1 ⊗ δ(1 ⊕ 2 ⊕ 3)
A|x|3 ⊗ δ(1 ⊕ 2 ⊕ 3)
B|z|4 ⊗ δ(4)
(3 rows)
remove_provenance

(1 row)