\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 ⊗ (𝟙 ⊖ (2 ⊕ 3))) ⊕ (1 ⊗ 2 ⊗ (𝟙 ⊖ 3)) ⊕ (1 ⊗ 3 ⊗ (𝟙 ⊖ 2)) ⊕ (1 ⊗ 2 ⊗ 3) ⊕ (3 ⊗ (𝟙 ⊖ (1 ⊕ 2)))
B|𝟘
(2 rows)
remove_provenance

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

(1 row)
grp|prob
A|0.625000
B|0.000000
(2 rows)
remove_provenance

(1 row)
grp|formula
A|(1 ⊗ (𝟙 ⊖ (2 ⊕ 3))) ⊕ (3 ⊗ (𝟙 ⊖ (1 ⊕ 2))) ⊕ (1 ⊗ 3 ⊗ (𝟙 ⊖ 2))
(1 row)
ERROR:  ProvSQL: the result of count() cannot be exploded into rows, one per value it aggregates: only that of choose() is one of them; compare it in a HAVING clause, or mark it plain() to read its plain value
ERROR:  ProvSQL: the result of count() cannot be exploded into rows, one per value it aggregates: only that of choose() is one of them; compare it in a HAVING clause, or mark it plain() to read its plain value
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)
add_provenance

(1 row)
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
s|len
abcdefghijabcdefghijabcdefghij1,abcdefghijabcdefghijabcdefghij2,abcdefghijabcdefghijabcdefghij3,abcdefghijabcdefghijabcdefghij4,abcdefghijabcdefghijabcdefghij5 (*)|159
(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
ranges
5
(1 row)