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
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 );
Computing file changes ...