You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are currently no semantics at all as far as disintegrating with respect to an array on the Maple side. Such a semantics are needed, satisfying at least the two properties that:
they are the same for Plate as they are for Pair; and
they replicate the (recent?) results of the Haskell disintegrator.
Hopefully the work done in "Symbolic conditioning of arrays in probabilistic programs" can serve as a guide.
The text was updated successfully, but these errors were encountered:
There are currently no semantics at all as far as disintegrating with respect to an array on the Maple side. Such a semantics are needed, satisfying at least the two properties that:
Plate
as they are forPair
; andHopefully the work done in "Symbolic conditioning of arrays in probabilistic programs" can serve as a guide.
The text was updated successfully, but these errors were encountered: