These are open source GAP multi-package projects for constructive category theory and homological algebra with applications to module theory of commutative and non-commutative algebras and algebraic geometry.
To install Julia follow the first Steps 0 and 1 on our installation page.
julia in a terminal and add the package
julia> using Pkg; Pkg.add("CapAndHomalg")
julia> using CapAndHomalg
The correctness of the installation and the availability of the functionality can at any time be tested using
julia> using Pkg; Pkg.test("CapAndHomalg")
After each update of the Julia package
GAP a rebuild is (probably) necessary:
julia> using Pkg; Pkg.build("CapAndHomalg")
CapAndHomalg relies on the
|computer algebra systems
|through the Julia packages
all of which are components of the computer algebra system OSCAR.
Some of the bundled packages use the GAP packages
|third party software
|through the GAP packages
|and the Julia packages
|dot-format generating code like in Digraphs
The software comes with absolutely no warranty and will most likely have errors. If you use it for computations, please check the correctness of the result very carefully.
This software is licensed under the LGPL, version 3, or any later version.