What follows are several operations related to the exterior algebra of a free module:
A constructor for the graded parts of the exterior algebra ("exterior powers")
Several Operations on elements of these exterior powers
A constructor for the "Koszul complex"
An implementation of the "Cayley determinant" as defined in [CQ11], which allows calculating greatest common divisors from finite free resolutions.
‣ ExteriorPower ( k, M ) | ( operation ) |
Returns: a homalg module
Construct the k-th exterior power of module M.
‣ IsExteriorPower ( M ) | ( property ) |
Returns: true
or false
Marks a module as an exterior power of another module.
‣ ExteriorPowerExponent ( M ) | ( attribute ) |
Returns: an integer
The exponent of the exterior power.
‣ ExteriorPowerBaseModule ( M ) | ( attribute ) |
Returns: a homalg module
The module that M is an exterior power of.
‣ IsExteriorPowerElement ( x ) | ( property ) |
Returns: true
or false
Checks if the element x is from an exterior power.
‣ Wedge ( x, y ) | ( operation ) |
Returns: an element of an exterior power
Calculate x ∧ y.
‣ ExteriorPowerElementDual ( x ) | ( operation ) |
Returns: an element of an exterior power
For x in a q-th exterior power of a free module of rank n, return x* in the (n-q)-th exterior power, as defined in [CQ11].
‣ SingleValueOfExteriorPowerElement ( x ) | ( operation ) |
Returns: a ring element
For x in a highest exterior power, returns its single coordinate in the canonical basis; i.e. [x] as defined in [CQ11].
‣ KoszulCocomplex ( a, E ) | ( operation ) |
Returns: a homalg cocomplex
Calculate the E-valued Koszul complex of a.
‣ CayleyDeterminant ( C ) | ( operation ) |
Returns: a ring element
Calculate the Cayley determinant of the complex C, as defined in [CQ11].
‣ Gcd_UsingCayleyDeterminant ( x, y[, ...] ) | ( function ) |
Returns: a ring element
Returns the greatest common divisor of the given ring elements, calculated using the Cayley determinant.
generated by GAPDoc2HTML