Add HaarGraph

[finnbuck]

Add global function for generating a Haar Graph based on a single parameter. @flsmith

[samanthaharper]

I think documentation would be really helpful to reviewing this graph, since I'm not sure what you're using to construct the Haar graph.

[marinaanagno]

I have consulted Wolfram Alpha to see what this graph is about, and it seems to agree with the definition. However, if we proceed according to what was said in the meeting today, documentation should be added and also this function should be declared as a constructor and operations that return the final mutable and immutable version of the digraph should be added :)

[finnbuck]

Ok sounds good! I'll have a look at some examples and try to fix the documentation and function declaration...

[james-d-mitchell]

@finnbuck looks ok to me, I think you need to write some doc (as per the other comments) and also to follow the same "pattern" as in the Folkman PR #386. Other than that: good stuff!

[finnbuck]

DIGRAPHS_BlistNumber([IsInt], [IsInt]) is taken from a GAP Semigroups function of the same name and is not meant to be user facing here, so I'm assuming it's meant to stay a global function.

[wilfwilson]

Closing and reopening to (hopefully) re-trigger the CI.

Note, the Azure Pipelines jobs were not starting...

##[error]The agent did not connect within the alloted time of 45 minute(s).
,##[error]The request: 2903 was abandoned due to an infrastructure failure. Notification of assignment to an agent was never received.

[wilfwilson]

I think this is looking nice! Thanks. I'll commit these changes, and then squash, rebase and onto master, and push... and then merge if all seems well 🙂

[wilfwilson]

@finnbuck I'll note that the documentation you wrote wasn't actually linked into the manual - see for reference: https://github.com/digraphs/Digraphs/pull/425/files#r592297697

But I'll do that for you now.

Changes were addressed!

[wilfwilson]

Hopefully it's good to go!