Mathieu Dutour Sikiric
Mathieu Dutour Sikiric
The example of the README.md is fine enough and fully understandable if one knows the solidity code. Still a formal documentation could help (for example I do not understand anonymous...
The function ```gap gap> Random(GeneralLinearGroup(2, Integers)); Error, no method found! For debugging hints type ?Recovery from NoMethodFound Error, no 2nd choice method found for `Random' on 1 arguments at /home/mathieu/opt/gap-4.11.1/lib/methsel2.g:249...
The code ```C++ auto fctHash=[](size_t val) -> size_t { return val; }; auto fctEqual=[](size_t val1, size_t val2) -> bool { return val1 == val2; }; tsl::sparse_map V({}, fctHash, fctEqual); ```...
I would to use serde json serialization for BigUint type. How can one do that? If I write #[derive(Serialize, Deserialize)] pub struct Account { value: BigUint } Then I get...
One templated version of CDD exists and is available at [src_poly](https://github.com/MathieuDutSik/polyhedral_common/tree/master/src_poly). It would be interesting to unify it with the current cddlib version or to make the two version move...
LRS can process polytope and find the dual description without using any divisions. If one takes the LRS code and replace the mpz_class by mpq_class then we get a factor...
CDD relies on Linked lists in order to compute the rays. Linked-Lists are generally problematic since any insertion of a new entry requires an allocation. A typical solution is to...
Could it be possible to get the output of flamegraph as a text file in order to get detailed information? I understand this is a little like underusing the flamegraph-rs...
The command `delete_range` in the `rocksdb::WriteBatchWithTransaction` requires a from and a to. But what about unbounded intervals? For the `from`, we can simply set the smallest key, that is `[]`....
I have the following issues with the `lsp-grammarly`: * When opening a file with `emacs Report` nothing is done while when doing `emacs Report.txt` then the behavior is different. Apparently...