Benjamin Lorenz

Results 161 comments of Benjamin Lorenz

We have the following interfaces to the polydb in Polymake.jl: ```julia julia> db = Polymake.Polydb.get_db(); julia> collection = db["Polytopes.Lattice.SmoothReflexive"]; julia> results = Polymake.Polydb.find(collection, "DIM"=> 3, "N_VERTICES"=> 6); julia> for x...

Regarding metadata/availability: We store an info document for each collection which usually describes the what objects it contains, references for the data, and lists the authors of the collection. And...

Please ignore the failing status for the macos - 1.6 test, the doctests were in fact successful, as shown in the log, sorry about that. (see #1473)

By chance we noticed that this also happens with 1.4.0 and 1.4.1, but not in 1.4.2. Looking at the very few changes between 1.4.1 and 1.4.2 I found this julia...

I don't really know any details why this happens and was hoping for someone else to have an idea. Somehow the cxxdereference change in a6be4ba407129dbc91c57dd67cec3e64ab0ec1c6 triggers that julia bug and...

> > But why? > > [llvm/llvm-project@315c167](https://github.com/llvm/llvm-project/commit/315c1675e8ed558aa827f56af260c85e03f07477). Not much more informative... FreeBSD rather strictly separates the base-system (installed into /usr) from any extra software installed via ports (into `LOCALBASE=/usr/local`). So...

I just did some more tries and on munk (Apple M1) it also happens with 1.8.0 (aarch64) and 1.7.3 (x86_64), but I still cannot reproduce it anywhere else. Julia nightly...

It would be great to get a different error if there is a network error. Maybe also for the case where the dependencies of atlasrep are not available. As it...

> wget on munk is at /opt/homebrew/bin/wget Ok, thanks, I will add this to my path. But in this case I think it makes sense to fix this in GAP...

We have a [special polymake script for WSL users](https://polymake.org/doku.php/download/start#windows_10_with_the_linux_subsystem) to open the proper browser, the tricky part ist getting the correct path to the files that we need to open....