Skip to main content

Browse the archive

Revision b134331f84aeaed5ea4c8f1cea5a7a760128385c authored by Mohamed Barakat on 11 March 2022, 08:23:45 UTC, committed by GitHub on 11 March 2022, 08:23:45 UTC 
Merge pull request #468 from zickgraf/PackageJanitor
 
Apply PackageJanitor
2 parent s ffbeb0c + 7c6b864
Raw File
read.g 
#############################################################################
##
##                                                      4ti2Interface package
##
##  Copyright 2013,           Sebastian Gutsche, University of Kaiserslautern
##
#############################################################################

## read
ReadPackage( "4ti2Interface", "gap/4ti2Interface.gi" );

if IsPackageMarkedForLoading( "JuliaInterface", ">= 0.2" ) then
    ReadPackage( "4ti2Interface", "gap/Julia.gi" );
fi;
back to top