add Triangular CTMRG

[sanderdemeyer]

This code is based on its (asymetric) implementation in TNRKit.jl TNRKit.jl, which was based on this paper.

This is definitely still a work in progress. Some major comments are in order.

• There are many convention choices that are up for debate. I think the current choice for the order of the legs is a natural extension to the square case.
• Naming conventions are also up for debate.
• Not everything is as general as the square lattice case. E.g. some constructors can definitely still be improved.
• There is no triangular PEPO constructor yet. I don't need it for this PR, so to make this PR somewhat manageable, I would prefer to keep it out for now and add it later when someone needs it.
• There are some docstrings that need to be fixed. The definition of the triangular environment (which can be found in the paper) still needs to be drawn.
• Maybe the most important comment of all is in terms of differentiability. The tests are currently failing for the differentiability part (as expected). I know that @pbrehmer was willing to help out for this. In any case, any help on this part would definitely be appreciated. If this would be fixed, we could also calculate the ground-state energy of some interesting model (which was the whole point of this PR), which could be used as a test.

[kshyatt]

@sanderdemeyer maybe this would be a good forcing function for #323 ?

[codecov]

Codecov Report

❌ Patch coverage is 0% with 388 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/algorithms/triangular_ctmrg/simultaneous.jl	0.00%	191 Missing ⚠️
src/networks/infinitetriangularnetwork.jl	0.00%	71 Missing ⚠️
src/algorithms/triangular_ctmrg/utility.jl	0.00%	34 Missing ⚠️
src/algorithms/triangular_ctmrg/ctmrg.jl	0.00%	33 Missing ⚠️
src/environments/ctmrg_tria_environments.jl	0.00%	26 Missing ⚠️
src/networks/local_triangular_sandwich.jl	0.00%	20 Missing ⚠️
src/networks/tensors_tria.jl	0.00%	11 Missing ⚠️
src/algorithms/select_algorithm.jl	0.00%	2 Missing ⚠️

Files with missing lines	Coverage Δ
src/PEPSKit.jl	100.00% <ø> (ø)
src/algorithms/select_algorithm.jl	23.07% <0.00%> (-51.93%)	⬇️
src/networks/tensors_tria.jl	0.00% <0.00%> (ø)
src/networks/local_triangular_sandwich.jl	0.00% <0.00%> (ø)
src/environments/ctmrg_tria_environments.jl	0.00% <0.00%> (ø)
src/algorithms/triangular_ctmrg/ctmrg.jl	0.00% <0.00%> (ø)
src/algorithms/triangular_ctmrg/utility.jl	0.00% <0.00%> (ø)
src/networks/infinitetriangularnetwork.jl	0.00% <0.00%> (ø)
src/algorithms/triangular_ctmrg/simultaneous.jl	0.00% <0.00%> (ø)

... and 31 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Yue-Zhengyuan]

A suggestion for file names: I prefer ctmrg_environment_triangular etc so that when sorting files by name, same things for different lattices appear together (infinite_triangular_network is an exception because infinite_square_network existed).