pointsetpowerset1
pointsetpowerset2
pointsetpowerset3
pointsetpowerset4
pointsetpowerset5
pointsetpowerset6
powerset1
product1
simplifyusingcontext1
addcongruences1
addconstraints1
affinedimension1
affineimage1
affinepreimage1
bounded1
bounds1
closed1
closure1
collapse1
concatenate1
contains1
containsintegerpoint1
difference1
discrete1
disjoint1
disjunct1
empty1
entails1
equals1
frombdshape1
frombox1
fromcongruences1
fromconstraints1
fromgrid1
fromoctagonalshape1
frompolyhedron1
fromspacedimension1
intersection1
maxmin1
meet1
membytes1
reduce1
refinewith1
relationwith1
size1
spacedims1
universe1
upperbound1
