Mauricio Collares

It would be really useful to have a more general definition such as "For some property P, G is t-close to P if there exists a graph H on the...

Relatedly, SageMath now also requires network access for testing, or it fails with errors such as the one below. ``` ********************************************************************** File "/nix/store/npl7dfa572s2ykdrhsh3p3hrdc1rbzlm-sage-src-9.7/src/doc/en/thematic_tutorials/group_theory.rst", line 984, in doc.en.thematic_tutorials.group_theory Failed example: subgroups...

Sorry, I should have been more specific. My main motivation has already been explained by @ChrisJefferson: Nix (a package repository/Linux distribution) sandboxes package builds and does not allow remote connections...

Other than two _SHA.json files (http://www.math.rwth-aachen.de/~mfer/mfertoc_SHA.json and http://www.math.rwth-aachen.de/~Thomas.Breuer/ctblocks/ctblockstoc_SHA.json), I only see queries for these three files when running `make check` or Sage tests: - http://atlas.math.rwth-aachen.de/Atlas/spor/M11/words/M11G1-find1 - http://atlas.math.rwth-aachen.de/Atlas/spor/M22/words/M22G1-find1 - http://atlas.math.rwth-aachen.de/Atlas/spor/M24/words/M24G1-find1 All...

Thank you for taking the time to look at this! I can reproduce the error. With the `io` package installed, I get: ``` ┌───────┐ GAP 4.12.0 of 2022-08-18 │ GAP...

Ah, truly sorry! With this stack trace available, I now see that this was already reported as #5015 and fixed in atlasrep 2.1.5. I haven't tested it yet, but I...

Can confirm that everything is working now. Thanks again!

Weirdly, this seems to break cqrlog (cc @SCOTT-HAMILTON). Other than that, it looks good.

> Weirdly, this seems to break cqrlog (cc @SCOTT-HAMILTON). Other than that, it looks good. Actually I get the same error building cqrlog on master (that is, if I don't...

Besides this, one other thing confused me in this exercise: When you have an implicit function such as `f : (∀ {x} → x ∈ xs → P x)` in...