This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Cleanup direct_sum.sigma_curry / direct_sum.is_internal.collected_basis
#15756
Labels
t-algebra
Algebra (groups, rings, fields etc)
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The seems to be some duplication going on here :
direct_sum.is_internal.collected_basisshould maybe be a special case ofdirect_sum.sigma_curry(or the linear version). Moreover, there seems to be some inconsistencies between the vector space API and the finite dimensional Hilbert space API, and only some of these constructions exist for the latter.The text was updated successfully, but these errors were encountered: