Revision bc4228daaea4dd3f9ef06707092cb2238402371b authored by Mohamed Barakat on 30 September 2015, 14:11:54 UTC, committed by Mohamed Barakat on 30 September 2015, 14:11:54 UTC
1 parent fcc0bba
Raw File
LIFan.gi
#############################################################################
##
##  LIFan.gd         ConvexForHomalg package         Sebastian Gutsche
##
##  Copyright 2011 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  logical implications for Fans.
##
#############################################################################

############################
##
## True Methods
##
############################

##
InstallTrueMethod( IsSimplicial, IsSmooth );

############################
##
## True Methods
##
############################

##
InstallImmediateMethod( IsRegularFan,
                        IsFan and HasIsComplete,
                        0,
                        
  function( fan )
    
    if not IsComplete( fan ) then
        
        return false;
        
    elif AmbientSpaceDimension( fan ) <= 2 then
        
        return true;
        
    fi;
    
    TryNextMethod();
    
end );
back to top