Júlio Hoffimann

Results 935 comments of Júlio Hoffimann

AFAIU the concept of one() is not valid for vector spaces so adding a method for it seems incorrect. The fallback should use a different concept maybe to extract the...

Any vector space will have the additive zero defined. In this case the additive zero is a composition with all entries equal. On Mon, Jan 24, 2022, 06:24 Júlio Hoffimann...

@dkarrasch what do you think about this idea of replacing one by zero to figure out the type?

Thank you, @stevengj. Since you know LinearAlgebra.jl in depth, could you perhaps prepare a PR with all these fixes? I can help with adding tests with dummy vector spaces as...