Daniel R. Grayson

We need a reliable way to ensure that each package has either been licensed by its authors or been released to the public domain. Perhaps "installPackage" could have two new...

Here is a little package that can be used for testing the tree structure: [Tree.m2.txt](https://github.com/Macaulay2/M2/files/5212591/Tree.m2.txt) Playing around with the results from that test package, it seems there is only one...

documentation of named arguments

1

If "foo" is a method that accepts named arguments and is used in multiple packages, then we have no way for the documentation to depend on the package. If the...

testExample

2

Should move this to the documentation: ```m2 i5 : testExample o5 = TEST /// -* test for simpleDocFrob *- assert(simpleDocFrob(2,matrix{{1,2}}) == matrix{{1,2,0,0},{0,0,1,2}}) /// i6 : package symbol testExample o6 =...

It would be good to state what version of flint we are currently using and what algorithm is used here by it: ```m2 i9 : help isPseudoprime o9 = isPseudoprime...

.dir-locals.el should set coq-prog-name only if BUILD_COQ is yes

3

for a discussion, see #801

Coq bug report

2

I submitted a bug report to coq, because of mysteriously slow proof checking. The lemma being proved is something simple, in category theory. https://github.com/coq/coq/issues/8997

bug in "apply"

2

I've reported the bug in "apply" that prevents us from using the right definition of "isaset" here: https://coq.inria.fr/bugs/show_bug.cgi?id=5387

We should change "TopologicalSet" to "TopologicalSpace" (and require X to be a set), to conform with standard terminology.