Skip to main content

Browse the archive

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 
added MulMatRight for all external systems except for Maple
1 parent fcc0bba
Raw File
LICon.gi 
#############################################################################
##
##  LICon.gd         ConvexForHomalg package         Sebastian Gutsche
##
##  Copyright 2011 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  logical implications for cones.
##
#############################################################################

##
InstallImmediateMethod( IsComplete,
                        IsCone and IsPointed,
                        0,
                        
  function( i )
    
    return false;
    
end );
back to top