Stephan Gocht
Stephan Gocht
The model for [csplib-prob008](https://github.com/conjure-cp/EssenceCatalog/blob/1830b756ec473cbd419afcbf3bb57b5f41224f2b/problems/csplib-prob008/VesselLoading.essence#L63) is buggy. It can happen that two containers have the same class in which case the separation function is undefined. As I understand the problem the...
There seems to be an API incompatibility preventing drop-in replacement with pycairo: Since version 1.15 pycairo uses [TextExtents](https://pycairo.readthedocs.io/en/latest/reference/textextents.html#cairo.TextExtents) (Essentially, a named tuple) for text_extends functions e.g., in [ScaledFont](https://doc.courtbouillon.org/cairocffi/stable/api.html#cairocffi.ScaledFont.text_extents) cairocffi is...
There seems to be an API incompatibility preventing drop-in replacement with pycairo: [Operators in pycairo](https://pycairo.readthedocs.io/en/latest/reference/enums.html#cairo.Operator) are accessed via `cairo.Operator.CLEAR`. [Operators in pycairo](https://doc.courtbouillon.org/cairocffi/stable/api.html#operator) are accessed via `cairocffi.OPERATOR_CLEAR`. This probably effects other...
The version of LLVM covmap was updated to version 6, hence fuzzcheck-rs does no longer work with the latest rust version. This results in the error `failed to parse LLVM...
Hi, Nice work, but there is a bug with the PB encoding of the sum modulo 32: The used encoding for add2 (similar issue exists for add5) is \sum_{i=0}^{31} 2^i...
Beim ersten: Der aufbau-algorithmus passt die Datenstruktur an die Gomentrie an. Ich würde sagen die Aufgabe ist hier nicht klar formuliert bei adaptiven gittern ist es der Fall aber bei...
Ich glaub das ist ne richtig. Aufgabe ist ja ne Basiswechselmatrix. Dabei ist aber keine Basis die Normalbasis! (1 0 0)_S1 heißt ja 1 \* u1 + 0 \* v1...
Es ist der Reflexionsstrahl für das Raytracing gesucht also von der Kamera aus. (Nicht von der Lichtquelle aus). Ich denke mal das es bein transmittierten Strahl genauso ist, wobei hier...