Commit 2023-03-01 07:31 7b9199f9
View on Github →feat: port LinearAlgebra.TensorProduct (#2539) It was quite smooth. I didn't have to make changes that I expect to change downstream files, so I left few porting notes. Comments that I didn't make into porting notes:
attribute [local ext] ext
had to be changed toattribute [local ext high] ext
- Sometimes
M ⊗ N
needed to be replaced byM ⊗[R] N
in theorem statements. - I needed to make a few fixes in other files. I want to go through the library globally and fix this error, but I'm waiting on #1881 to get merged, because those two things would have many merge conflicts.