Paul Zinn-Justin
Paul Zinn-Justin
`\:_*` produces the bizarre error message: KaTeX parse error: Got group of unknown type: 'internal' same with `\,` or `\!` in constrast LaTeX doesn't mind
one-line crash: ``` i1 : lift( matrix {{1.}}, ZZ) error!! lift called with no ZZ lifting method -- SIGSEGV -* stack trace, pid: 632942 0# std::vector::size() const at /usr/include/c++/11/bits/stl_vector.h:919 1#...
There are still a few issues with substitution/promotion that I want to take care of. Here's one (well, two, actually): ``` i1 : R=QQ[x] o1 = R o1 : PolynomialRing...
0 / 0
this is weird: ``` i1 : R=QQ[x]; i2 : 0_R/0_R 0 o2 = - 0 o2 : frac R i3 : oo+1 stdio:3:3:(3): error: a non unit was found in...
I have this vague feeling that this can't be a bug because it would've been noticed already... But both `o3` and the absence of `o4` seem wrong to me. ```...
This is not really a bug (and I understand why it happens -- kind of...), but I still find it disturbing and unpleasant: ``` i1 : R=QQ[x]; S=R[y]; i3 :...
There's an unused m2 type `FilePosition` which I think would be useful for debugging purposes. It seems similar to the d type Position except for the fact that it's missing...
I think this issue has been around for a while, but it might be time to take a look at it: ``` i1 : debug Core -- warning: symbol "topComponents"...
I'm not sure if this is really a bug, but this is something that's been bothering me for a while. currently, some links are broken in the help for me:...
Promotion of mutable matrices doesn't work: (so mutablemat.m2:83-89 and enginering.m2:135-139 don't actually work) ``` i1 : m=mutableMatrix {{1}} o1 = | 1 | o1 : MutableMatrix i2 : promote(m,QQ) stdio:3:1:(3):...