Joshua Moerman
Joshua Moerman
Hi, Thank you for this Jekyll plugin. It works really well so far. However, I tried adding macros to the configuration, like so: ``` katex: rendering_options: macros: - "\\Nat": "\\mathbb{N}"...
Many of the equivalence oracles in LearnLib are based on testing (this includes `RandomWordEQOracle`, `W(p)MethodEQOracle`, `CompleteExplorationEQOracle`, ...) and so each of these classes will contain code like this (in many...
Especially some basic ones. We should have (regression) tests for: - [x] issue #42 - [ ] issue #46 - [x] issue #50 - ... ?
I just wanted to show how we could use more QuickCheck property testing. These commits are still a bit of a mess as I wanted to use floating points first...
As shown in one of the test-cases, the Cholesky factorisation fails for complex vector spaces. May be a consequence of issue #50 .
From here: http://tex.stackexchange.com/questions/214101/breqn-and-xypic The two packages are not compatible, and there is no easy fix (changing the load order of packages didn't work). The workaround is to use tikz-cd (or...
Hi all, Previously I used the `CardEnc` class to encode size constraints. I need multiple constraints and so I used a single `IDPool` and passed it along all of the...