Miguel Raz Guzmán Macedo

Results 18 comments of Miguel Raz Guzmán Macedo

@PaulSoderlind thanks a million, I just found this - you've saved me a lot of hassle.

Heads up to anyone fishing for a PR: I'm about to finish the first paper, would not advise redoing the tableaus fruitlessly as I did! :1st_place_medal:

Thank you for your input! Granted, a runtime `pochhammer` is definitely a bad idea - but is there a way it can make sense for generated functions? That way we...

The tests are failing / and passing due to a brittle judging function. One idea would be to judge loosely min, mean and median and if 2/3 pass then the...

... this is the sort of Swedish efficiency that scares me for the world cup. I'll try to whip this into a PR by day's end. Thank you both for...

Local builds can use the `sudo apt install creduce` or equivalent. Any concrete plans to have this as a JLL soon?

Understandable. At some point it might be faster to just RIIR...

PHEW! All done! I will ping some spanish speaking friends to look over it.

I have to fix some errors on the main source files: There's some missing exports like `randstring -> Random.randstring` in `01_constructors` and `DataFrame(rand(3))` breaking `Tables.jl AbstractRow` interface.