Singular Manual: polytopeViaInequalities

  | ### 4.24.2 polytopeViaInequalities `Syntax:` `polytopeViaInequalities(` intmat IE `)` `polytopeViaInequalities(` intmat IE, intmat E `)` `polytopeViaInequalities(` intmat IE, intmat E, int flags `)` `Type:` cone `Purpose:` cone consisting of all points x, such that IE*x >= 0 in each component and (if stated) E*x = 0; flags may range between 0,..,3 defining an upper and lower bit (0=0*2+0, 1=0*2+1, 2=1*2+0, 3=1*2+1), if higher bit is 1, then program assumes each inequality yields a facet, if lower bit is 1, then program assumes the kernel of E is the span of the cone, if either bit is 0, then program computes the information itself. `Example:`
      LIB"gfanlib.so";
      intmat IE[2][3]=
      1,0,0,
      0,1,0;
      intmat E[1][3]=
      0,0,1;
      polytope p=polytopeViaInequalities(IE,E);
      p;
      ==> AMBIENT_DIM
      ==> 2
      ==> INEQUALITIES
      ==> 0,1,0,
      ==> 1,0,0
      ==> EQUATIONS
      ==> 0,0,1
      ==>

User manual for Singular version 4-0-3p3, 2016, generated by texi2html.