TuomLarsen

Degree reduction typo?

1

Hello! I was wondering, is there a typo in: https://github.com/SirVer/cagd5e/blob/master/chap06/degree_reduction.py#L32-L33 Shouldn't it by `... / n`, instead of `... / (n+1)`?

I've just tried to install latest Grav on XAMPP and it failed with 500 Error. It was caused by `/user/config` not being writable (it could not create some .yaml file...

When I try to divide an integer by a constant and use Yices as the solver, I get QF_NIA not supported error. However, the [manual](https://yices.csl.sri.com/papers/manual.pdf) says on p. 5 that...

Overwritten files

2

On Pico, when I have a file opened from Pico and try to "Save as" it to a location on "This computer", it silently overwrites the file already there having...