Singular Manual: isReflexive

| #### D.13.2.33 isReflexive Procedure from library `polymake.lib` (see polymake_lib). Usage: isReflexive(p); p polytope Return: 1, if p is reflexive; 0 otherwise Example:
    LIB "polymake.lib";
    ==> Welcome to polymake version
    ==> Copyright (c) 1997-2015
    ==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
    ==> http://www.polymake.org
    intmat M[4][4]=
    1,1,0,0,
    1,0,1,0,
    1,0,0,1,
    1,-1,-1,-1;
    polytope p = polytopeViaPoints(M);
    isReflexive(p);
    ==> polymake: used package ppl
    ==>   The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
    ==>   and other numerical abstractions.
    ==>   http://www.cs.unipr.it/ppl/
    ==>
    ==> 1
    intmat N[4][4]=
    1,2,0,0,
    1,0,2,0,
    1,0,0,2,
    1,-2,-2,-2;
    polytope q = polytopeViaPoints(M);
    isReflexive(q);
    ==> 1

User manual for Singular version 4-1-1p3, 2018, generated by texi2html.