Boxclass Casts #8
Description
Desired features:
- Implement a cast mechanism for boxclasses.
Boxclass casts should be registrable/unregistrable outside of boxclass definitions.
A possible implementation could use special decorators.
Boxclass casts (and the associated costs cf. #9) are used to plan extrusions when scheduling hybrid tensor contractions: Subdiagrams with a selected boxclass are extruded, contracted, and the resulting box is cast to the boxclass for the lower-level diagram, so that it can be contracted as part of a subsequent lower-level contraction.
Note that the graph of available boxclass casts need not be acyclic or intransitiv.