The TransferOperator struct now has domain and codomain fields. This makes it much moe understandable. A new 3-argument method TransferOperator(boxmap, domain, codomain) is added. The two argument method automatically generates the codomain (For uses like eigendecompositions, the 3-argument method is needed, otherwise it makes no sense).
BoxGraph has been adapted to use the new TransferOperator. Since BoxGraph is really just a wrapper around a TransferOperator, it had to be pretty much entirely rewritten as well.
This third PR includes:
domainandcodomainfields. This makes it much moe understandable. A new 3-argument methodTransferOperator(boxmap, domain, codomain)is added. The two argument method automatically generates the codomain (For uses like eigendecompositions, the 3-argument method is needed, otherwise it makes no sense).