GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
<?xml version="1.0" encoding="UTF-8"?>12<!--34ExteriorAlgebra.xml Modules package documentation56Copyright (C) 2011, Florian Diebold, TU Kaiserslautern7-->89<Chapter Label="ExteriorAlgebra:chapter">10<Heading>Exterior Algebra and Koszul Complex</Heading>1112<#Include Label="ExteriorAlgebra:intro">1314<Section Label="ExteriorAlgebra:Constructors">15<Heading>Exterior Algebra: Constructor</Heading>1617<#Include Label="ExteriorPower">1819</Section>2021<Section Label="ExteriorAlgebra:Attributes">22<Heading>Exterior Algebra: Properties and Attributes</Heading>2324<#Include Label="IsExteriorPower">25<#Include Label="ExteriorPowerExponent">26<#Include Label="ExteriorPowerBaseModule">2728</Section>2930<Section Label="ExteriorAlgebra:ElementProperty">31<Heading>Exterior Algebra: Element Properties</Heading>3233<#Include Label="IsExteriorPowerElement">3435</Section>3637<Section Label="ExteriorAlgebra:ElementOperations">38<Heading>Exterior Algebra: Element Operations</Heading>3940<#Include Label="Wedge">41<#Include Label="ExteriorPowerElementDual">42<#Include Label="SingleValueOfExteriorPowerElement">4344</Section>4546<Section Label="ExteriorAlgebra:CayleyDeterminant">47<Heading>Koszul complex and Cayley determinant</Heading>4849<#Include Label="KoszulCocomplex">50<#Include Label="CayleyDeterminant">51<#Include Label="Gcd_UsingCayleyDeterminant">5253</Section>5455</Chapter>565758