chap3.txt

  
  3 Convex Objects
  
  Convex  objects  are  the  main  structure  of Convex. All other structures,
  namely  fans,  cones,  and polytopes are derived from this structure. So all
  methods of this structure also apply to the other data types.
  
  
  3.1 Convex Objects: Category and Representations
  
  3.1-1 IsConvexObject
  
  IsConvexObject( M )  Category
  Returns:  true or false
  
  The GAP category of convex objects, the main category of this package.
  
  
  3.2 Convex objects: Properties
  
  3.2-1 IsFullDimensional
  
  IsFullDimensional( conv )  property
  Returns:  true or false
  
  Checks  if the combinatorial dimension of the convex object conv is the same
  as the dimension of the ambient space.
  
  
  3.3 Convex objects: Attributes
  
  3.3-1 Dimension
  
  Dimension( conv )  attribute
  Returns:  an integer
  
  Returns  the  combinatorial dimension of the convex object conv. This is the
  dimension of the smallest space i which conv can be embedded.
  
  3.3-2 AmbientSpaceDimension
  
  AmbientSpaceDimension( conv )  attribute
  Returns:  an integer
  
  Returns the dimension of the ambient space of the object conv.
  
  3.3-3 ContainingGrid
  
  ContainingGrid( conv )  attribute
  Returns:  a homalg module
  
  Returns the ambient space of the object conv as a homalg module.
  
  
  3.4 Convex objects: Methods
  
  3.4-1 DrawObject
  
  DrawObject( conv )  operation
  Returns:  0
  
  Draws  a nice picture of the object conv, if your computer supports Java. As
  a side effect, you might not be able to exit GAP anymore.
  
  3.4-2 WeakPointerToExternalObject
  
  WeakPointerToExternalObject( conv )  operation
  Returns:  a pointer
  
  Returns  a  pointer  to  an external object which is the basis of conv. This
  method is not used any more.