Sebastian Posur
Sebastian Posur
`cat ( (1,2), A,B,C,... )` should create a diagonal matrix having the matrices A,B,C,... on its diagonal.
Apparently, this is the syntax in Julia to create a diagonal matrix. The help file refers to these numbers as "dimensions".
Good point. If we assume that we have no braiding in a monoidal category, then we have to be careful with directions. Here are the details: * CAP provides an...
Yes, I'm fine with this.
I cannot recall. I'm sorry. It probably was meant for the abelian context. Anyway, you may get rid of it if you want to.
Just to be sure, are you confident that the Hilbert polynomial works even under the new hypotheses? The following example makes me doubt it, but maybe I get something wrong:...
> One also needs that the irrelevant locus is zero-dimensional. The Hilbert polynomial invoked by the code is the classical Hilbertpolynomiall assuming all degrees equal to 1. Does this comment...
> > > Does this comment imply that the new hypotheses are still insufficient? > > Yes. Do you want this PR to be merged anyway? Or do you intend...
Does this issue mean: Make a compilation of `Wrapper( Op( Freyd( Op( Freyd( ... ) ) ) )` work? My point is that the equivalence of Adel( A ) and...
I think I'm simply not aware of the capabilities of `Wrapper` categories. My naive thoughts on this project were the following: your compiler gets as an input 1) the code...