Singular Manual: isNormal

| #### D.13.2.32 isNormal Procedure from library `polymake.lib` (see polymake_lib). Usage: isNormal(p); p polytope Return: 1, if the projective toric variety defined by p is projectively normal; 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[6][4]=
    1,1,1,2,
    1,-1,-1,-2,
    1,1,0,0,
    1,-1,0,0,
    1,0,1,0,
    1,0,-1,0;
    polytope p = polytopeViaPoints(M);
    isNormal(p);
    ==> polymake: used package 4ti2
    ==>   4ti2 -- A software package for algebraic, geometric and combinatorial p\
       roblems on linear spaces.
    ==>   Copyright by 4ti2 team.
    ==>   http://www.4ti2.de/
    ==>
    ==> 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/
    ==>
    ==> 0

User manual for Singular version 4-1-2p4, 2020, generated by texi2html.