Mason Protter

If it can be done with axioms, that’s great. My concern would be that there are axioms you might want to write down that might not correspond to generated methods,...

I suppose we could encourage people to only put 'fundamental' methods inside the `@theory` block. Derived methods based on the interface have no real reason to live in there, (though...

I see. Does that apply as well to the `MVector` version?

Ah interesting, I had tried this before and was running into performance troubles, but I just tried it again and it's quite fast at least for larger matrices. Maybe a...

> Given your experience with SymbolicUtils.jl, have any suggestions approaches for automating these sorts of transformations? That is, if a reduction doesn't fall into any of the 4 categories, for...

Yeah, I would check out [AsmMacro.jl](https://github.com/YingboMa/AsmMacro.jl) for this

I'll whip up a PR.

yeah that sounds good to me. I also use `@show` lot while debugging, so yeah `@show_verbose` sounds good to me

Here is the new printing and `@show_verbose` ```julia julia> let m1 = MPS(3), m2 = MPS(4) ITensors.@show_verbose m1 m2 [m1, m2] end m1 = MPS #undef #undef #undef m2 =...

The problem is that containers like `Array` don't set their internal printing to `compact`. Compare: ```julia julia> println(IOContext(stdout, :compact => false), 1.12341234) 1.12341234 julia> println(IOContext(stdout, :compact => true), 1.12341234) 1.12341...