Max Horn

icon company RPTU Kaiserslautern-Landau University icon location Kaiserslautern, Germany icon location Mathematician. Computational Group Theory, Algebraic Lie-Theory.

Results 2014 comments of Max Horn

First attempt at getting origami into Oscar

Thanks @Sebas777-gif ! For some background, this is work started by @pascalonyy two years ago, and I helped a bit back then and in between to straighten out some stuff....

First attempt at getting origami into Oscar

See also https://github.com/AG-Weitze-Schmithusen/Oscar.jl/pull/5

First attempt at getting origami into Oscar

@Sebas777-gif sorry for flooding you with some many comments (note that GitHub doesn't even show them all by default, you need to click on the "show 43 hidden comments" link...)....

First attempt at getting origami into Oscar

@lgoettgens we are well aware of these issues. @Sebas777-gif and others from Saarbrücken are going to visit end of the month in Kaiserslautern and we'll try to resolve most /...

[S2Geography] New recipe

@asinghvi17 hi there, are you still interested in completing this?

[S2Geography] New recipe

@asinghvi17 that won't work, you'll have to rebase this on latest master, or merge latest master into it

[S2Geography] New recipe

I merged `master` for you so CI can run

Allocations in stabilizer computation of matrix group action.

@ThomasBreuer any idea what might cause that error?

Allocations in stabilizer computation of matrix group action.

Excellent. Because I have some ideas to make this allocate at least an order of magnitude less but I can't test it right now because of that error

Allocations in stabilizer computation of matrix group action.

@simonbrandhorst thanks for reminding me. I was traveling the past two weeks, in particular on a workshop, and busy with that. I'll put what I have in a draft PR,...