IsIntegerPointOf - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

PolyhedralSets[ZPolyhedralSets]

  

IsIntegerPointOf

  

check whether a point is in a ZPolyhedralSet

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

IsIntegerPointOf(zpoly,v)

Parameters

zpoly

-

ZPolyhedralSet

v

-

an integer point in Vector form

Description

• 

IsIntegerPointOf(zpoly,v) returns true if v is a point of zpoly, false otherwise.

• 

Note that the coordinates of v must be integer numbers.

Examples

Create a Z-polyhedron in the three-dimensional space

(1)

(2)

(3)

(4)

Get a sample point from zp

(5)

Turn it into Vector form

(6)

Check that it indeed belongs to zp

(7)

Pick a random integer point

(8)

Check whether it belongs to zp

(9)

Double-check that latter answer by enumerating the points of zp

(10)

References

  

Rachid Seghir, Vincent Loechner, and Benoı̂t Meister. "Integer affine transformations of parametric Z-polytopes and applications to loop nest optimization." Proceedings of TACO, Vol. 9(2):8:1–8:27, 2012.

  

Rui-Juan Jing and Marc Moreno Maza. "Computing the Integer Points of a Polyhedron, I: Algorithm." Proceedings of CASC 2017: 225-241, Springer.

  

Rui-Juan Jing and Marc Moreno Maza. "Computing the Integer Points of a Polyhedron, II: Complexity Estimates." Proceedings of CASC 2017: 242-256, Springer.

Compatibility

• 

The PolyhedralSets:-ZPolyhedralSets:-IsIntegerPointOf command was introduced in Maple 2023.

• 

For more information on Maple 2023 changes, see Updates in Maple 2023.

See Also

ZPolyhedralSets:-IsEmpty

ZPolyhedralSets:-IsContained

ZPolyhedralSets:-SamplePoint

ZPolyhedralSets:-IntegerPointDecomposition

ZPolyhedralSets:-EnumerateIntegerPoints

ZPolyhedralSets:-ZPolyhedralSet

ZPolyhedralSets

PolyhedralSets

 


Download Help Document