X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/29ed88d1a15d283ea6f3340a4dd97e8cc7c2d2d4..d06ab92943ec2e10a2bd798ca7c1b5cea395bf34:/pypol/domains.py?ds=sidebyside diff --git a/pypol/domains.py b/pypol/domains.py index 9187081..abc2d91 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -340,6 +340,7 @@ class Domain: def tosympy(self): raise NotImplementedError + def And(*domains): if len(domains) == 0: from .polyhedra import Universe