Make HypergraphPlot not listable (#669)

## Changes

* Removes listability from `HypergraphPlot`

## Comments

* By doing this, vertices that are lists themselves are now supported:

```wl
(* In[]:= *) HypergraphPlot[{{{1}}, {{1, 1}}, {{1, 2, 3}}}, ImageSize -> 100]
```
<img width="224" alt="image" src="https://user-images.githubusercontent.com/40190339/134544030-fa5f010a-85fd-4b3d-8973-1add17246c1d.png">

## Examples

* Before:

```wl
(* In[]:= *) HypergraphPlot[{{{1}}, {{1, 1}}, {{1, 2, 3}}}, ImageSize -> 100]
```

<img width="602" alt="image" src="https://user-images.githubusercontent.com/40190339/134544199-b8b2f551-716b-43cd-bbaa-26233c8af01a.png">

* Now:

```wl
(* In[]:= *) HypergraphPlot[#, ImageSize -> 100] & /@ {{{1}}, {{1, 1}}, {{1, 2, 3}}}
```

<img width="602" alt="image" src="https://user-images.githubusercontent.com/40190339/134544221-edfde139-6a22-43fd-8d55-645614ebf569.png">

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/maxitg/setreplace/669)
<!-- Reviewable:end -->

Author: daneelsan

Documentation/Images/MultiplePlots.png

@@ -22,8 +22,7 @@ Edges of any arity can be mixed. The binary edges are displayed as non-filled ar
 circles around the vertices:
 
 ```wl
-In[] := HypergraphPlot[{{1, 2, 3}, {3, 4}, {4, 3}, {4, 5,
-   6}, {1}, {6}, {6}}]
+In[] := HypergraphPlot[{{1, 2, 3}, {3, 4}, {4, 3}, {4, 5, 6}, {1}, {6}, {6}}]
 ```
 
 <img src="/Documentation/Images/BinaryAndUnaryEdgesPlot.png" width="478">
@@ -48,22 +47,11 @@ Multiedges are shown in a darker color (because of overlaid partially transparen
 depending on the layout (and are admittedly sometimes hard to understand):
 
 ```wl
-In[] := HypergraphPlot[{{1, 2, 3}, {3, 4, 5}, {3, 4, 5}, {1, 6, 6}, {1, 6,
-   6}}]
+In[] := HypergraphPlot[{{1, 2, 3}, {3, 4, 5}, {3, 4, 5}, {1, 6, 6}, {1, 6, 6}}]
 ```
 
 <img src="/Documentation/Images/MultiedgesPlot.png" width="478">
 
-`HypergraphPlot` is listable. Multiple hypergraphs can be plotted at the same time:
-
-```wl
-In[] := HypergraphPlot[{{{1, 2, 3}},
-  {{1, 2, 3}, {3, 4, 5}},
-  {{1, 2, 3}, {3, 4, 5}, {5, 6, 7}}}]
-```
-
-<img src="/Documentation/Images/MultiplePlots.png" width="698">
-
 Many [`WolframModel`](WolframModelAndWolframModelEvolutionObject/WolframModelAndWolframModelEvolutionObject.md)
 properties, such as [`"FinalStatePlot"`](WolframModelAndWolframModelEvolutionObject/Properties/PlotsOfStates.md)
 and [`"EventStatesPlotsList"`](WolframModelAndWolframModelEvolutionObject/Properties/PlotsOfEvents.md),
@@ -216,14 +204,13 @@ In[] := HypergraphPlot[{{1, 2, 2}, {2, 3, 3}, {3, 1, 1}},
 hypergraphs. To demonstrate that, consider the difference:
 
 ```wl
-In[] := HypergraphPlot[{{{1}}, {{1, 1}}, {{1, 2, 3}}},
- "MaxImageSize" -> 100]
+In[] := HypergraphPlot[#, "MaxImageSize" -> 100] & /@ {{{1}}, {{1, 1}}, {{1, 2, 3}}}
 ```
 
 <img src="/Documentation/Images/PlotWithMaxImageSize.png" width="254">
 
 ```wl
-In[] := HypergraphPlot[{{{1}}, {{1, 1}}, {{1, 2, 3}}}, ImageSize -> 100]
+In[] := HypergraphPlot[#, ImageSize -> 100] & /@ {{{1}}, {{1, 1}}, {{1, 2, 3}}}
 ```
 
 <img src="/Documentation/Images/PlotWithImageSize.png" width="457">

Documentation/SymbolsAndFunctions/HypergraphPlot.md

@@ -77,31 +77,22 @@
 
 hypergraphPlot[args___] /; !Developer`CheckArgumentCount[HypergraphPlot[args], 1, 2] := $Failed;
 
-(* allow composite vertices, but not list-vertices *)
-$hypergraphPattern = _List ? (Function[h, AllTrue[h, ListQ[#] && Length[#] > 0 &] && AllTrue[h, Not @* ListQ, 2]]);
-$multiHypergraphPattern = $hypergraphPattern | {$hypergraphPattern...};
+$hypergraphPattern = _List ? (Function[h, VectorQ[h, (ListQ[#] && (# =!= {})) &]]);
 
 declareMessage[
   General::invalidEdges,
-  "First argument of HypergraphPlot must be a hypergraph, i.e., a list of lists, " <>
-  "where elements represent vertices, or a list of such hypergraphs."];
+  "First argument of HypergraphPlot must be a hypergraph, i.e., a list of lists, where elements represent vertices."];
 
-hypergraphPlot[Except[$multiHypergraphPattern], _ : $defaultEdgeType, OptionsPattern[]] :=
+hypergraphPlot[Except[$hypergraphPattern], _ : $defaultEdgeType, OptionsPattern[]] :=
   throw[Failure["invalidEdges", <||>]];
 
 declareMessage[General::invalidEdgeType, "Edge type `type` should be one of `allowedTypes`."];
 
-hypergraphPlot[$multiHypergraphPattern,
-                     edgeType : Except[Alternatives[Alternatives @@ $edgeTypes, OptionsPattern[]]],
-                     OptionsPattern[]] :=
+hypergraphPlot[$hypergraphPattern,
+               edgeType : Except[Alternatives[Alternatives @@ $edgeTypes, OptionsPattern[]]],
+               OptionsPattern[]] :=
   throw[Failure["invalidEdgeType", <|"type" -> edgeType, "allowedTypes" -> $edgeTypes|>]];
 
-hypergraphPlot[
-    edges : {$hypergraphPattern..}, edgeType : Alternatives @@ $edgeTypes : $defaultEdgeType, o : OptionsPattern[]] := (
-  checkHypergraphPlotOptions[HypergraphPlot, edges, {o}];
-  hypergraphPlot[#, edgeType, o] & /@ edges
-);
-
 parseHighlight[_, _, {}, _] := ConstantArray[Automatic, 3];
 
 parseHighlight[vertices_, edges_, highlightList_, highlightStyle_] := ModuleScope[
@@ -210,12 +201,8 @@
   checkSize["Vertex size", OptionValue[HypergraphPlot, options, VertexSize], {}];
   checkSize["Arrowhead length", OptionValue[HypergraphPlot, options, "ArrowheadLength"], {Automatic}];
   checkPlotStyle[OptionValue[HypergraphPlot, options, PlotStyle]];
-  checkStyleLength["vertices",
-                   MatchQ[edges, {$hypergraphPattern..}],
-                   Length[vertexList[edges]],
-                   OptionValue[HypergraphPlot, options, VertexStyle]];
-  checkStyleLength[
-      "edges", MatchQ[edges, {$hypergraphPattern..}], Length[edges], OptionValue[HypergraphPlot, options, #]] & /@
+  checkStyleLength["vertices", Length[vertexList[edges]], OptionValue[HypergraphPlot, options, VertexStyle]];
+  checkStyleLength["edges", Length[edges], OptionValue[HypergraphPlot, options, #]] & /@
     {EdgeStyle, "EdgePolygonStyle"};
 );
 
@@ -247,19 +234,12 @@
 
 checkPlotStyle[style_List] := throw[Failure["invalidPlotStyle", <|"plotStyle" -> style|>]];
 
-(* Single hypergraph *)
 declareMessage[General::invalidStyleLength,
                "The list of styles `styles` should have the same length `correctLength` as the number of `name`."];
 
-checkStyleLength[name_, False, correctLength_, styles_List] /; Length[styles] =!= correctLength :=
+checkStyleLength[name_, correctLength_, styles_List] /; Length[styles] =!= correctLength :=
   throw[Failure["invalidStyleLength", <|"styles" -> styles, "name" -> name, "correctLength" -> correctLength|>]];
 
-(* Multiple hypergraphs *)
-declareMessage[General::multigraphElementwiseStyle,
-               "The elementwise style specification `styleSpec` is not supported for lists of hypergraphs."];
-
-checkStyleLength[_, True, _, styles_List] := throw[Failure["multigraphElementwiseStyle", <|"styleSpec" -> styles|>]];
-
 (* Implementation *)
 
 hypergraphPlotImplementation[

Kernel/HypergraphPlot.m

@@ -111,13 +111,8 @@
       ],
 
       VerificationTest[
-        graphicsQ /@ HypergraphPlot[{{}}],
-        {True}
-      ],
-
-      testUnevaluated[
-        HypergraphPlot[{{{}}}],
-        {HypergraphPlot::invalidEdges}
+        graphicsQ @ HypergraphPlot[{}],
+        True
       ],
 
       testUnevaluated[
@@ -656,18 +651,6 @@
         ]
       ],
 
-      (* Multiple hypergraphs *)
-      VerificationTest[
-        graphicsQ /@ HypergraphPlot[{{{1, 2, 3}, {3, 4, 5}}, {{3, 4, 5}, {5, 6, 7}}, {{5, 6, 7}, {7, 8, 5}}}, ##],
-        ConstantArray[True, 3]
-      ] & @@@ {
-        {},
-        {GraphHighlight -> {3, {3, 4, 5}}},
-        {VertexSize -> 0.1, "ArrowheadLength" -> 0.2},
-        {EdgeStyle -> Red},
-        {VertexCoordinates -> {3 -> {0, 0}, 4 -> {1, 0}}}
-      },
-
       (* GraphHighlight and style interaction *)
 
       With[{color1 = RGBColor[0.46, 0.51, 0.87], color2 = RGBColor[0.13, 0.64, 0.27]},