Paul Zinn-Justin

Results 209 comments of Paul Zinn-Justin

``` needsPackage"LieTypes" g=𝔣_4 L=adjointModule g; time(L^**7;) -- dumb method: used 5.24386s (cpu); 3.20123s (thread); 0s (gc) -- BinaryPowerMethod: used 47.3824s (cpu); 26.455s (thread); 0s (gc) restart time(L^**8;) -- dumb method:...

> Is it not possible to loop only over the highest weights for both V and W? no that'd be too easy... On the other hand, we typically don't want...

I still think this is an "issue". Clearly, the line break shouldn't be there. There should be a better way to locally prevent line breaks within a given block, otherwise...

what I don't understand is, the output of `attempt` is a pair, but either the first or the second element of the pair is `null`? what's the point? one might...

the location of the error is different than in the usual error message. is that intentional? ``` i1 : 1/0 stdio:1:1:(3): error: division by zero i2 : attempt(1/0) o2 =...

This location doesn't seem right either: ``` i1 : attempt(1/a) o1 = (, Error{"message" => no method for binary operator / applied to objects:}) 1 (of class ZZ) / a...

> I would encourage you to reevaluate this decision. Here are a few dangers of this paradigm: > > 1. If a helper function `constructMyError` legitimately returns an `Error` object...

> > Why shouldn't error objects be produced at the top-level? Is something preventing it in this proposal? There is a huge upside, as @seangrate suggested above, in allowing custom...

I understand less and less the logic. Now one can create `Error` objects at the M2 level, which are then fed to `error`, which at the d level proceeds to...