test GenericUnit property is reserved for multifusion

[borisdevos]

Even though fusion categories are technically multifusion, UnitStyle is reserved really to have to account for colorings. Things are simplified if the single-color property of fusion categories is enforced.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 1 file with indirect coverage changes

🚀 New features to boost your workflow:

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

[lkdvos]

Makes sense to me. I can only come up with one counterexample where we might not want this, which is to generate a minimal testcase that exercises the interface, similar to how PlanarTrivial says it can't braid even though of course that is not really true. If this is not really something we'd want, feel free to merge.

[Jutho]

I am fine testing that this is set correctly for the sectors we provide, but I would not enforce this as a rule indeed. From that perspective, I think my comment here ( QuantumKitHub/TensorKit.jl#515 (comment) ) still applies.

[borisdevos]

Okay I'll merge, add the additional check in that TK PR, and we can revisit this test if we ever decide to implement GenericIsingAnyon or something like that to compare to IsingBimodule :)