dot() [1/2]

ATwoOp syten::IPEPS::dot	(	AOneOp const &	a,
		AOneOp const &	b
	)

Dot product of two AOneOp.

First applies a, then dual-space conjugated b.

Parameters

a	first applied operator
b	second applied, dual-space conjugated operator

Returns

\( b^\dagger \cdot a \) comparable to syten::MPS::dot().

If a acts to the left of b, the contraction occurs as follows:

    v            v
    |            | <- third leg (lower) of b
 .--S----------[b^H]
/   |            | <- first leg (upper) of b
`--[a]           |
    |            |
    v            v

If b acts to the left of a, the contraction still proceeds as above but the legs of the results are exchanged:

   v        v
    \      /
     \    /
      \  /
      [sw]
      /  \
     /    \
    /      \
    |      | <- third leg (lower) of b
 .--S----[b^H]
/   |      | <- first leg (upper) of b
`--[a]     |
    |      |
    \      /
     \    /
      \  /
      [sw]
      /  \
     /    \
    /      \
   v        v

References syten::insertSwap(), isLeft(), syten::IPEPS::AOneOp::location, syten::IPEPS::AOneOp::op, and syten::YesNo< struct _prod_conj >::y().

Here is the call graph for this function: