index e5e2523..50af053 100644 (file)
@@ -144,6 +144,15 @@ class Polyhedron(Domain):
def aspolyhedron(self):
return self

+    def convex_union(self, *others):
+        """
+        Return the convex union of two or more polyhedra.
+        """
+        for other in others:
+            if not isinstance(other, Polyhedron):
+                raise TypeError('arguments must be Polyhedron instances')
+        return Polyhedron(self.union(*others))
+
def __contains__(self, point):
if not isinstance(point, Point):
raise TypeError('point must be a Point instance')
{"ft_lang_label":"__label__en","ft_lang_prob":0.57812184,"math_prob":0.8673684,"size":414,"snap":"2022-27-2022-33","text_gpt3_token_len":100,"char_repetition_ratio":0.1609756,"word_repetition_ratio":0.0,"special_character_ratio":0.2705314,"punctuation_ratio":0.1764706,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9521597,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-08-11T17:29:43Z\",\"WARC-Record-ID\":\"<urn:uuid:21a3e70f-5c00-410f-93d2-bbe17269b1a8>\",\"Content-Length\":\"7896\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:c86a565d-c0e5-46ea-8b01-3df139ab0c86>\",\"WARC-Concurrent-To\":\"<urn:uuid:8760e4a5-2a84-4deb-8ac5-eb752a9b6c63>\",\"WARC-IP-Address\":\"77.158.180.234\",\"WARC-Target-URI\":\"https://scm.cri.ensmp.fr/git/linpy.git/blobdiff/c3149dd6dbf0dd296c85676fcf9f997ead2470f0..f03bfa8b26b45b0ba2b47c6eadafa7787200a9c9:/linpy/polyhedra.py\",\"WARC-Payload-Digest\":\"sha1:LGVRNFEXPEPQWSIDTVA7ZUGNX6WCZSM6\",\"WARC-Block-Digest\":\"sha1:UHYLKWZX2SZFSSUD67NX5PSPRD55VMLF\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-33/CC-MAIN-2022-33_segments_1659882571483.70_warc_CC-MAIN-20220811164257-20220811194257-00130.warc.gz\"}"}