Paul Zinn-Justin

icon indicating a website link http://blogs.unimelb.edu.au/paul-zinn-justin/

icon location Melbourne, Australia icon location I'm a professor at the School of Mathematics & Statistics of the University of Melbourne.

Results 209 comments of Paul Zinn-Justin

[Feature] Remove columns from the runs table

It's surprising that such a basic issue, which I'm sure affects a majority of users, still hasn't been resolved. Very annoying.

Format better "about" output

not related to your request for grouping, but `about ideal` looks like this now: ``` o1 = {0 => "Alternative algorithm to compute the symbolic powers of a prime ideal...

Format better "about" output

now: ``` i1 : about resolution -- warning: symbol "minimize" in Core.Dictionary is shadowed by a symbol in ChainComplexExtras.Dictionary -- use the synonym Core$minimize o1 = {0 => ChainComplexExtras "resolution(ChainComplex)"...

Format better "about" output

another option would've been to include the name of the package in the output of the `TOH` itself?

strange behavior in kernel (identified in PushForward)

could it be related to #2004 ?

Inverting a lower triangular matrix

Here's an amusing remark: define ``` R=ZZ[] B=promote(A,R) B^-1 ``` this will compute instantaneously.

Inverting a lower triangular matrix

so in other words, why does `basicInverse` (the c level `invert`) not work on integer-valued matrices?

Inverting a lower triangular matrix

If I try to force M2 to `invert` a ZZ matrix, I get ``` i15 : basicInverse A error: 'invert' not implemented for this kind of matrix over this ring...

Inverting a lower triangular matrix

another remark is that promoting it to `QQ` also solves the issue.

"try" should suppress error processing

In my recent attempts to improve `promote` I left alone these `try` statements, for reasons that I don't quite remember, but they should definitely go.