(Bialgebra k ComplexBasis, InvolutiveSemiring k, Rng k) => HopfAlgebra k ComplexBasis | |
(Bialgebra r QuaternionBasis, TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => HopfAlgebra r QuaternionBasis | |
(Bialgebra k DualBasis, InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis | |
(Bialgebra k HyperBasis', Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k HyperBasis' | |
(Bialgebra k HyperBasis, Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k HyperBasis | |
(Bialgebra k DualBasis', InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis' | |
(Bialgebra r QuaternionBasis', TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => HopfAlgebra r QuaternionBasis' | |
(Bialgebra k TrigBasis, Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k TrigBasis | |
(Bialgebra r (a, b), HopfAlgebra r a, HopfAlgebra r b) => HopfAlgebra r (a, b) | |
(Bialgebra r (a, b, c), HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c) => HopfAlgebra r (a, b, c) | |
(Bialgebra r (a, b, c, d), HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d) => HopfAlgebra r (a, b, c, d) | |
(Bialgebra r (a, b, c, d, e), HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d, HopfAlgebra r e) => HopfAlgebra r (a, b, c, d, e) | |