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
Apply PackageJanitor
init.g
#############################################################################
##
## 4ti2Interface package
##
## Copyright 2013, Sebastian Gutsche, University of Kaiserslautern
##
#############################################################################
## init
ReadPackage( "4ti2Interface", "gap/4ti2Interface.gd" );
if IsPackageMarkedForLoading( "JuliaInterface", ">= 0.2" ) then
ReadPackage( "4ti2Interface", "gap/Julia.gd" );
fi;
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...