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.
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.